[SMT-LIB] Bounded Model Checking (BMC) Workshop 2007: Last call for papers

[Ofer Strichman]

Call for Papers:  Fifth International Workshop on Bounded Model Checking
(BMC'07)
************************************************************************

When: July 8th, 2007  (a day after CAV'07)
Where: Berlin, Germany

BMC'07 is affiliated with the 19th International Conference on
Computer-Aided Verification (CAV'07).

URL: http://ie.technion.ac.il/BMC07

contact: bmc07 at ie.technion.ac.il

Chairs
--------
Armin Biere, Johannes Kepler University, Linz, Austria
Ofer Strichman, Technion, Haifa, Israel


Important Dates
-------------------
Submissions: April 22, 2007
Notification: May 21, 2007
Final Papers: June 3, 2007
Workshop: July 8, 2007 Objective

Scope
-------
The scope of the workshop includes all theoretical and practical aspects of
Bounded Model Checking, including, but not limited to, using SAT technology
for unbounded model checking, combining BMC with other tools and techniques,
experimental results in an industrial setting, BMC of infinite state
systems, translation schemes, and dedicated SAT techniques for BMC.

Information about the submission process can be found in the BMC web page.