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: [EMAIL PROTECTED] We look forward to your submission, Miroslav Velev and John Franco Editors of the special issue of AMAI on CFVAI ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
