Participants
- Jonathan Aldrich (Carnegie Mellon University, US)
- Daphna Amit (Tel Aviv University, IL)
- Andrew W. Appel (Princeton University, US)
- Anindya Banerjee (IMDEA Software – Madrid, ES)
- Michael Barnett (Microsoft Corporation – Redmond, US)
- Nick Benton (Microsoft Research UK – Cambridge, GB)
- Joshua Berdine (Microsoft Research UK – Cambridge, GB)
- Richard Bornat (Middlesex University, GB)
- Ahmed Bouajjani (University of Paris VII, FR)
- Cristiano Calgano (Imperial College London, GB)
- Bor-Yuh Evan Chang (University of Colorado – Boulder, US)
- Dave Clarke (KU Leuven, BE)
- David Cok (Eastman Kodak Comp. – Rochester, US)
- Dino Distefano (Queen Mary University of London, GB)
- Sophia Drossopoulou (Imperial College London, GB)
- Philippa Gardner (Imperial College London, GB)
- Alexey Gotsman (University of Cambridge, GB)
- Peter Habermehl (University of Paris VII, FR)
- Martin Hofmann (LMU München, DE)
- Jörg Kreiker (TU München, DE)
- Viktor Kuncak (EPFL – Lausanne, CH)
- Gary T. Leavens (University of Central Florida – Orlando, US)
- K. Rustan M. Leino (Microsoft Corporation – Redmond, US)
- Etienne Lozes (ENS – Cachan, FR)
- Roman Manevich (UCLA, US)
- Peter Müller (ETH Zürich, CH)
- David A. Naumann (Stevens Institute of Technology, US)
- James Noble (Victoria University – Wellington, NZ)
- Peter O'Hearn (Queen Mary University of London, GB)
- Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
- Ganesan Ramalingam (Microsoft Research India – Bangalore, IN)
- Noam Rinetzky (Queen Mary University of London, GB)
- Xavier Rival (ENS – Paris, FR)
- Mooly Sagiv (Tel Aviv University, IL)
- Peter Sestoft (IT University of Copenhagen, DK)
- Elodie-Jane Sims (ENS – Paris, FR)
- Tomas Vojnar (Brno University of Technology, CZ)
- Thomas Wies (EPFL – Lausanne, CH)
- Reinhard Wilhelm (Universität des Saarlandes, DE)
- Hongseok Yang (Queen Mary University of London, GB)
- Greta Yorsh (IBM TJ Watson Research Center – Yorktown Heights, US)