[TYPES/announce] Deadline extension: FMA Formal Methods for Aerospace
Manuela Bujorianu
Manuela.Bujorianu at manchester.ac.uk
Sun Aug 23 05:08:50 EDT 2009
----------------------------------------------------------------------
Deadline extension: 1st September 2009
-------------------------------------------------------------------------
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.
Formal methods are considered in a wide sense, as riguruous
mathematical methods for system modelling, development, and
verification. Examples of suitable topics include: Petri nets and
other model of concurrency, hybrid systems, multiple agents, logics,
and formal verification methods.
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/
Depending on the quality of submission, a selection of papers might be
published as post-proceedings in a journal. In that case, the authors
will be invited to submit reworked papers, which will be reviewed again.
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: 1st September 2009 (extended)
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)
More information about the Types-announce
mailing list