ELSNET-list archive

Category:   E-CFP
Subject:   Second Call for Papers: Special issue of AMAI on CFVAI
Email:   mvelev_(on)_gmail.com
Date received:   23 Oct 2008
Deadline:   30 Nov 2008

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_(at)_gmail.com We look forward to your submission, Miroslav Velev and John Franco Editors of the special issue of AMAI on CFVAI _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 11-11-2008 by Steven Krauwer Disclaimer / Contact ELSNET