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