coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]TYPES 2007 remind

From: Marino Miculan <miculan AT dimi.uniud.it>
To: types AT lists.chalmers.se, coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk, types-announce AT lists.seas.upenn.edu
Subject: [Coq-Club]TYPES 2007 remind
Date: Mon, 19 Mar 2007 12:15:19 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear All,
this is to gentle remind you that the deadline for (early) registration to TYPES is approaching (March 31).
And actually, hotels in Cividale have still a few free rooms left, so it would be a good idea to register and book your room as soon as possible.
More details on the web page http://www.dimi.uniud.it/types07

All the best
-Marino Miculan
TYPES 2007 organization committee

[Coq-Club]TYPES 2007 remind, Marino Miculan