Call for Papers

Third International Workshop on Bounded Model Checking

July 11, 2005, The University of Edinburgh, Scotland, UK

** NEW ** - The official proceedings now appear in vol. 144, issue 1, of ENTCS. See here

Special issue of the journal on Formal Methods in Systems Design (FMSD) dedicated to Bounded Model Checking.

Presentations are now on-line. See the program.

BMC'05 is an affiliated workshop to
17th International Conference on Computer-Aided Verification CAV'05.

Previous Workshop

BMC'03, Boulder, Colorado, USA, July 13, 2003, affiliated to CAV'03.

BMC'04, Boston, USA, July 18, 2004, affiliated to CAV'04.


The objective of BMC'05 is to bring together scientists from academia and industry to report and debate advances in Bounded Model Checking and related issues.

Important Dates

Submissions: May 1, 2005
Notification: May 29, 2005
Final Papers: June 12, 2005
Workshop: July 11, 2005

Last update: Armin Biere, ETH Zürich, July 27, 2004