CFP: "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"

/\ | CALL FOR PAPERS | \/ "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI" A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE http://www.kluweronline.com/issn/1012-2443 DEADLINE: 10th March 2010 [ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ] Special Issue editors: Manuela Bujorianu [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Corina Pasareanu [CMU and NASA, USA] TOPICS OF INTEREST: The topics of interest of this special issue include (but are not limited to) * new modeling paradigms * formal verification of safety properties * formal models for cyber-physical systems * autonomous and autonomic systems * performance modelling and verification * heterogeneous and hybrid system models * multi-agent systems and coordination technologies * probabilistic logics for system specification * stochastic modelling and verification methods * control techniques that span over multiple disciplines * communication and control co-design specifically formal methods concerning the above within the area of aerospace. This special issue is inspired by the FMA workshop held within FM-2009. However, submission to this special issue is open to everyone. IMPORTANT DATES: Submission deadline: 10th March 2010 Author notification: 10th May 2010 Revised papers due: 10th June 2010 -- Corina Pasareanu, PhD CMU/NASA Ames http://ti.arc.nasa.gov/profile/pcorina/