Program Committee
Alessandro Abate, TU Delft, The Netherlands
Erika Abraham, RWTH Aachen, Germany
Aaron Ames, Texas A&M University, USA
Patrick Cousot, New York University, USA
Stefano Di Cairano, Mitsubishi Electric Research Laboratories, MA, USA
Alexandre Bayen, University of California at Berkeley, USA
Calin Belta, Boston University, USA
Emilio Frazzoli, Massachusetts Institute of Technology, USA
Goran Frehse, VERIMAG, France
Antoine Girard, Joseph Fourier University, Grenoble, France
Radu Grosu, SUNY Stony Brook, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Holger Hermanns, Saarland University, Germany
Jianghai Hu, Purdue University, USA
Jun-Ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, NEC, USA
T. John Koo, Chinese Academy of Sciences, China
Kim Larsen, Aalborg University, Denmark
Mircea Lazar, TU Eindhoven, The Netherlands
Hai Lin, National University of Singapore, Singapore
Jan Lunze, Ruhr-University Bochum, Germany
Rupak Majumdar, Max Planck Institute for Software Systems, Germany
Sayan Mitra, University of Illinois at Urbana-Champaign, USA
Dragan Nesic, University of Melbourne, Australia
Songhwai Oh, Seoul National University, Korea
Paritosh Pandya, Tata Institute of Fundamental Research, India
Andre Platzer, Carnegie Mellon University, USA
Stefan Ratschan, Academy of sciences of Czech Republic, Czech Republic
Ricardo Sanfelice, University of Arizona, USA
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Thomas Stauner, BMW, Munich, Germany
Paulo Tabuada, University of California at Los Angeles, USA
Ashish Tiwari, SRI, USA
Pascal Traverse, Airbus, France
Shaofa Yang, Chinese Academy of Sciences, China
Qianchuan Zhao, Tsinghua University, China