Organization

Chair

Armin Biere (Johannes Kepler University, Linz, Austria)
Toni Jussila (Johannes Kepler University, Linz, Austria)

Committee

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