Univalent Foundations of Mathematics
2012-2013
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
terms: