4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/US
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. 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 industries. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendee.
There are two categories of submissions: Regular Papers (15 pages including references), describing fully developed work and complete results, and 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 conference.