The Simplicial Model of Univalence Date November 29, 2012 Speakers Chris Kapulkin Affiliation Visiting Student, School of Mathematics School of Mathematics Univalent