Colloquium in Honor of Gérard Huet

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.