Participants
- Béatrice Bérard (UPMC – Paris, FR)
- Péter Bokor (ALTEN Engineering – Berlin, DE)
- Borzoo Bonakdarpour (University of Waterloo, CA)
- Pierre Castéran (University of Bordeaux, FR)
- Bernadette Charron-Bost (Ecole Polytechnique – Palaiseau, FR)
- Marie Duflot (LORIA & INRIA Nancy, FR)
- Cormac Flanagan (University of California – Santa Cruz, US)
- Matthias Függer (TU Wien, AT)
- Alexey Gotsman (IMDEA Software – Madrid, ES)
- Serge Haddad (ENS – Cachan, FR)
- Gerwin Klein (Data61 / NICTA – Sydney, AU)
- Igor Konnov (TU Wien, AT)
- Fabrice Kordon (UPMC – Paris, FR)
- Akash Lal (Microsoft Research India – Bangalore, IN)
- Victor Luchangco (Oracle Corporation – Burlington, US)
- Stephan Merz (LORIA – Nancy, FR)
- Uwe Nestmann (TU Berlin, DE)
- Thomas Nowak (Ecole Polytechnique – Palaiseau, FR)
- Eric Ruppert (York University – Toronto, CA)
- John Rushby (SRI – Menlo Park, US)
- Andrey Rybalchenko (TU München, DE)
- André Schiper (EPFL – Lausanne, CH)
- Klaus Schneider (TU Kaiserslautern, DE)
- Philippe Schnoebelen (ENS – Cachan, FR)
- Wilfried Steiner (TTTech Computertechnik – Wien, AT)
- Murali Talupur (Intel Corp. – Hillsboro, US)
- Serdar Tasiran (Koc University – Istanbul, TR)
- Helmut Veith (TU Wien, AT)
- Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
- Jennifer L. Welch (Texas A&M University – College Station, US)
- Josef Widder (TU Wien, AT)
- Karsten Wolf (Universität Rostock, DE)
