posted by user: vates || 3070 views || tracked by 6 users: [display]

NFM 2010 : Second NASA Formal Methods Symposium

FacebookTwitterLinkedInGoogle


Conference Series : NASA Formal Methods
 
Link: http://shemesh.larc.nasa.gov/NFM2010/submit.html
 
When Apr 13, 2010 - Apr 15, 2010
Where Washington DC
Submission Deadline Jan 8, 2010
Notification Due Feb 26, 2010
Final Version Due Mar 19, 2010
 

Call For Papers

--------------------------------------------------
CALL FOR PAPERS: 2nd NASA Formal Methods Symposium
--------------------------------------------------

The NASA Formal Methods community invites you to submit a paper to:

The Second NASA Formal Methods Symposium (NFM 2010)
http://shemesh.larc.nasa.gov/NFM2010

April 13-15, 2010
Washington D.C.

--------------------------------------------------
Important Dates:
--------------------------------------------------

Submission (abstract): January 8, 2010
Submission (final): January 15, 2010
Notification: February 26, 2010
Final version: March 19, 2010

--------------------------------------------------
Theme of Conference:
--------------------------------------------------

The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia and industry, with the goals of
identifying challenges and providing solutions to achieving assurance
in safety-critical systems. Within NASA, for example, such systems
include autonomous robots, separation assurance algorithms for
aircraft, 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. The symposium aims to introduce researchers,
graduate students, and partners in industry to those topics that are
of interest, to survey current research, and to identify unsolved
problems and directions for future research.

The meeting will consist of invited talks by leading researchers
and practitioners, a panel discussion on the current status of formal
methods, and more specialized talks based on contributed papers.

NFM 2010 is the second edition of the NASA Formal Methods Symposium,
which started in 2009 and was organized by NASA Ames Research Center
in Moffet Field, California. The symposium originated from the earlier
Langley Formal Methods Workshop series and aims to foster
collaboration between NASA researchers and engineers, as well as the
wider aerospace, safety-critical, and formal methods communities.

--------------------------------------------------
Topics of Interest:
--------------------------------------------------

* Formal verification, including theorem proving, model checking,
and static analysis
* Automated test generation and formal testing of 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 run-time verification
* Code generation from formally verified models
* 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

--------------------------------------------------
Program Committee:
--------------------------------------------------

Gilles Barthe (IMDEA)
Jonathan Bowen (London South Bank University)
Ricky Butler (NASA)
Charles Consel (INRIA)
Ewen Denney (NASA)
Ben Di Vito (NASA)
Jin Song Dong (U. of Singapore)
Gilles Dowek (Ecole Polytechnique, France)
Matt Dwyer (U. Nebraska)
Dimitra Giannakopoulou (NASA)
Klaus Havelund (JPL)
Mats Heimdahl (U. Minnesota)
Gerard Holzmann (JPL)
Mike Lowry (NASA)
Josh McNeil (US Army)
John Matthews (Galois Inc.)
Natasha Neogi (UIUC)
Corina Pasareanu (NASA)
Charles Pecheur (U. de Louvain)
John Penix (Google)
Jim Rash (NASA)
Chris Rouff (Lockheed Martin)
Kristin Rozier (NASA)
Wolfram Schulte (Microsoft)
Koushik Sen (UC Berkeley)
Natarajan Shankar (SRI)
Radu Siminiceanu (NIA)
Doug Smith (Kestrel Institute)
Luis Trevino (Draper Lab)
Caroline Wang (NASA)
Mike Whalen (Rockwell Collins)
Virginie Wiels (ONERA)

--------------------------------------------------
Submissions:
--------------------------------------------------

There are two categories of submissions, to be formatted in the
EasyChair class style (http://www.easychair.org/coolnews.cgi):

* Regular papers describing fully developed work and complete
results (10 pages / 30 minute talks)
* Short papers describing interesting work in progress and/or
preliminary results (5 pages / 15 minute talks)

All papers should describe original work that has not been published
elsewhere. Submissions will be fully reviewed and the symposium
proceedings will appear as a NASA Conference Publication. Authors of
selected papers will then be invited to submit extended versions to a
special issue of "Innovations in Systems and Software Engineering: a
NASA Journal" (Springer).

Papers should be submitted through the following link:
http://www.easychair.org/conferences/?conf=nfm2010

--------------------------------------------------
Location and Cost:
--------------------------------------------------

The symposium will take place in the Washington D.C. area.

There will be no registration fee charged to participants. All
interested individuals, including non-US citizens, are welcome to
attend, listen to the talks, and participate in discussions. However,
all attendees must register.

Please visit the NFM 2010 web site for further information:

http://shemesh.larc.nasa.gov/NFM2010/
nfm2010@lists.nasa.gov

Mike Hinchey
NFM 2010 Conference Chair

Cesar A. Munoz
NFM 2010 Program Chair

Related Resources

FM 2024   Formal Methods
ICFEM 2024   International Conference on Formal Engineering Methods
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture
TAP 2024   18th International Conference on Tests and Proofs
SOEN 2024   9th International Conference on Software Engineering
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications