[TYPES/announce] Univalent Foundations program 2012-2013

[Vladimir Voevodsky]

Hello,

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.

Vladimir Voevodsky.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110920/f90b42ba/attachment.html>