Participants
- Jean-Raymond Abrial (ETH Zürich, CH)
- Anindya Banerjee (Kansas State University, US)
- Gilles Barthe (INRIA Sophia Antipolis – Méditerranée, FR)
- Bernhard Beckert (Universität Koblenz-Landau, DE)
- Joshua Berdine (Microsoft Research UK – Cambridge, GB)
- Yves Bertot (INRIA Sophia Antipolis – Méditerranée, FR)
- Egon Börger (University of Pisa, IT)
- Richard Bornat (Middlesex University, GB)
- Manfred Broy (TU München, DE)
- Michael Butler (University of Southampton, GB)
- Cristiano Calcagno (Imperial College London, GB)
- Rod Chapman (Praxis High Integrity Systems Ltd. – Bath, GB)
- Byron Cook (Microsoft Research UK – Cambridge, GB)
- Patrick Cousot (ENS – Paris, FR)
- Reiner Hähnle (Chalmers UT – Göteborg, SE)
- Stefan Hallerstede (ETH Zürich, CH)
- Moritz Hammer (LMU München, DE)
- Charles Anthony Richard Hoare (Microsoft Research UK – Cambridge, GB)
- Marieke Huisman (INRIA Sophia Antipolis – Méditerranée, FR)
- Dieter Hutter (DFKI – Saarbrücken, DE)
- Bart Jacobs (Radboud University Nijmegen, NL)
- Cliff B. Jones (University of Newcastle, GB)
- Joseph Roland Kiniry (University College Dublin, IE)
- Daniel Kroening (ETH Zürich, CH)
- Gary T. Leavens (Iowa State University, US)
- K. Rustan M. Leino (Microsoft Research – Redmond, US)
- Etienne Lozes (ENS – Cachan, FR)
- Tiziana Margaria (Universität Potsdam, DE)
- Bertrand Meyer (ETH Zürich, CH)
- Jayadev Misra (University of Texas – Austin, US)
- C. Carroll Morgan (UNSW – Sydney, AU)
- David A. Naumann (Stevens Institute of Technology, US)
- Tobias Nipkow (TU München, DE)
- Peter O'Hearn (Queen Mary University of London, GB)
- Wolfgang J. Paul (Universität des Saarlandes, DE)
- Lawrence Paulson (University of Cambridge, GB)
- Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
- Erik Poll (Radboud University Nijmegen, NL)
- Wolfgang Reif (Universität Augsburg, DE)
- Tamara Rezk (INRIA Sophia Antipolis – Méditerranée, FR)
- Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
- Kaisa Sere (Abo Akademi University – Turku, FI)
- Natarajan Shankar (SRI – Menlo Park, US)
- Bernhard Steffen (TU Dortmund, DE)
- Andrzej Tarlecki (University of Warsaw, PL)
- Pawel Urzyczyn (University of Warsaw, PL)
- Tarmo Uustalu (Technical University – Tallinn, EE)
- Helmut Veith (TU München, DE)
- Reinhard Wilhelm (Universität des Saarlandes, DE)
- Jim C. P. Woodcock (University of York, GB)
- Kwangkeun Yi (Seoul National University, KR)