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:

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.