NASA Formal Methods Symposium 2027
Date: May 11, 2027 – May 13, 2027
Location: University of Houston, Clear Lake, Houston, Texas, USA
The 19th NASA Formal Methods Symposium (NFM 2027) will be held May 11–13, 2027, at the University of Houston-Clear Lake in Houston, Texas. The annual symposium brings together researchers and practitioners from NASA, academia, industry, and the broader formal methods community to address challenges associated with assuring increasingly complex mission- and safety-critical systems.
As aerospace and other critical systems become more autonomous, interconnected, and software-intensive, their specification, design, verification, validation, and certification present significant engineering challenges. NFM provides a forum for exploring formal techniques and other rigorous approaches that can help establish confidence in these systems throughout the software lifecycle.
NFM 2027 will place particular emphasis on emerging applications that create new assurance challenges, including autonomous software for uncrewed deep-space habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and system-wide approaches to fault detection, diagnosis, and prognostics.
The symposium welcomes research spanning formal verification, theorem proving, model checking, static analysis, automated reasoning, software and system testing, runtime verification, fault tolerance, system safety, model-based development, correct-by-design controller synthesis, and assurance methods for adaptive systems. Of particular interest are cross-cutting approaches that combine formal methods with areas such as machine learning, probabilistic reasoning, control theory, robotics, and quantum computing.
These areas have strong connections to systems-of-systems research, where assurance can require reasoning not only about individual components but also about interactions among distributed, independently developed, adaptive, and autonomous systems. Topics such as compositional verification, distributed techniques, fault tolerance, system safety, and scalable formal methods are especially relevant as the complexity and interdependence of engineered systems continue to increase.
Call for Papers
NFM 2027 is currently accepting submissions in several categories. Regular papers may present fully developed research and complete results, while short-paper categories include papers describing novel publicly available tools and case studies documenting applications of formal methods to real systems with publicly available artifacts.
Important submission dates include:
Abstract submission deadline: January 4, 2027
Paper submission deadline: January 11, 2027
Author notification: February 26, 2027
Symposium: May 11–13, 2027
Accepted papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS).
There is no registration fee to attend NFM 2027. The symposium is open to interested participants, including non-U.S. citizens, although registration is required.
Event: 19th NASA Formal Methods Symposium (NFM 2027)
Dates: May 11–13, 2027
Location: University of Houston-Clear Lake, Houston, Texas
Abstract Deadline: January 4, 2027
Paper Deadline: January 11, 2027
Additional information about NFM 2027, including the Call for Papers, submission requirements, committees, and future program updates, is available on the official symposium website: https://conf.researchr.org/home/nfm-2027
Submitted by Regan Williams
on
The 19th NASA Formal Methods Symposium (NFM 2027) will be held May 11–13, 2027, at the University of Houston-Clear Lake in Houston, Texas. The annual symposium brings together researchers and practitioners from NASA, academia, industry, and the broader formal methods community to address challenges associated with assuring increasingly complex mission- and safety-critical systems.
As aerospace and other critical systems become more autonomous, interconnected, and software-intensive, their specification, design, verification, validation, and certification present significant engineering challenges. NFM provides a forum for exploring formal techniques and other rigorous approaches that can help establish confidence in these systems throughout the software lifecycle.
NFM 2027 will place particular emphasis on emerging applications that create new assurance challenges, including autonomous software for uncrewed deep-space habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and system-wide approaches to fault detection, diagnosis, and prognostics.
The symposium welcomes research spanning formal verification, theorem proving, model checking, static analysis, automated reasoning, software and system testing, runtime verification, fault tolerance, system safety, model-based development, correct-by-design controller synthesis, and assurance methods for adaptive systems. Of particular interest are cross-cutting approaches that combine formal methods with areas such as machine learning, probabilistic reasoning, control theory, robotics, and quantum computing.
These areas have strong connections to systems-of-systems research, where assurance can require reasoning not only about individual components but also about interactions among distributed, independently developed, adaptive, and autonomous systems. Topics such as compositional verification, distributed techniques, fault tolerance, system safety, and scalable formal methods are especially relevant as the complexity and interdependence of engineered systems continue to increase.
Call for Papers
NFM 2027 is currently accepting submissions in several categories. Regular papers may present fully developed research and complete results, while short-paper categories include papers describing novel publicly available tools and case studies documenting applications of formal methods to real systems with publicly available artifacts.
Important submission dates include:
Abstract submission deadline: January 4, 2027
Paper submission deadline: January 11, 2027
Author notification: February 26, 2027
Symposium: May 11–13, 2027
Accepted papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS).
There is no registration fee to attend NFM 2027. The symposium is open to interested participants, including non-U.S. citizens, although registration is required.
Event: 19th NASA Formal Methods Symposium (NFM 2027)
Dates: May 11–13, 2027
Location: University of Houston-Clear Lake, Houston, Texas
Abstract Deadline: January 4, 2027
Paper Deadline: January 11, 2027
Additional information about NFM 2027, including the Call for Papers, submission requirements, committees, and future program updates, is available on the official symposium website: https://conf.researchr.org/home/nfm-2027