Type Systems and Proof Assistant Date October 10, 2012 Speakers Vladimir Voevodsky, Institute for Advanced Study Affiliation Professor, School of Mathematics, IAS School of Mathematics Univalent Vladimir Voevodsky