Dear Colleague,
   
  We would like to invite you to submit a paper to the special issue of the
  Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on
  the topic of  application of constraints to formal verification (CFV).
   
  The submission deadline is January 10, 2007.
   
  Topics include, but are not limited to, the following:
  - application of constraint solvers to hardware verification; 
  - application of constraint solvers to software verification; 
  - dedicated solvers for formal verification problems; 
  - tuning SAT for formal verification and testing;
  - challenging formal verification problems.
   
  The submissions have to be in the JSAT format:
  http://www.isa.ewi.tudelft.nl/Jsat/
  and have to be e-mailed to: mvelev@gmail.com
   
  If possible, please confirm your intent to submit a paper.
   
  We look forward to your submission,
   
  Miroslav Velev and Joao Marques-Silva
  Editors of the special issue of JSAT on CFV

 
---------------------------------
Check out the all-new Yahoo! Mail beta - Fire up a more powerful email and get things done faster.