Univalent Foundations of Mathematics

Monday, September 24, 2012 (All day) - Thursday, August 15, 2013 (All day)
2012-2013

Coorganized by

Steve Awodey (email address, CMU),
Thierry Coquand (email address, University of Gothenburg) and
Vladimir Voevodsky (email address, IAS). 

All IAS related questions should be send to Vladimir Voevodsky.

Program Participants

Program Description

Important Dates

terms: