Overview of Univalent Foundations (Continued from September 26, 2012) Date September 27, 2012 Affiliation Institute for Advanced Study Speakers Vladimir Voevodsky School of Mathematics Univalent Vladimir Voevodsky