posted by organizer: havelund || 10317 views || tracked by 37 users: [display]

NFM 2015 : NASA Formal Methods Symposium 2015

FacebookTwitterLinkedInGoogle


Conference Series : NASA Formal Methods
 
Link: http://www.NASAFormalMethods.org/nfm2015
 
When Apr 27, 2015 - Apr 29, 2015
Where Pasadena, California, USA
Submission Deadline Nov 10, 2014
Notification Due Jan 12, 2015
Final Version Due Feb 9, 2015
Categories    computer science   formal methods   software   reliability
 

Call For Papers

CALL FOR PAPERS

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 - 29 April 2015
Pasadena, California, USA


THEME

The widespread use and increasing complexity of mission- and safety-critical systems require advanced
techniques that address their specification, verification, validation, and certification. 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 for example 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 mission- and safety-critical
systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal
verification techniques with advances in critical system development, such as requirements generation, analysis of
aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout
system development.


TOPICS

Topics of interest include, but are not limited to:

* Model checking
* Theorem proving
* SAT and SMT solving
* Symbolic execution
* Static analysis
* Runtime verification
* Program refinement
* Compositional verification
* Modeling and specification formalisms
* Model-based development
* Model-based testing
* Requirement engineering
* Formal approaches to fault tolerance
* Security and intrusion detection
* Applications of formal methods to aerospace systems
* Applications of formal methods to cyber-physical systems
* Applications of formal methods to human-machine interaction analysis


IMPORTANT DATES

Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium: 27 - 29 April 2015


LOCATION AND COST

The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome
to submit, 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.


PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory


PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universit‰t Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, UniversitÈ Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK

STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley 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
Suzette Person, NASA Langley Research Center
Kristin Yvonne Rozier, NASA Ames Research Center

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
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