[FM-India] Second Call for Papers: NFM 2014
Madhavan Mukund
madhavan at cmi.ac.in
Tue Sep 10 20:41:58 IST 2013
From: Kristin Yvonne Rozier <Kristin.Y.Rozier at nasa.gov>
Date: Mon, 9 Sep 2013 14:49:55 -0700
Subject: [fm-announcements] Second Call for Papers: NFM 2014
**************************************************
The Sixth NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/
29 April - 1 May 2014
NASA Johnson Space Center, Houston, Texas, USA
**************************************************
Theme of the Symposium:
-----------------------
The widespread use and increasing complexity of mission- and
safety-critical systems require advanced techniques that address their
specification, verification, validation, and certification requirements.
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 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
property-based design, 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 in all design life-cycle stages. We
encourage submissions on cross-cutting approaches marrying formal
verification techniques with advances in safety-critical system
development, such as requirements generation, analysis of aerospace
operational concepts, and formal methods integrated in early design
stages carrying throughout system development.
Topics of Interest:
-------------------
* Model checking
* Theorem proving
* Static analysis
* Model-based development
* Runtime monitoring
* Formal approaches to fault tolerance
* Applications of formal methods to aerospace systems
* Formal analysis of cyber-physical systems, including hybrid and
embedded systems
* Formal methods in systems engineering, modeling, requirements,
and specifications
* Requirements generation, specification debugging, formal
validation of specifications
* Use of formal methods in safety cases
* Use of formal methods in human-machine interaction analysis
* Formal methods for parallel hardware implementations
* Use of formal methods in automated software engineering and testing
* Correct-by-design, design for verification, and property-based
design techniques
* Techniques and algorithms for scaling formal methods; e.g.
abstraction and symbolic methods, compositional techniques,
parallel and distributed techniques
* Application of formal methods to emerging technologies
Important Dates:
----------------
Abstract Submission: 14 Nov 2013
Paper Submission: 21 Nov 2013
Paper Notifications: 14 Jan 2014
Camera-ready Papers: 11 Feb 2014
Symposium: 29 April - 1 May 2014
Location & Cost:
----------------
The symposium will take place at the Gilruth Center, NASA Johnson Space
Center, Houston, Texas, USA, 29 April to 1 May 2013.
There will be no registration fee for 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.
Submission Details:
-------------------
There are two categories of submissions:
1. Regular papers describing fully developed work and complete
results (15 pages)
2. Short papers describing tools, experience reports, or
descriptions of work in progress with preliminary results (6 pages)
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 Programme Committee. Papers will appear in a
volume of Springer's Lecture Notes on Computer Science (LNCS), and must
use LNCS style formatting. Papers should be submitted in PDF format.
Keynote Speakers:
-----------------
* Larry Paulson, University of Cambridge, UK
* Moshe Y. Vardi, Rice University, USA
* Special Guest Talk: "NASA Future Challenges in Formal Methods"
Organizers:
-----------
Mike Hinchey (General Chair)
Julia Badger (PC Chair)
Kristin Yvonne Rozier (PC Chair)
Program Committee:
------------------
Domagoj Babic, Google Research, USA
Calin Belta, Boston University, USA
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Jonathan P. Bowen, Museophile Limited, UK
Guillaume Brat, CMU/NASA Ames Research Center, USA
Gianfranco Ciardo, Iowa State University, USA
Frederic Dadeau, FEMTO-ST/INRIA, France
Ewen Denney, SGT/NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
James Disbrow, NASA Dryden Flight Research Center, USA
Steven Drager, Air Force Research Laboratory, USA
Alexandre Duret-Lutz, LRDE/EPITA, France
Cindy Eisner, IBM Research-Haifa, Israel
Éric Féron, Georgia Institute of Technology, USA
Shalini Ghosh, SRI, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Arie Gurfinkel, Carnegie Mellon University Software Engineering Institute, USA
John Harrison, Intel Corporation, USA
Klaus Havelund, NASA/Jet Propulsion Laboratory, USA
Connie Heitmeyer, Naval Research Laboratory, USA
Gerard Holzmann, NASA/Jet Propulsion Laboratory, USA
Hadas Kress-Gazit, Cornell University, USA
Joe Leslie-Hurd, Intel Corporation, USA
David R. Lester, University of Manchester, UK
Kenneth McMillan, Microsoft Research, USA
Steven Miller, Rockwell Collins, USA
Sheena Judson Miller, Barrios Technology/NASA Johnson Space Center, USA
Cesar Munoz, NASA Langley Research Center, USA
Suzette Person, NASA Langley Research Center, USA
Lee Pike, Galois, Inc., USA
André Platzer, Carnegie Mellon University, USA
Neha Rungta, NASA Ames Research Center, USA
Johann Schumann, SGT/NASA Ames Research Center, USA
Cristina Seceleanu, Mälardalen University, Sweden
Sandeep K. Shukla, Virginia Tech, USA
Radu Siminiceanu, National Institute of Aerospace/NASA Langley Research Center, USA
Oksana Tkachuk, NASA Ames Research Center, USA
Stefano Tonetta, FBK-irst, Italy
Helmut Veith, Vienna University of Technology, Austria
Arnaud Venet, CMU/NASA Ames Research Center, USA
Mike Whalen, University of Minnesota Software Engineering Center, USA
Nok Wongpiromsarn, Singapore-MIT Alliance for Research and Technology, Singapore
Karen Yorav, IBM Haifa Research Lab, Israel
Steering Committee:
-------------------
Ewen Denney, SGT/NASA Ames
Ben Di Vito, NASA Langley
Klaus Havelund, NASA/JPL
Gerard Holzmann, NASA/JPL
Cesar Munoz, NASA Langley
Corina Pasareanu, CMU/NASA Ames
Suzette Person, NASA Langley
Kristin Y. Rozier, NASA Ames
--
____________________________________________________________
__
/\ \ \_____
/ \ ###[==_____>
/ \ /_/ __
/ __ \ \ \_____
| ( ) | ###[==_____>
/| /\/\ |\ /_/
/ | | | | \
/ |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
/ | | | | \ Research Computer Scientist
/ USA | ~||~ |NASA \ NASA Ames Research Center
|______| ~~ |______| Phone: (650) 604-3197
(__||__) Fax: (650) 604-3594
/_\ /_\
!!! !!! http://ti.arc.nasa.gov/profile/kyrozier/
Any opinions expressed in this email are my own.
---
To opt-out from this mailing list, send an email to
fm-announcements-request at lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make
the request by contacting
fm-announcements-owner at lists.nasa.gov
More information about the FMIndia
mailing list