From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id EAECDBBC4 for ; Mon, 30 Mar 2009 00:22:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiABAKSRz0mCWMhdkWdsb2JhbACWAgEBAQEJCwoHEQWwD4N6Bocj X-IronPort-AV: E=Sophos;i="4.38,442,1233529200"; d="scan'208";a="37452194" Received: from serenity.mcc.ac.uk ([130.88.200.93]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Mar 2009 00:22:52 +0200 Received: from kelvin.its.manchester.ac.uk ([130.88.25.195]) by serenity.mcc.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.69 (FreeBSD)) (envelope-from ) id 1Lo3Od-0001KU-2a; Sun, 29 Mar 2009 23:22:27 +0100 Received: from webmail-w2.its.manchester.ac.uk ([10.2.61.5]:56079 helo=webmail.manchester.ac.uk) by kelvin.its.manchester.ac.uk with esmtpa (Exim 4.69) (envelope-from ) id 1Lo3Oc-0007gn-Tb; Sun, 29 Mar 2009 23:22:26 +0100 Received: from cpc1-bagu8-0-0-cust672.bagu.cable.ntl.com (cpc1-bagu8-0-0-cust672.bagu.cable.ntl.com [80.2.54.161]) by webmail.manchester.ac.uk (Horde Framework) with HTTP; Sun, 29 Mar 2009 23:22:26 +0100 Message-ID: <20090329232226.67532mn88f70w6gw@webmail.manchester.ac.uk> X-Priority: 3 (Normal) Date: Sun, 29 Mar 2009 23:22:26 +0100 From: "Manuela Bujorianu" To: hyscom@dii.unisi.it, mailinglist@fmeurope.org, concurrency@listserver.tue.nl, formal-methods@cs.uidaho.edu, petrinet@informatik.uni-hamburg.de, agents@cs.umbc.edu, puml-list@cs.york.ac.uk, appsem@appsem.org, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, performance@merlot.usc.edu, prog-lang@diku.dk, eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, emsoft@cs.columbia.edu, fmics@inrialpes.fr, isabelle-users@cl.cam.ac.uk, lics@informatik.hu-berlin.de, list@prooftheory.org, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, logic-list@helsinki.fi, lotos-world@site.uottawa.ca, memocode@cs.columbia.edu, oftverf@nist.gov, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu, caml-list@inria.fr, categories@mta.ca, coalgebras@iti.cs.tu-bs.de, cphc-conf@JISCMAIL.AC.UK, eatcs-it-l@unifi.it, ifip@ifip.or.at, ifmsig@cs.tcd.ie, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, csl@dbai.tuwien.ac.at Cc: Manuela.Bujorianu@manchester.ac.uk Subject: First CFP: FMA - Formal Methods for Aerospace MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.1.6) X-Authenticated-Sender: Manuela Bujorianu from webmail-w2.its.manchester.ac.uk (webmail.manchester.ac.uk) [10.2.61.5]:56079 X-Authenticated-From: Manuela.Bujorianu@manchester.ac.uk X-UoM: Scanned by the University Mail System. See http://www.itservices.manchester.ac.uk/email/filtering/information/ for details. X-Spam: no; 0.00; eindhoven:01 deploying:01 tackled:01 multi-agent:01 multi-agent:01 runtime:01 runtime:01 lncs:01 twente:01 2009:98 liv:98 rescue:98 pheromones:98 holistic:98 2009:98 ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- CALL FOR PAPERS International Workshop on Formal Methods for Aerospace (FMA) A satellite workshop of the 16th International Symposium on Formal Methods-FM Eindhoven, The Netherlands, 3rd November 2009 =20 http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm PDF version: http://www.csc.liv.ac.uk/~michael/fma09cfp.pdf BACKGROUND: Aerospace systems are not only safety critical, but also mission =20 critical, and often have very high performance requirements. For =20 example, while there is no safety issue regarding a planetary rover, =20 the system performance must justify the great cost of deploying it. =20 Consequently, if we are to tackle to development and analysis of =20 aeronautical systems is a formal way, we must enrich traditional =20 formal methods with new (or, at least, rarely investigated) research =20 issues. This naturally leads to a interdisciplinary approach, which =20 might: underline the importance of some research problems from =20 aeronautics to the formal method community; and promote new formal =20 techniques combining principles from artificial intelligence and =20 control engineering. The source of new problems comes from the great diversity of =20 aeronautical systems, including satellites, UAVs, terrestrial or other =20 kinds of flying robots. These systems can be involved in complex =20 activities such as space exploration, telecommunications support, fire =20 detection, geo-mapping, weather prognoses, geo-rectification, search & =20 rescue, traffic surveillance, target tracking, etc. From these =20 applications, concepts such as autonomy, collective behaviour, =20 information fusion, cognitive skills, coordination, flocking, are =20 required and new solutions, such as digital pheromones, swarms, system =20 of systems of robots, sensing, physical actuation, are developed. =20 Considering this rich landscape of research problems and potential =20 solutions, interdisciplinarity seems to be the most natural route. =20 Formal methods could benefit from integration with well-developed =20 methods from other disciplines. Many such opportunities are easily at =20 hand, for example the coordination of UAVs or satellites, which have =20 been successfully tackled using various techniques from control =20 engineering and numerical tools from dynamic programming. In addition, =20 there exist an abundance of examples of the use of artificial =20 intelligence techniques in aeronautics (target tracking, rover =20 planning, multi-agent technologies and so on). The implementation of =20 these methods could benefit from formal development. Conversely, from =20 the cross-fertilization of multidisciplinary approaches we can expect =20 more robust, safe and mechanizable development and verification =20 methods for aerospace systems. AIM AND SCOPE: The main workshop objective is to promote a holistic view and =20 interdisciplinary methods for design, verification and co-ordination =20 of aeronautical systems, by combining formal methods with techniques =20 from control engineering and artificial intelligence. The very =20 demanding safety, robustness and performance requirements of these =20 systems require unprecedented integration of heterogeneous techniques =20 and models. The aim of FMA is to bring together active researchers =20 from all the above areas to discuss and present their work. Relevant =20 topics include, but are not limited to (all with a focus on potential =20 application in aerospace design or engineering): new modeling paradigms formal verification of safety and performance properties combining formal and analytical techniques in modeling and verification heterogeneous and hybrid system models probabilistic and stochastic modeling and verification methods agent technologies multi-agent coordination runtime monitoring trajectory specification languages runtime monitoring PAPER SUBMISSION: We invite submissions of high quality, original papers in the above =20 areas. Papers should be written in English, formatted according to the =20 Springer LNCS style, and not exceed 16 pages including figures, =20 references, etc. At least one author of the accepted papers should =20 register at the workshop. Submissions must be made via =20 http://www.easychair.org/conferences/?conf=3Dfma09. The pre-proceedings will be available as an online technical report =20 and disseminated at the workshop. We are in negotiation for a journal =20 special issue for selected (extended and revised) papers. IMPORTANT DATES: Deadline for submission: 21st August 2009 Notification of acceptance: 28th September 2009 Camera Ready Copy due: 11th October 2009 WORKSHOP CO-CHAIRS: Manuela Bujorianu (Manchester, UK) Michael Fisher (Liverpool, UK) Corina Pasareanu (CMU (SV), USA) Programme Committee: Howard Barringer (Manchester, UK) Marius Bozga (Verimag, FR) Ricky Butler (NASA, USA) Ernst-Erich Doberkat (Dortmund, DE) 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) Cristina Seceleanu (Malardalen, SE) Roberto Segala (Verona, IT) Ferucio Tiplea (Iasi, RO) Antonios Tsourdos (Cranfield, UK) Mike Whalen (Minnesota, USA) Virginie Wiels (ONERA, FR)