Committees

Christel Baier, Dresden University, Germany

Maurice H. ter Beek

Dirk Beyer, LMU Munich, Germany

Irena Boyanova, NIST, USA

Loek Cleophas

Serge Demeyer

Alessandro Fantechi, Università di Firenze, Italy

John Fitzgerald, Newcastle University, United Kingdom

Dilian Gurov, KTH Royal Institute of Technology, Stockholm

Reiner Hähnle, TU Darmstadt, Germany

Anne Haxthausen, Technical University of Denmark, Denmark

Paula Herber, University of Münster, Germany

Holger Herrmanns, Universität des Saarlandes, Germany

Marieke Huisman, University of Twente, The Netherlands

Stefan Jähnichen, TU Berlin, Germany

Eduard Kamburjan, TU Darmstadt, Germany

Kim G. Larsen, Aalborg University, Denmark

Pieter Gorm Larsen, Aarhus University, Denmark

Axel Legay, UCLOUVAIN, Belgium

Heiko Mantel

Tiziana Margaria, University of Limerick, Ireland

Rocco De Nicola, IMT Lucca, Italy

Gordon Pace, University of Malta Malta

César Sánchez, Instituto IMDEA Software, Madrid, Spain

Ina Schaefer, TU Braunschweig, Germany

Gerardo Schneider, University of Gothenburg, Sweden

Markus Schordan, Lawrence Livermore National Laboratory, CA, USA

Cristina Seceleanu, Mälardalen University, Sweden

Bruce W. Watson 

Martin Wirsing, LMU München, Germany

Jim Woodcock, University of York, United Kingdom