Simplicial Types Date January 16, 2013 Affiliation Dalhousie University; Member, School of Mathematics Speakers Peter Lumsdaine School of Mathematics Univalent