[TYPES/announce] 2012-2013 special program at IAS

Vladimir Voevodsky vladimir at ias.edu
Mon Oct 25 19:03:06 EDT 2010


The announcement and the preliminary description of the 2012-2013 special program are on the IAS web site now.  
Go to http://www.math.ias.edu/ and click at the link under "Univalent Foundations of Mathematics".

Vladimir.




More information about the Types-announce mailing list