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
Conference on Computer-Aided Verification CAV'05.
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.
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