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 will appear in a special issue of the journal STTT dedicated to BMC'03. We will likewise do the same for BMC'05, if the quality of the papers is appropriate.
Armin Biere (Johannes Kepler University, Linz, Austria), Co-chair
Per Bjesse (Synopsys, USA)
Alessandro Cimatti (IRST,Italy)Koen Claessen (Chalmers Univ. of Technology, Sweden) Raanan Fraer (Intel, Israel) Danny Geist (IBM, Israel) Alan Hu (Univ. of British Columbia, Canada) Ken McMillan (Cadence, USA) Joao M. Silva (Technical Univ. of Lisbon, Portugal)
Fabio Somenzi (Univ. of Colorado, USA)Ofer Strichman (Technion, Israel), Co-chair
Yunshan Zhu (Synopsys, USA)