[TYPES/announce] Univalent Foundations program 2012-2013
vladimir at ias.edu
Tue Sep 20 09:56:58 EDT 2011
and my apologies for multiple postings.
A new announcement for the special program on Univalent Foundations of Mathematics at the Institute for Advanced Study in Princeton, NJ has been put on the institute web-page http://www.math.ias.edu/ . The new announcement contains info on how to apply for the program.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce