From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8EJ4bfI000415 for ; Wed, 14 Sep 2011 21:04:37 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwAAID6cE6AnPnlmWdsb2JhbABCgk2jeoEBFAEBAQEBCAsLBxQmgVUFAQEBGhAZChgRAwMBAgYCAQE8BgQIAwEbEyYBBAESBQMBEodgtQSGDmAEh26ED5kF X-IronPort-AV: E=Sophos;i="4.68,382,1312149600"; d="scan'208,217";a="109090532" Received: from lists.nasa.gov ([128.156.249.229]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Sep 2011 21:04:34 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 4059A61DC77; Wed, 14 Sep 2011 15:02:55 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZnoPZpSPhvYf; Wed, 14 Sep 2011 15:02:55 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id E234161DBD3; Wed, 14 Sep 2011 15:02:51 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A5E1F61DB8D; Wed, 14 Sep 2011 15:02:49 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id OImlE39JY3Iu; Wed, 14 Sep 2011 15:02:49 -0400 (EDT) Received: from ndmsnpf03.ndc.nasa.gov (ndmsnpf03.ndc.nasa.gov [198.117.0.123]) by lists.nasa.gov (Postfix) with ESMTP id 70D4761DB61; Wed, 14 Sep 2011 15:02:49 -0400 (EDT) Received: from ndmsppt02.ndc.nasa.gov (ndmsppt02.ndc.nasa.gov [198.117.0.101]) by ndmsnpf03.ndc.nasa.gov (Postfix) with ESMTP id 433BF2D84AF; Wed, 14 Sep 2011 14:02:49 -0500 (CDT) Received: from ndmshub02.ndc.nasa.gov (ndmshub02-pub.ndc.nasa.gov [198.117.0.161]) by ndmsppt02.ndc.nasa.gov (8.14.4/8.14.4) with ESMTP id p8EJ2n00031195; Wed, 14 Sep 2011 14:02:49 -0500 Received: from NDMSSCC05.ndc.nasa.gov ([198.117.2.174]) by ndmshub02.ndc.nasa.gov ([198.117.2.161]) with mapi; Wed, 14 Sep 2011 14:02:49 -0500 From: "PERSON, SUZETTE (LARC-D320)" To: "fm-announcements@lists.nasa.gov" , "larc-nia-fm@lists.nasa.gov" Date: Wed, 14 Sep 2011 14:02:47 -0500 Thread-Topic: NFM 2012 Call For Papers Thread-Index: AcxzEORoLiBlrFPESP2Ptg4tVgZD5w== Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_D2852AE6C0FA2F40B650C08EF356AC75F60D72CE3FNDMSSCC05ndcn_" MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.4.6813, 1.0.211, 0.0.0000 definitions=2011-09-14_05:2011-09-14, 2011-09-14, 1970-01-01 signatures=0 Cc: NASA-NFM2012 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 Precedence: list List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: suzette.person@nasa.gov Subject: [Caml-list] [fm-announcements] NFM 2012 Call For Papers --_000_D2852AE6C0FA2F40B650C08EF356AC75F60D72CE3FNDMSSCC05ndcn_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable NFM 2012 FIRST CALL FOR PAPERS Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ nasa-nfm2012@mail.nasa.gov -------------------------------------------------- Theme of Conference: -------------------------------------------------- The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. -------------------------------------------------- Topics of Interest: -------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Automated test generation and testing techniques for safety-critical syst= ems * Model-based development * Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques * Monitoring and runtime verification * Code generation from formally verified models * Significant applications of formal methods to aerospace systems * Modeling and verification aspects of cyber-physical systems * Safety cases * Accident/safety analysis * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods * Techniques for safety-critical systems, including hybrid and embedded sys= tems * Formal methods in systems engineering -------------------------------------------------- Submissions: -------------------------------------------------- There are two categories of submissions: * Regular papers describing fully developed work and complete results (15 pages/30 minute talks) * Short papers describing tools, experience reports, or descriptions of work in progress or?preliminary results (6 pages/15 minute talks) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the program committee. Papers must use the LNCS style and be put in PDF format in anticipation that we will publish accepted papers (includi= ng regular papers and short papers) in a formal proceedings. Papers should be submitted through the following link: http://www.easychair.org/conferences/?conf=3Dnfm2012 ------------------------------------------------------- Program Chairs: ------------------------------------------------------- Alwyn Goodloe, NASA Langley Research Center Suzette Person, NASA Langley Research Center ------------------------------------------------------- Steering Committee: ------------------------------------------------------- Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Dimitra Giannakopoulou, NASA Ames Research Center Klaus Havelund, NASA/Jet Propulsion Laboratory Gerard Holzmann, NASA/Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center James Rash, NASA Goddard Kristin V. Rozier, NASA Ames Research Center ------------------------------------------------------- Important Dates: ------------------------------------------------------- Submission: 11 December 2011 Notification: 21 January 2012 Final Version: 4 February 2012 Conference: 3 - 5 April 2012 ------------------------------------------------------- Location and Cost: ------------------------------------------------------- The symposium will take place at the Norfolk Waterside Marriott in Norfolk, Virginia, USA. April 3-5, 2012. There will not be a registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. --_000_D2852AE6C0FA2F40B650C08EF356AC75F60D72CE3FNDMSSCC05ndcn_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

NFM 2012 FIRST C= ALL FOR PAPERS

 

Fourth NASA Formal Methods Symposium

 

Norfolk, Virginia, = USA

April 3 - 5, 2012

 

http://shemesh.l= arc.nasa.gov/nfm2012/

 <= /p>

nasa-nfm2012@mail.nasa.gov

 

--------------------= ------------------------------

Theme of = Conference:

----------------------------= ----------------------

 =

The NASA Formal Methods Symposium is a forum for t= heoreticians and

practitioners from acad= emia, industry, and government, with the goals of

identifying challenges and providing solutions to achieving assur= ance

in mission- and safety-critical sys= tems. Within NASA, for example, such

sy= stems include autonomous robots, separation assurance algorithms for

aircraft, Next Generation Air Transportation (= NextGen), and autonomous

rendezvous and= docking for spacecraft. Moreover, emerging paradigms such

<= p class=3DMsoNormal>as code generation and safety cases are bringing with t= hem new challenges

and opportunities. T= he focus of the symposium will be on formal

techniques, their theory, current capabilities, and limitations, as

well as their application to aerospace, rob= otics, and other

safety-critical systems= .

 

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

Topics of Interest:

----= ----------------------------------------------

* Formal verification, including theorem proving, model checking,

  and static analysis

<= p class=3DMsoNormal>* Automated test generation and testing techniques for = safety-critical systems

* Model-based de= velopment

* Techniques and algorithms fo= r scaling formal methods, such as abstraction

  and symbolic methods, compositional techniques, as well as par= allel and

  distributed techniques<= o:p>

* Monitoring and runtime verification

* Code generation from formally verified m= odels

* Significant applications of form= al methods to aerospace systems

* Modeli= ng and verification aspects of cyber-physical systems

* Safety cases

* Accident/= safety analysis

* Formal approaches to f= ault tolerance

* Theoretical advances an= d empirical evaluations of formal methods

* Techniques for safety-critical systems, including hybrid and embedded s= ystems

* Formal methods in systems engin= eering

 

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

<= p class=3DMsoNormal>Submissions:

-------= -------------------------------------------

 

There are two categories of s= ubmissions:

 

* Regular papers describing fully developed work and complete=

results (15 pages/30 minute talks)=

* Short papers describing tools, experience = reports, or descriptions of work

in pro= gress or?preliminary results (6 pages/15 minute talks)

All papers should be in English and describe original work t= hat has not been

published or submitted= elsewhere. All submissions will be fully reviewed by

members of the program committee. Papers must use the LNCS s= tyle and be put

in PDF format in antici= pation that we will publish accepted papers (including

regular papers and short papers) in a formal proceedings. Pa= pers should be

submitted through the fo= llowing link:

http://www.easychair.org/= conferences/?conf=3Dnfm2012

 =

--------------------------------------------= -----------

Program Chairs:

----------------------------------------------------= ---

Alwyn Goodloe, NASA Langley Research= Center

Suzette Person, NASA Langley Res= earch Center

 

-------------------------------------------------------=

Steering Committee:

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

Ewen Denney, NASA Ames Research Center

Ben Di Vito, NASA Langley Research Center<= /o:p>

Dimitra Giannakopoulou, NASA Ames Research Ce= nter

Klaus Havelund, NASA/Jet Propulsion= Laboratory

Gerard Holzmann, NASA/Jet Pr= opulsion Laboratory

Cesar Munoz, NASA La= ngley Research Center

Corina Pasareanu, = NASA Ames Research Center

James Rash, NA= SA Goddard

Kristin V. Rozier, NASA Ames = Research Center

 

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

Important Dates:

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

Submission: 11 December 2011

Notification: 21 January 2012

Final Version: 4 February 2012

C= onference: 3 - 5 April 2012

 <= /o:p>

---------------------------------------------= ----------

Location and Cost:=

--------------------------------------------------= -----

 

The symposium will take place at the Norfolk Waterside Marriott

in Norfolk, Virginia, USA. April 3-5, 2012= . There will not be a

registration fee = charged to participants. All interested individuals,

including non-US citizens, are welcome to attend, to listen t= o the talks,

and to participate in disc= ussions; however, all attendees must register.

<= /html>= --_000_D2852AE6C0FA2F40B650C08EF356AC75F60D72CE3FNDMSSCC05ndcn_--