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