Colloquium in Honor

of Gérard Huet


June 22th and 23th, 2007

École Normale Supérieure, Paris

Friday, June 22th 14:00 Robin Milner: Motion & Reaction versus Unfolding and Recursion, or: structural congruence revisited 14:45 Larry Paulson: Automated Assistance for Proof Assistants 15:30 Break 15:45 Jean-Jacques Lévy: Small Families 16:30 Dominique Bolignano : On the use of Coq for Business Models 17:15 Jean-Marie Hullot Saturday, June 23th 10:00 Gordon Plotkin: An algebraic framework for logics and type theories 10:45 Jean Vuillemin: Efficient Algorithms over Sparse Numbers 11:30 André Hirschowitz: Playing for truth on mutable graphs 12:15 Lunch 14:00 Rod Burstall 14:20 Aarne Ranta: Parametrized Modules in Grammar Engineering 15:05 Break 15:20 Philippe de Groote: ACG parsing: the general case 16:05 Christian Rétoré: On the trees underlying natural language sentences

---

Organization: Thierry Coquand, Gilles Dowek, François Fages, Xavier Leroy, Christine Paulin, Didier Rémy.
Venue: Amphithéâtre Rataud, École normale supérieure, 45 rue d'Ulm, Paris.
Supported by TYPES, INRIA and the MSR-INRIA joint center.
The participants.