coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Participants of the Univalent Foundations program

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Steve Awodey <awodey AT cmu.edu>, Thierry Coquand <coquand AT chalmers.se>
Cc: Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Participants of the Univalent Foundations program
Date: Sat, 14 Jul 2012 06:39:37 -0400
Envelope-to: awodey AT cmu.edu, coquand AT chalmers.se, types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr

The list of participants in the next year program on the Univalent
Foundations at the IAS, Princeton, NJ is now posted at
http://www.math.ias.edu/sp/univalent/participants It will be updated as
more info becomes available.

Vladimir.

[Coq-Club] Participants of the Univalent Foundations program, Vladimir Voevodsky, 07/14/2012