Univalent Foundations of Mathematics

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

Date & Time

September 24, 2012 | 12:00am – August 15, 2013 | 12:00am

Categories