A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE: 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