Participants
- Sébastien Bardin (CEA – Gif sur Yvette, FR)
- Axel Belinfante (University of Twente, NL)
- Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
- Jasmin Christian Blanchette (TU München, DE)
- Achim D. Brucker (University of Karlskrona Ronneby, SE)
- Lukas A. Brügger (ETH Zürich, CH)
- Cristian Cadar (Imperial College London, GB)
- Maria Christakis (ETH Zürich, CH)
- Sylvain Conchon (University of Paris South XI, FR)
- Wilkerson de Lucena Andrade (Universidade Federal – Campina Grande, BR)
- Catherine Dubois (ENSIIE – Evry, FR)
- Juhan Ernits (Tallinn University of Technology, EE)
- Abderrahmane Feliachi (University of Paris South XI, FR)
- Christophe Gaston (CEA – Gif sur Yvette, FR)
- Arnaud Gotlieb (Simula Research Laboratory – Lysaker, NO)
- Wolfgang Grieskamp (Google – Sammamish, US)
- Robert M. Hierons (Brunel University, GB)
- Thierry Jéron (INRIA Rennes – Bretagne Atlantique, FR)
- René Just (University of Washington – Seattle, US)
- Marko Kääramees (Tallinn University of Technology, EE)
- Pascale Le Gall (Ecole Centrale Paris, FR)
- Martin Leucker (Universität Lübeck, DE)
- Delphine Longuet (University of Paris South XI, FR)
- Dominique Méry (LORIA – Nancy, FR)
- David Molnar (Microsoft Corporation – Redmond, US)
- Brian Nielsen (Aalborg University, DK)
- Grgur Petric Maretic (ETH Zürich, CH)
- Frank Rogin (Biotronik – Berlin, DE)
- Michel Rueher (University of Nice, FR)
- Nikolai Tillmann (Microsoft Corporation – Redmond, US)
- Jan Tretmans (Embedded Systems Institute – Eindhoven, NL)
- Jaco van de Pol (University of Twente, NL)
- Margus Veanes (Microsoft Corporation – Redmond, US)
- Luca Vigano (University of Verona, IT)
- Sabrina von Styp (RWTH Aachen, DE)
- Helene Waeselynck (LAAS – Toulouse, FR)
- Burkhart Wolff (University of Paris South XI, FR)
- Fatiha Zaidi (University of Paris South XI, FR)