[SMT-LIB] Call for papers: The 5th iworkshop on Bounded Model Checking (BMC'07)

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