Homotopy and Univalence Date January 23, 2013 Affiliation Univ Nottingham/IAS Speakers Thorsten Altenkirch School of Mathematics Univalent