Program Chairs

Calin Belta, Boston University, USA.

Franjo Ivancic, NEC Laboratories America, USA.

Program Committee

Alessandro Abate, Delft University of Technology, The Netherlands.

Erika Abraham, RWTH Aachen University, Germany.

Aaron Ames, Texas A&M University, USA.

Manfred Broy, Technical University Munich, Germany.

Patrick Cousot, Ecole Normale Superieure, France.

Thao Dang, VERIMAG, France.

Domitilla Del Vecchio, MIT, USA.

Stefano Di Cairano , Mitsubishi Electric Control Laboratories, USA.

Alexandre Donzé, University of California Berkeley, USA.

Magnus Egerstedt, Georgia Institute of Technology, USA. Georgios Fainekos, Arizona State University, USA.

Eric Feron, Georgia Institute of Technology, USA.

Goran Frehse, VERIMAG, France.

Antoine Girard , Universite Joseph Fourier, France.

Radu Grosu, Vienna University of Technology, Austria. Klaus Havelund, NASA Jet Propulsion Laboratory, USA.

Holger Hermanns, Saarland University, Germany.

Agung Julius, Rensselaer Polytechnic Institute, USA.

Xenofon Koutsoukos, Vanderbilt University, USA.

Kim Larsen, Aalborg University, Denmark.

Mircea Lazar, Eindhoven University of Technology, The Netherlands.

Jie Liu, Microsoft Research, USA.

Rupak Majumdar, MPI-SWS, Germany.

Ian Mitchell, University of British Columbia, Canada.

Sayan Mitra, University of Illinois Urbana-Champaign, USA.

Pieter Mosterman, Mathworks, USA.

Jens Oehlerking, Robert Bosch GmbH, Germany.

André Platzer, Carnegie Mellon University, USA.

Andreas Podelski, University of Freiburg, Germany.

Pavithra Prabhakar, IMDEA Software, Spain.

S Ramesh, General Motors R&D, India.

Stefan Ratschan, Czech Academy of Sciences, Czech Republic.

Ricardo Sanfelice, University of Arizona, USA.

Sriram Sankaranarayanan, University of Colorado Boulder, USA.

Paulo Tabuada, University of California Los Angeles, USA.

Ashish Tiwari, SRI International, USA.

Verena Wolf, Saarland University, Germany.

Paolo Zuliani, Newcastle University, UK.

Steering Committee:

The current steering committee members are

Rajeev Alur, University of Pennsylvania, USA.

Werner Damm, Carl von Ossietzky Universität Oldenburg, Germany.  Bruce Krogh, Carnegie-Mellon University, USA.

Oded Maler, Verimag, France.

Claire Tomlin, University of California Berkeley, USA.