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

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

Previous message: [TYPES/announce] ICFP 2011: Call for Workshop Proposals
Next message: [TYPES/announce] 2nd call for papers: HotSWUp III
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: [TYPES/announce] ICFP 2011: Call for Workshop Proposals
Next message: [TYPES/announce] 2nd call for papers: HotSWUp III
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list