CFP: AMAI Special Issue on "Formal Methods in Aerospace..."

[Michael Fisher]

[ Apologies for multiple copies ]


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

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

-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : MFisher.vcf
Dateityp    : text/x-vcard
Dateigröße  : 325 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20091221/ef5e2738/attachment.vcf>