NASA Formal Methods Symposium 2025

Description

Highlights

Focused on formal techniques for software and system assurance in space, aviation, robotics, and other critical systems. Organized by the Formal Methods Team at NASA Langley Research Center. Aims to foster collaboration between theoreticians and practitioners from NASA, government agencies, academia, and industry. Addresses specification, design, verification, validation, and certification of mission-critical and safety-critical systems. Includes presentations, tool demonstrations, and poster sessions. Papers will be published in Springer’s Lecture Notes in Computer Science (LNCS). Submissions include regular papers, short papers, tool papers, and case studies. Hybrid conference format allowing both in-person and remote participation. No registration fee for attendees, but registration is required. Covers emerging topics such as safety assurance of machine learning enabled autonomous systems.