Skip to Content.
Sympa Menu

coq-club - [Coq-Club] TPR 07 Call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TPR 07 Call for participation


chronological Thread 
  • From: Gilles Dowek <Gilles.Dowek AT polytechnique.edu>
  • To: coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] TPR 07 Call for participation
  • Date: Wed, 30 May 2007 18:28:57 +0200
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Type theory, proof theory, and rewriting

Friday, June 29th, 2007, Paris

Type theory, proof theory and rewriting is a workshop to present
on-going work on proof theory and type theory with an emphasis on the
use of rewriting techniques in these areas.

Talks will be given 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 program is online at:
http://www.lix.polytechnique.fr/~dowek/tpr.html

No registration is required.

This workshop is a small TYPES meeting. It will be hosted by
the laboratory Preuves, Programmes et Systèmes, 175 rue du
Chevalleret, 75013 Paris, France, Room 0C2.

Hope to see you there.

Regards.

Gilles Dowek, Frédéric Blanqui, Jim Lipton, Sara Negri, Mitsu Okada





Archive powered by MhonArc 2.6.16.

Top of Page