Homotopy Type Theory: what can logic do for homotopy theory? Date October 04, 2013 Speakers Peter Lumsdaine Affiliation Institute for Advanced Study; Member, School of Mathematics School of Mathematics