[Agda] Univalent Foundations program 2012-2013

Vladimir Voevodsky vladimir at ias.edu
Tue Sep 20 15:54:28 CEST 2011


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.


More information about the Agda mailing list