The Coq mailing list

[Gilles Dowek <Gilles.Dowek AT polytechnique.edu>]

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