![School of Mathematics Event](/sites/default/files/styles/two_column_medium/public/2019-09/sm_default.jpg?itok=gMvWynkh)
Univalent Foundations of Mathematics
Coorganized by
Steve Awodey (IAS/CMU),
Thierry Coquand (IAS/University of Gothenburg) and
Vladimir Voevodsky (IAS).
Program Participants
Program Description
Important Dates
Date & Time
September 24, 2012 | 12:00am – August 15, 2013 | 12:00am