The Simplicial Model of Univalence Date December 06, 2012 Speakers Peter Lumsdaine Affiliation Dalhousie University; Member, School of Mathematics, IAS School of Mathematics Univalent