[FOM] IAS Univalent Foundations Program

Steve Awodey awodey at cmu.edu
Sat Nov 12 07:57:04 EST 2011

Dear FOM,

In 2012-13 there will be a special year on Univalent Foundations of  
Mathematics at the Institute for Advanced Study.
This program has connections to logic and foundations, homotopy  
theory, and higher category theory. Applications from researchers  
working in some combination of those areas -- and interested in such  
connections -- are welcome.

More information on this program is available:


This page also contains information on how to apply for the program.  
The application deadline is December 1, 2011.  Feel free to contact  
the organizers (Steve Awodey, Thierry Coquand, Vladimir Voevodsky)  
with questions.


Steve Awodey

More information about the FOM mailing list