HWMCC'08 |
OrganizationChairArmin Biere (Johannes Kepler University, Linz, Austria)CommitteeAlessandro 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) |