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