Andrew Appel W Princeton University
Daniela Bargelli
Bruno Barras INRIA
Bruno Bernardo INRIA
Sandrine Blazy INRIA
Paul Brauner Loria
Dominique Bolignano Trusted Logic
Rod Burstall
Pierre Castéran Labri, Bordeaux
Jérôme Chailloux ERCIM
Arthur Charguéraud INRIA Rocquencourt
Kaustuv Chaudhuri LIX École polytechnique
Adriana Compagnoni Stevens Institute of Technology
Thierry Coquand Chalmers University
Norbert Cot Universite Paris 5
Zaynah Dargaye INRIA
Philippe de Groote LORIA
Delande Olivier LIX École polytechnique
Joëlle Despeyroux INRIA
Damien Doligez INRIA
Gilles Dowek LIX École polytechnique/INRIA
Christopher Dutchyn Université de Saskatchewan
François Fages INRIA
Germain Faure Loria
Yangyue Feng Royal Holloway University of London
Jean-Christophe Filliâtre CNRS/INRIA Futurs
Alain Frisch INRIA
Gabbay Murdoch Heriot-Watt University
François Garillot ENS
Healfdene Goguen
Faranak Grange INRIA
Amine Hemdane LIPN, Villetaneuse
André Hirschowitz Université de Nice
Michel Hirschowitz CEA
Aquinas Hobor Princeton University
Clément Houtmann Loria
Gérard Huet INRIA
Jean-Marie Hullot
Tarik Kaced Ens Lyon
Claude Kirchner INRIA
Samuel Lacas Dictao
Marc Lasson Ens Lyon
Emmanuel Ledinot Dassault Aviation
Xavier Leroy INRIA
Lévy Jean-Jacques INRIA
Robin Lucy
Assia Mahboubi INRIA
Yevgeniy Makarov LIX, École polytechnique
Louis Mandel INRIA
Thierry Martinez INRIA
Micaela Mayero LIPN, Villetaneuse
Paul-Andre Mellies PPS, Universite Paris 7
Dale Miller INRIA-Futurs/LIX
Robin Milner
Samuel Mimram ENS Lyon
César A. Muñoz National Institute of Aerospace
Gopalan Nadathur
Keiko Nakata Cnam laboratory
Carlos Olarte LIX, École polytechnique
Catuscia Palamidessi LIX École polytechnique
Christine Paulin INRIA/LRI
Larry Paulson Cambridge University
Antoine Petit INRIA
Gordon Plotkin LFCS, Edinburgh
François Pottier INRIA Rocquencourt
Virgile Prevosto CEA Saclay
Maël Primet École Normale Supérieure
Claude Puech INRIA Directeur de la recherche
Tahina Ramananandro École Normale Supérieure
Aarne Ranta Chalmers University
Benoit Razet INRIA
Yann Régis-Gianas INRIA Rocquencourt
Didier Rémy INRIA
Christian Rétoré LABRI
Lionel Rieg LSV ENS-Cachan
Amokrane Saïbi Dictao
Chung-chieh Shan Rutgers University
Lutz Strassburger INRIA/LIX École polytechnique
Nicolas Tabareau PPS, Université Paris 7
Jean Vuillemin ENS
Benjamin Werner INRIA
Boris Yakobowski INRIA