Organization

Chair

Armin Biere (Johannes Kepler University, Linz, Austria)

Committee

Alessandro Cimatti (IRST, Trento, Italy)
Koen Lindström Claessen (Chalmers University, Gothenburg, Sweden)
Toni Jussila (OneSpin Solutions, Munich, Germany)
Ken McMillan (Cadende Berkeley Labs, Berkeley, USA)
Fabio Somenzi (University of Colorado, Boulder, USA)