
Univalent Foundations of Mathematics
Coorganized by
Steve Awodey (, CMU),
Thierry Coquand (, University of Gothenburg) and
Vladimir Voevodsky (, IAS).
All IAS related questions should be send to Vladimir Voevodsky.
Program Participants
Program Description
Important Dates
Date & Time
September 24, 2012 | 12:00am – August 15, 2013 | 12:00am