NFM: NASA Formal Methods



Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
NFM 2024 NASA Formal Methods Symposium
Jun 4, 2024 - Jun 6, 2024 Moffett Field, California, USA Dec 8, 2023 (Dec 1, 2023)
NFM 2023 NASA Formal Methods Symposium
May 16, 2023 - May 18, 2023 Houston, Texas, United States Dec 16, 2022 (Dec 9, 2022)
NFM 2022 NASA Formal Methods 2022
May 24, 2022 - May 27, 2022 Pasadena, California, USA Jan 10, 2022
NFM 2021 13th NASA Formal Methods Symposium
May 24, 2021 - May 28, 2021 Norfolk, Virginia, USA Dec 4, 2020 (Nov 27, 2020)
NFM 2020 12th NASA Formal Methods Symposium
May 11, 2020 - May 15, 2020 Moffett Field, CA, USA Dec 19, 2019 (Dec 12, 2019)
NFM 2017 The 9th NASA Formal Methods Symposium
May 16, 2017 - May 18, 2017 NASA Ames Research Center, Moffett Field Dec 5, 2016 (Nov 28, 2016)
NFM 2016 NASA Formal Methods Symposium
Jun 7, 2016 - Jun 9, 2016 Mineapolis, MN, USA Feb 19, 2016
NFM 2015 NASA Formal Methods Symposium 2015
Apr 27, 2015 - Apr 29, 2015 Pasadena, California, USA Nov 10, 2014
NFM 2013 5th NASA Formal Methods Symposium
May 14, 2013 - May 16, 2013 Moffett Field, CA, USA Dec 16, 2012 (Dec 7, 2012)
NFM 2012 Fourth NASA Formal Methods Symposium
Apr 3, 2012 - Apr 5, 2012 Norfolk, Virginia, USA Dec 11, 2011
NFM 2011 Third NASA Formal Methods Symposium
Apr 18, 2011 - Apr 20, 2011 Pasadena, California, USA Dec 26, 2010
NFM 2010 Second NASA Formal Methods Symposium
Apr 13, 2010 - Apr 15, 2010 Washington DC Jan 8, 2010

Present CFP : 2024

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

The 16th NASA Formal Methods Symposium (NFM 2024)

June 4-6, 2024
Moffett Field, California

Important Dates:

Abstract submission: December 1, 2023
Full paper submission: December 8, 2023
Notification: February 16, 2024
Camera-ready version: March 15, 2024

Theme of the Symposium:

The widespread use and increasing complexity of mission-critical and
safety-critical systems at NASA and in the aerospace industry requires advanced
technologies to address their specification, design, verification, validation,
and certification processes. For example, there is an increasing need for
autonomous systems in deep space missions including NASA’s Moon to Mars
exploration plans. The NASA Formal Methods Symposium is a forum to foster
collaboration between theoreticians and practitioners from NASA, other
government agencies, academia, and industry, with the goal of identifying
challenges and providing solutions towards achieving assurance for such
critical systems. The focus of this symposium is on formal techniques for
software and system assurance for applications in space, aviation, robotics,
and other NASA-relevant safety-critical systems. This year’s symposium extends
the focus to safety assurance of machine learning enabled autonomous systems,
formal methods for digital transformation, and accessibility for new

Topics of Interest:

Advances in Formal Methods
* Formal verification, model checking, and static analysis
* Interactive and automated theorem proving
* Program and specification synthesis, code transformation and generation
* Run-time verification and test case generation
* Techniques and algorithms for scaling formal methods
* Design for verification and correct-by-design techniques
* Requirements generation, specification, and validation

Integration of Formal Methods
* Use of machine learning techniques in formal methods
* Integration of formal methods and software engineering
* Integration of diverse formal methods techniques
* Combination of formal methods with simulation and analysis techniques

Formal Methods in Practice
* Experience reports of application of formal methods in industry
* Use of formal methods in education
* Applications of formal methods in:
- concurrent and distributed systems
- fault-detection, diagnostics, and prognostics systems
- human-machine interaction analysis

Safety Assurance of Autonomous Systems
* Verification of machine learning (ML) enabled systems
* Runtime monitoring or model checking to ensure safe operation
* Formal specifications and modeling of ML enabled systems
* Case-studies/experience reports exploring the application of formal methods
in autonomous safety-critical, cyber-physical and hybrid systems
* Using formal evidence for certification of ML enabled systems

Formal Methods for Digital Transformation
* Applications related to Digital Twin & Digital Thread
* Verification for integrated design and manufacturing
* AI digital assistants for system design
* Runtime monitoring for Smart Campus & Smart Cities

Accessibility of Formal Methods for New Industries
* "New Space" markets
* Advanced Air Mobility and Startup Aviation
* Formal Methods as a Service


There are two categories of submissions:
* Regular Papers (15 pages including references), describing fully developed
work and complete results
* Short Papers (6 pages including references), in one of the categories below:
- Tool papers describing novel and publicly available tools
- Case studies detailing applications of formal methods
- New emerging ideas in the topics of interest

All papers should be in English and describe original work that has not been
published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of
accepted papers are encouraged to present their work in person at the

There will be a tool demonstration session at the conference, where tool
developers get to showcase their tools interactively with the attendees. All
tool papers, under the short papers category, are required to participate in
the tool demonstration session. Authors of regular papers are also welcome to
participate in the tool demonstration session to showcase their application.

All submitters who are interested in participating in the tool demonstration
session must include an additional appendix (maximum 4 pages and will not
appear in the proceedings) containing the description of the proposed demo and
the URL to a screencast demonstrating the tool. Authors of all accepted papers
additionally have an opportunity to present a poster.

All submissions will be fully reviewed by members of the Program Committee.
Accepted regular and short papers will be published in the Formal Methods
subline of Springer’s Lecture Notes in Computer Science (LNCS) and must use
LNCS style formatting described on
Papers must be submitted in PDF format at the EasyChair submission site,

Location and Cost:

The symposium will take place at the NASA Ames Conference Center,
Moffett Field, California, USA.

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.

Nathan Benz
Divya Gopinath
Nija Shi

NFM '24 Chairs

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ECAI 2024   27th European Conference on Artificial Intelligence
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AIM@EPIA 2024   Artificial Intelligence in Medicine
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
ICMLA 2024   23rd International Conference on Machine Learning and Applications
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
ICDM 2024   IEEE International Conference on Data Mining
TAP 2024   18th International Conference on Tests and Proofs
SOFTFM 2024   3rd International Conference on Software Engineering Advances and Formal Methods