Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST)


  • Subject: [Frama-c-discuss] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST)
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
  • Date: Tue, 06 Dec 2011 20:44:36 +0100


The paper submission deadline for the 2012 NASA Formal Methods Symposium
has been extended to December 18, 2011 (11:59pm Eastern Standard Time).

**Note** The paper title and abstract are still due December 11, 2011
(11:59pm Eastern Standard Time) .

NFM 2012 PAPER SUBMISSION DEADLINE EXTENDED

Fourth NASA Formal Methods Symposium

Norfolk, Virginia, USA

April 3 - 5, 2012

http://shemesh.larc.nasa.gov/nfm2012/

nasa-nfm2012 at mail.nasa.gov <mailto:nasa-nfm2012 at 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
systems

* 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
systems

* 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
(including

regular papers and short papers) in a formal proceedings. Papers should be

submitted through the following link:

http://www.easychair.org/conferences/?conf=nfm2012

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

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.