As done for BMC 2003, the workshop organizers are compiling a journal special issue on Bounded Model Checking, this year to appear in the Journal on Formal Methods in System Design (FMSD). We are seeking original manuscripts scheduled to be published in August 2006.

Shortly after its introduction Bounded Model Checking has been adopted by most relevant companies as a complementary technique to the more traditional BDD based unbounded symbolic model checking. Largely due to the advances in SAT technology in the last few years, Bounded Model Checking became a leading tool in detection of relatively shallow logical errors, outperforming BDD based tools in most of these cases. The large interest in this technology has created a constant stream of new ideas and improvements that make this technique more and more useful.

Submitted articles must not have been previously published or currently submitted for journal publication elsewhere. We welcome extended versions of the papers that appeared in BMC 04 and 05, or combinations of two such papers. As an author, you are responsible for understanding and adhering to our submission guidelines. Please thoroughly read these before submitting your manuscript. See here for details.

Submission: Please submit your article to one of the co-guest-editors: Daniel Kroening (daniel.kroening@inf.ethz.ch) or Armin Biere (biere@jku.at).

Note the following important dates:

Submission Deadline:	Oct. 15, 2005 (strict, no extensions will be made)
First reviews:	Nov 15, 2005
Revisions due:	Dec 15, 2005
Notification of final acceptance:	Jan. 15, 2006
Final Manuscripts Due:	Feb. 15, 2006
Publication Date:	August 2006