coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Heidelberg Laureat Forum

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Heidelberg Laureat Forum
Date: Thu, 13 Feb 2014 11:08:04 -0500

Hello,

have a look at this please:

http://www.heidelberg-laureate-forum.org/call-for-application/

Last year it was interesting since it brought together mathematicians and
computer scientists which does not happen often.

Vladimir.

[Coq-Club] Heidelberg Laureat Forum, Vladimir Voevodsky, 02/13/2014