[FOM] IAS Univalent Foundations Program

[Steve Awodey]

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:

http://www.math.ias.edu/sp/univalent

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.

Regards,

Steve Awodey