coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] next year memberships at the IAS

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: homotopytypetheory <homotopytypetheory AT googlegroups.com>, Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>, Agda mailing list <agda AT lists.chalmers.se>
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>, Bob Constable <rc AT cs.cornell.edu>
Subject: [Coq-Club] next year memberships at the IAS
Date: Wed, 29 Jul 2015 22:00:45 -0400

Hello,

there is now an explicit mention here https://www.math.ias.edu/administration/membership and also in the Institute for Advanced Study MathJobs announcement of the memberships that we are expected to offer next year (and the following years) in formalization of mathematics and related fields.

Please apply!

Vladimir.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

[Coq-Club] next year memberships at the IAS, Vladimir Voevodsky, 07/30/2015