Participants
- Krzysztof Apt (CWI – Amsterdam, NL)
- Thomas Ball (Microsoft Corporation – Redmond, US)
- Dines Bjorner (Holte, DK)
- Patrick Cousot (ENS – Paris, FR)
- Cindy Eisner (IBM – Haifa, IL)
- Javier Esparza (TU München, DE)
- Steffen Görzig (Daimler AG – Böblingen, DE)
- Yuri Gurevich (Microsoft Corporation – Redmond, US)
- Marc Herbstritt (Schloss Dagstuhl, DE)
- Manuel Hermenegildo (IMDEA Software – Madrid, ES)
- Bengt Jonsson (Uppsala University, SE)
- Joseph Roland Kiniry (IT University of Copenhagen, DK)
- Jörg Kreiker (SMA Solar Technology, DE)
- Wei Li (Beihang University, CN)
- Wolfgang J. Paul (Universität des Saarlandes, DE)
- Erik Poll (Radboud University Nijmegen, NL)
- Sriram K. Rajamani (Microsoft Research India – Bangalore, IN)
- Jean-Francois Raskin (Free University of Brussels, BE)
- John Rushby (SRI – Menlo Park, US)
- Donald Sannella (University of Edinburgh, GB)
- Wei Sun (Beihang University, CN)
- Andrzej Tarlecki (University of Warsaw, PL)
- Wolfgang Thomas (RWTH Aachen, DE)
- Moshe Y. Vardi (Rice University – Houston, US)
- Reinhard Wilhelm (Universität des Saarlandes, DE)
- Jim C. P. Woodcock (University of York, GB)
- Lenore D. Zuck (NSF – Arlington, US)
