Univalent Foundations of Mathematics

2012-2013

Coorganized by

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