[FOM] IAS Univalent Foundations Program
awodey at cmu.edu
Sat Nov 12 07:57:04 EST 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:
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)
More information about the FOM