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