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