Working Group on Univalent Foundations Date December 12, 2012 Speakers Michael Shulman, Institute for Advanced Study Affiliation Institute for Advanced Study School of Mathematics Univalent