BMC'06

Home

Scope

Program

Proceedings

Organization

Call for Papers

Organization

The workshop will be organized in the same way as in previous years. In particular there will be workshop proceedings. Extended versions of the 2003 workshop appeared in a special issue of the journal STTT dedicated to BMC'03. A special issue for BMC'04-BMC'05 will appear in FMSD. We will likewise do the same for BMC'06, if the quality of the papers is appropriate.

Chairs

Armin Biere, Johannes Kepler University, Linz, Austria
Ofer Strichman, Technion, Haifa, Israel

Program Committee

Armin Biere (Johannes Kepler University, Linz, Austria), Co-chair

Per Bjesse (Synopsys, USA)

Alessandro Cimatti (IRST,Italy)

Raanan Fraer (Intel, Israel)

Danny Geist (Intel, Israel)

Aarti Gupta (NEC, USA)

Alan Hu (Univ. of British Columbia, Canada)

Koen Claessen (Chalmers University of Technology)

Daniel Kroening (ETH-Zurich, Switzerland)

Ken McMillan (Cadence, USA)

Joao M. Silva (University of Southampton, UK)

Ofer Strichman (Technion, Israel), Co-chair

Yunshan Zhu (Consultant, USA)