GENERAL AND PROGRAM CHAIRS

Gianpiero Cabodi, Politecnico di Torino, Italy
Satnam Singh, Google, USA

LOCAL ARRANGEMENT CHAIR

Samin Ishtiaq, Microsoft Research Cambridge, UK

PUBLICATION CHAIR

Stefano Quer, Politecnico di Torino, Italy

PUBLICITY CHAIRS

Slava Bulach, Robert Bosch GmbH, Germany
Fahim Rahim, Atrenta Grenoble, France

TUTORIAL CHAIR

Rolf Drechsler, University of Bremen, Germany

STEERING COMMITTEE

Jason Baumgartner, IBM, USA
Aarti Gupta, NEC Labs America, USA
Warren Hunt, University of Texas at Austin, USA
Panagiotis Manolios, Northeastern University, USA
Mary Sheeran, Chalmers University of Technology, Sweden

PROGRAM COMMITEE

Armin Biere
Per Bjesse
Roderick Bloem
Gianpiero Cabodi
Alessandro Cimatti
Byron Cook
Bruno Dutertre
Steven German
Mark Greenstreet
Aarti Gupta
Youssef Hamadi
Alan Hu
Warren Hunt
Barbara Jobstmann
Kevin Jones
Daniel Kroening
Thomas Kropf
Joao Marques-Silva
Arie Matsliah
Ken Mcmillan
Tom Melham
John O'Leary
Lee Pike
Sandip Ray
Julien Schmaltz
Natasha Sharygina
Mary Sheeran
Satnam Singh
Anna Slobodova
Fabio Somenzi
Sudarshan Srinivasan
Murali Talupur
Helmut Veith

Thomas Wahl
Marcus Wedler