NFM: NASA Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2027 or later

 
 

All CFPs on WikiCFP

Event When Where Deadline
NFM 2026 NASA Formal Methods: 18th International Symposium
May 5, 2026 - May 7, 2026 Los Angeles, CA Jan 10, 2026
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 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 : 2026

NFM'26: Call for Papers

18th NASA Formal Methods Symposium (NFM’26)
5-7 May 2026
Los Angeles, CA

https://nfm2026.github.io

--- Symposium Theme ---

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. 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 critical systems.

--- Topics of Interest ---

Core Formal Methods – Formal verification techniques like interactive and automated theorem proving, SAT/SMT solvers, model checking, and static analysis; logic-based specification formalisms; program and specification synthesis, code transformation and generation; runtime verification and test case generation; scenario-based testing; probabilistic/statistical methods; techniques and algorithms for scaling formal methods; design for verification and correct-by-design techniques; requirements generation, specification, and validation.

Integration of Formal Methods – Integration of formal methods and software engineering; integration of diverse formal methods techniques; integration of formal methods with simulation, analysis, and test approaches; integration of learning-based techniques with formal methods; use of AI models (e.g., LLMs) in formal methods pipelines, and other neuro-symbolic methods.

Formal Methods in Practice – Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal methods to concurrent, distributed, and fault-tolerant systems, human-machine systems, autonomous systems, cyber-physical systems, fault-detection, diagnostics, and prognostics systems; formal reasoning about real-time systems, scheduling, and planning; and formal reasoning about artifacts generated by AI-based language models (such as LLMs, vision-language-action models, etc.).

--- NASA OPEN SOURCE SOFTWARE ---

Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to, and applications of Formal Methods, are invited to visit the open source repositories for the following two frameworks for programming flight software:

- F' (https://nasa.github.io/fprime)
- cFS (https://cfs.gsfc.nasa.gov)

--- Submission ---

There are two categories of submissions:

Regular papers – Up to 18 pages plus references. Regular papers describe fully developed work and complete results.

Short papers — Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or 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. Authors of accepted papers must present their work in person at the conference.

Policy on the use of Gen AI: We understand the convenience afforded by the use of generative AI-based large language models to produce text in the submitted manuscript. However, we strongly encourage the authors to check the generated text for factual errors and inconsistencies. We encourage the authors to adopt appropriate standards for citing products obtained using generative AI (such as text, tables, graphics). Use of AI-based coding assistants is permitted, and we encourage authors to disclose the use of such tools as the community may find this scientifically interesting.

All submissions will be fully reviewed by members of the Program Committee. NFM is currently arranging to publish accepted regular and short papers in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS). Authors should therefore use the LNCS style formatting described at  https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Papers must be submitted in PDF format through the Openreview submission site here: https://openreview.net/group?id=NFM/2026/Symposium. Detailed instructions on submitting papers through the Openreview submission system can be found on the NFM 2026 website.

--- Important Dates ---

Paper submission January 10, 2026
Author notification March 10, 2026
Camera-ready deadline March 30, 2026
Symposium May 5-7, 2026

--- Location ---

The symposium will be organized jointly by NASA Jet Propulsion Laboratory (JPL) and the Thomas Lord Department of Computer Science at the University of Southern California (USC). The symposium will be held on the campus of USC, which is around 3 miles south of downtown Los Angeles. USC is the largest private university in southern California, and is well-connected to the rest of the city by LA Metro. It is also close to a number of museums.

--- Cost ---

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

Related Resources

FM 2026   International Symposium on Formal Methods
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
IOTSEC 2025   2nd International Conference on IoT & Information Security
IJSEA 2025   International Journal of Software Engineering & Applications - ERA Indexed, H Index 35
FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
iFM 2025   20th International Conference on Integrated Formal Methods
EUMAS 2025   The 22nd European Conference on Multi-Agent Systems
IJSC 2025   International Journal on Soft Computing
CCSITA 2025   3rd International Conference on Computer Science and Information Technology Advances
AREA 2025   Fifth International Workshop on Agents and Robots for reliable Engineered Autonomy