coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: homotopytypetheory <homotopytypetheory AT googlegroups.com>, Coq Club <coq-club AT inria.fr>, Types list list <types-announce AT lists.seas.upenn.edu>
Cc: "Prof. Vladimir Aleksandrovich Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] to those in Boston MA area
Date: Mon, 24 Mar 2014 17:44:40 -0400

Hi,

I’ll give a talk at Harvard Math Department on Fri. April 11 at 3pm. Here is the announcement:

Vladimir.