Participants
- Jeremy Avigad (Carnegie Mellon University, US)
- Ulrich Berger (Swansea University, GB)
- Jesper Carlström (University of Stockholm, SE)
- Thierry Coquand (Chalmers – Göteborg, SE)
- Gema Maria Diaz-Toca (University of Murcia, ES)
- César Domínguez (Universidad de la Rioja, ES)
- Dominique Duval (Université de Grenoble, FR)
- Harold M. Edwards (New York University, US)
- M'hammed El Kahoui (MPI für Informatik – Saarbrücken, DE)
- Philipp Gerhardy (TU Darmstadt, DE)
- Thomas C. Hales (University of Pittsburgh, US)
- Daisuke Ikegami (Research Center for Verification & Semantics, JP)
- Henri Lesourd (Universität des Saarlandes, DE)
- Pierre Letouzey (LMU München, DE)
- Laurentiu Leustean (TU Darmstadt, DE)
- Henri Lombardi (University of Franche-Comté – Besancon, FR)
- Assia Mahboubi (INRIA Sophia Antipolis – Méditerranée, FR)
- Tobias Nipkow (TU München, DE)
- Steven Obua (TU München, DE)
- Paulo Oliva (Queen Mary University of London, GB)
- Erik Palmgren (Uppsala University, SE)
- Peter Paule (Universität Linz, AT)
- Hervé Perdry (University of Pisa, IT)
- Richard Pollack (New York University, US)
- Loic Pottier (INRIA Sophia Antipolis – Méditerranée, FR)
- Virgile Prevosto (MPI für Informatik – Saarbrücken, DE)
- Alban Quadrat (INRIA Sophia Antipolis – Méditerranée, FR)
- Jean-Claude Raoult (University of Rennes, FR)
- Fred Richman (Florida Atlantic University – Boca Raton, US)
- Renaud Rioboo (UPMC – Paris, FR)
- Giuseppe Rosolini (University of Genova, IT)
- Marie-Françoise Roy (University of Rennes, FR)
- Julio Rubio Garcia (Universidad de la Rioja, ES)
- Carsten Schneider (Universität Linz, AT)
- Peter M. Schuster (LMU München, DE)
- Helmut Schwichtenberg (LMU München, DE)
- Francis Sergeraert (Université de Grenoble, FR)
- Robert M. Solovay (Eugene, US)
- Bas Spitters (Radboud University Nijmegen, NL)
- Joris van der Hoeven (University Paris Sud, FR)
- Volker Weispfenning (Universität Passau, DE)
- Freek Wiedijk (Radboud University Nijmegen, NL)
- Ihsen Yengui (Faculté des Sciences – Sfax, TN)
- Julia Zappe (LMU München, DE)
- Roland Zumkeller (Ecole Polytechnique – Palaiseau, FR)
