16 - 18 May 2023, 15th NASA Formal Methods Symposium (NFM 2023), Houston TX, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
There are two categories of submissions sollicited: Regular papers describing fully developed work and complete results (15 pages + references), and Short papers: (6 pages + references), either (a) Tool Papers describing novel, publicly-available tools, or (b) Case Studies detailing complete applications of formal methods to real systems with publicly-available artifacts. All papers should be in English and describe original work that has not been published or submitted elsewhere. We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.