Logic List Mailing Archive

Special Year on "Univalent Foundations of Mathematics", Princeton NJ (U.S.A.), Deadline: 1 Dec 2011

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