coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TPR Call for participation

From: Gilles Dowek <Gilles.Dowek AT polytechnique.edu>
To: Frederic Blanqui <blanqui AT loria.fr>, James Lipton <jlipton AT wesleyan.edu>, negri AT mappi.helsinki.fi, Mitsu OKADA <mitsu AT abelard.flet.keio.ac.jp>, coq-club AT pauillac.inria.fr, types AT lists.chalmers.se
Subject: [Coq-Club] TPR Call for participation
Date: Wed, 20 Jun 2007 18:04:00 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear Friends,

This mail is to remind you the TPR workshop on Friday, June 29^th , 2007, Paris.

The program includes talks by Jim Lipton, Olivier Hermant, Michele Pagani and
Lorenzo Tortora de Falco, Makoto Hamana, Mitsu Okada, Fr�d�ric Blanqui,
Jean-Pierre Jouannaud, and Albert Rubio, Thorsten Altenkirch and James Chapman,
Nicolas Oury, Bruno Barras and Bruno Bernardo, and Ross Duncan.

The workshop will be hosted by the laboratory PPS,
175 rue du Chevalleret, 75013 Paris, France, Room 0C2.
It starts at 9:30.

No registration is required.

The program is at http://www.lix.polytechnique.fr/~dowek/tpr.html

See you there

Gilles

[Coq-Club] TPR Call for participation, Gilles Dowek