HWMCC'08
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)