BMC'05

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 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.

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)

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)