Univalent Foundations Seminar Type Systems and Proof Assistant Date & Time October 10, 2012 | 11:00am – 12:30pm Location S-101 Speakers Vladimir Voevodsky, Institute for Advanced Study Affiliation Professor, School of Mathematics, IAS Event Series Special year seminar - Math Categories Mathematics Academic Video Type Systems and Proof Assistant Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
