Organization

General Chair:

• Mario Südholt, EMNantes – INRIA, LINA, France

Program Chairs:

• Sven Apel, University of Passau, Germany
• Ethan Jackson, Microsoft Research, USA

Program Committee:

• Don Batory, The University of Texas at Austin, USA
• Benoit Baudry, INRIA Rennes, France
• Nikolaj Bjorner, Microsoft Research, USA
• Eric Bodden, TU Darmstadt, Germany
• Jan Bosch, Intuit, USA
• Manfred Broy, TU Munich, Germany
• Pascal Costanza, Vrije Universiteit Brussel, Belgium
• Kathi Fisler, Worcester Polytechnic Institute, USA
• Jeff Gray, University of Alabama, USA
• Volker Gruhn, University of Leipzig, Germany
• Robert Hirschfeld, HPI, Germany
• Wouter Joosen, KU Leuven, Belgium
• Christian Kästner, Philipps University of Marburg, Germany
• David H. Lorenz, Open University of Israel, Israel
• Welf Löwe, Växjö University, Sweden
• Ina Schaefer, Chalmers University of Technology, Sweden
• Joseph Sifakis, Verimag, France
• Yannis Smaragdakis, University of Massachusetts at Amherst, USA
• Stefan Sobernig, Wirtschaftsuniversität Wien, Austria
• Janos Sztipanovits, Vanderbilt University, USA
• Clemens Szyperski, Microsoft, USA
• Stavros Tripakis, UC Berkeley, USA
• Salvador Trujillo, IKERLAN, Spain
• Eric Wohlstadter, University of British Columbia, Canada

Steering Committee:

• Uwe Aßmann, Dresden University of Technology, Germany
• Judith Bishop, Microsoft Research, USA
• Thomas Gschwind, IBM Zurich Research Lab, Switzerland
• Oscar Nierstrasz, University of Berne, Switzerland
• Mario Südholt, INRIA – École des Mines de Nantes, France