[TYPES] Final CFP: Bounded Model Checking workshop (BMC'05)

[Ofer Strichman]

======================================================================

 

 

                  Last call for papers

 

Third International Workshop on Bounded Model Checking (BMC'05)

                  July 11, 2005

            Edinburgh, Scotland, UK

 

      BMC'05 is affiliated with CAV'05.

 

 

Detailed CFP and home page: 

 

http://iew3.technion.ac.il/BMC05/bmc05-embedded-cfp.html

 

======================================================================

 

 

Reminder: the submission deadline of the Bounded Model Checking workshop is
on May 1st

 

 

Co-chairs: Ofer Strichman and Armin Biere