Working Group on Univalent Foundations Date December 07, 2012 Speakers Daniel Grayson Affiliation Member, School of Mathematics, IAS School of Mathematics Univalent