CFP: journal issue on formal methods for aerospace

[Manuela Bujorianu]

Apologies for possible cross-postings!

                            /---------------\
                           | 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

----------------------------------------------------------------------