Participants
- Bernhard Beckert (Universität Koblenz-Landau, DE)
- Richard Bubel (Chalmers UT – Göteborg, SE)
- Patrice Chalin (Concordia University – Montreal, CA)
- Curtis Clifton (Rose-Hulman Inst. of Technology – Terre Haute, US)
- David Cok (Eastman Kodak Comp. – Rochester, US)
- Cormac Flanagan (University of California – Santa Cruz, US)
- Reiner Hähnle (Chalmers UT – Göteborg, SE)
- John Hatcliff (Kansas State University, US)
- Görel Hedin (Lund University, SE)
- Marieke Huisman (University of Twente, NL)
- James J. Hunt (aicas GmbH – Karlsruhe, DE)
- Joseph Roland Kiniry (University College Dublin, IE)
- Gary T. Leavens (University of Central Florida – Orlando, US)
- Jooyong Lee (Kansas State University, US)
- K. Rustan M. Leino (Microsoft Corporation – Redmond, US)
- Rosemary Monahan (NUI Maynooth, IE)
- Wojciech Mostowski (Radboud University Nijmegen, NL)
- Peter Müller (ETH Zürich, CH)
- David A. Naumann (Stevens Institute of Technology, US)
- Frank Piessens (KU Leuven, BE)
- Erik Poll (Radboud University Nijmegen, NL)
- Robby (Kansas State University, US)
- Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
- Isabel Tonin (aicas GmbH – Karlsruhe, DE)
- Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE)
- Ronny Wichers Schreur (Radboud University Nijmegen, NL)
- Daniel Zimmerman (University of Washington – Tacoma, US)
