[PVS] Second Call for Papers: Special issue of AMAI on CFVAI

["Miroslav Velev" <mvelev@xxxxxxxxx>]

We would like to invite you to submit a paper to the special issue of
Annals of Mathematics and Artificial Intelligence (AMAI)
on the topic of  application of Constraints to Formal Verification and
AI (CFVAI).

The submission deadline is November 30, 2008.

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;
- scheduling, and planning;
- challenging formal verification, scheduling, and planning problems.

The submissions have to be in the AMAI format:
http://www.springer.com/computer/artificial/journal/10472
and have to be e-mailed to: mvelev@xxxxxxxxx

We look forward to your submission,

Miroslav Velev and John Franco
Editors of the special issue of AMAI on CFVAI