8 July 2007
Berlin, Germany
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@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.