[TYPES/announce] 2nd CFP: FMA - Formal Methods for Aerospace

[Manuela Bujorianu]

----------------------------------------------------------------------
       WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------


                                 CALL FOR PAPERS

               International Workshop on Formal Methods for Aerospace (FMA)

             A workshop affiliated with the Formal Methods Week

                 Eindhoven, The Netherlands,  3rd November 2009

            
http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm



The workshop is intended to be a forum for researchers and  
practitioners interested in formal techniques for space systems and  
air traffic control. These application domains are highly multi and  
interdisciplinary, and specific formal methods should be integrated  
with techniques from control engineering and artificial intelligence.  
There will be opportunities to attend lectures given by high profile  
experts, presentations of high quality technical contributions, and  
discussions sessions.

INVITED SPEAKERS:
Klaus Havelund (JPL-NASA)
Sandor Veres (University of Southampton, UK)


PAPER SUBMISSION:
The workshop pre-proceedings will be published in Electronic  
Proceedings of Theoretical Computer Science series  
(http://www.eptcs.org/). Therefore, the use of the EPTCS style is  
strongly recommended: http://style.eptcs.org/
The original papers should be written in English and not exceed 16  
pages including figures, references, etc. The original contribution  
and relevant related work must be clearly discussed. At least one  
author of the accepted papers should register at the workshop.  
Submissions must be made via  
http://www.easychair.org/conferences/?conf=fma09.

IMPORTANT DATES:
Deadline for submission:          21st August 2009
Notification of acceptance:        28th September 2009
Camera Ready Copy due:            11th October 2009

Steering Committee:

Manuela Bujorianu  (Manchester, UK)
Michael Fisher (Liverpool, UK)
Alessandro Giua (Cagliari, IT)
Corina Pasareanu (CMU (SV), USA)



Programme Committee:

Howard Barringer  (Manchester, UK)
Henk A.P. Blom (NLR, NL) - co-chair
Marius Bozga  (Verimag, FR)
Manuela L. Bujorianu (Manchester, UK) - co-chair
Ricky Butler  (NASA, USA)
Ernst-Erich Doberkat  (Dortmund, DE)
Michael Fisher (Liverpool, UK) - co-chair
Alessandro Giua  (Cagliari, IT)
Jianghai Hu  (Purdue, USA)
Rom Langerak  (Twente, NL)
John Lygeros  (Zurich, CH)
Savi Maharaj  (Stirling, UK)
Tiziana Margaria  (Potsdam, DE)
Cesar Munoz  (NASA, USA)
Flemming Nielson  (DTU, DK)
Dusko Pavlovic  (Oxford, UK)
Corina Pasareanu (CMU (SV), USA)
Cristina Seceleanu  (Malardalen, SE)
Roberto Segala  (Verona, IT)
Ferucio Tiplea  (Iasi, RO)
Antonios Tsourdos  (Cranfield, UK)
Mike Whalen  (Minnesota, USA)
Virginie Wiels  (ONERA, FR)