The Coq mailing list

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

To celebrate Gerard Huet's birthday, we are organizing a colloquium on
Friday, June 22th and Saturday, June 23th at École Normale Supérieure
in Paris.

Talks will be given by Robin Milner, Per Martin-Löf, Larry Paulson,
Jean-Jacques Lévy, Dominique Bolignano, Gordon Plotkin,
Jean Vuillemin, André Hirshowitz, Rod Burstall, Aarne Ranta,
Philippe de Groote, Christian Rétoré and Jean-Marie Hullot.
The program is online at: http://www.lix.polytechnique.fr/~dowek/GH/

Registration is free but people wishing to attend should send their name
by mail to 
colloque-huet AT inria.fr
 before June 15th.

This colloquium is supported by TYPES, INRIA and the MSR-INRIA joint center.

Hope to see you there.

Regards.

Thierry Coquand, Gilles Dowek, François Fages, Xavier Leroy,
Christine Paulin, Didier Rémy