Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 2012-2013 special program at IAS

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2012-2013 special program at IAS


chronological Thread 
  • From: Vladimir Voevodsky <vladimir AT ias.edu>
  • To: Steve Awodey <awodey AT cmu.edu>, Thierry Coquand <coquand AT chalmers.se>, types-announce AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>, agda list <agda AT lists.chalmers.se>
  • Cc: Vladimir Aleksandrovich Voevodsky <vladimir AT ias.edu>, Hugo Herbelin <hugo.herbelin AT inria.fr>
  • Subject: [Coq-Club] 2012-2013 special program at IAS
  • Date: Mon, 25 Oct 2010 19:03:06 -0400
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.




Archive powered by MhonArc 2.6.16.

Top of Page