Participants
- Piergiorgio Bertoli (Centro Ricerche FIAT – Trento, IT)
- Dietmar Berwanger (University of Bordeaux, FR)
- Alexis Bouquet (University of Bordeaux, FR)
- Xavier Briand (University of Bordeaux, FR)
- Diego Calvanese (Free University of Bozen-Bolzano, IT)
- Giuseppe De Giacomo (Sapienza University of Rome, IT)
- Jacques Duparc (Univesity of Lausanne, CH)
- Stefan Edelkamp (TU Dortmund, DE)
- Kousha Etessami (University of Edinburgh, GB)
- Alfonso Gerevini (University of Brescia, IT)
- Enrico Giunchiglia (University of Genova, IT)
- Robert Givan (Purdue University – West Lafayette, US)
- Robert P. Goldman (SIFT – Minneapolis, US)
- Erich Grädel (RWTH Aachen, DE)
- David Janin (University of Bordeaux, FR)
- Marcin Jurdzinski (University of Warwick – Coventry, GB)
- Henry A. Kautz (University of Washington – Seattle, US)
- Vahur Kotkas (Technical University – Tallinn, EE)
- Stephan Kreutzer (HU Berlin, DE)
- Stéphane Lafortune (University of Michigan – Ann Arbor, US)
- Martin Lange (LMU München, DE)
- Martin Leucker (TU München, DE)
- Christof Löding (RWTH Aachen, DE)
- Derek Long (University of Strathclyde, GB)
- Rupak Majumdar (UCLA, US)
- Oded Maler (VERIMAG – Grenoble, FR)
- Anca Muscholl (University Paris-Diderot, FR)
- Bernhard Nebel (Universität Freiburg, DE)
- Damian Niwinski (University of Warsaw, PL)
- Jan Obdr˛įlek (University of Edinburgh, GB)
- Madhusudan Parthasarathy (University of Illinois – Urbana-Champaign, US)
- Sophie Pinchinat (IRISA / CNRS, FR)
- Marco Pistore (Universitą di Trento, IT)
- Nir Piterman (EPFL – Lausanne, CH)
- Amir Pnueli (New York University, US)
- William Rounds (University of Michigan – Ann Arbor, US)
- Pierre-Yves Schobbens (University of Namur, BE)
- Bart Selman (Cornell University, US)
- John G. Thistle (University of Waterloo, CA)
- Wolfgang Thomas (RWTH Aachen, DE)
- Moshe Y. Vardi (Rice University – Houston, US)
- Sergei Vorobyov (Uppsala University, SE)
- Igor Walukiewicz (University of Bordeaux, FR)
- Thomas Wilke (Universität Kiel, DE)
