[Agda] 2012-2013 special program at IAS

Vladimir Voevodsky vladimir at ias.edu
Tue Oct 26 01:03:06 CEST 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 Agda mailing list