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