Univalent Foundations Seminar Date November 08, 2012 Speakers Peter Lumsdaine Affiliation Dalhousie University; Member, School of Mathematics School of Mathematics Univalent