coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Univalent Foundations program 2012-2013

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq-Club Club <coq-club AT inria.fr>, agda list <agda AT lists.chalmers.se>, homotopytypetheory AT googlegroups.com, Types-announce AT lists.seas.upenn.edu
Subject: [Coq-Club] Univalent Foundations program 2012-2013
Date: Tue, 20 Sep 2011 09:54:28 -0400

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.

[Coq-Club] Univalent Foundations program 2012-2013, Vladimir Voevodsky