11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)
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
* Advances in Formal Methods
* Integration of Formal Methods
* Formal Methods in Practice
There are two categories of submissions:
* Regular papers - Up to 15 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 should use LNCS style formatting. Authors of accepted papers must present their work in person at the conference.