NASA Formal Methods Symposium (NFM) 2026

About this event

The 18th NASA Formal Methods Symposium (NFM 2026) is a conference focused on formal techniques for software and system assurance for mission-critical and safety-critical systems relevant to NASA and the aerospace industry. It serves as a forum for collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry. The symposium emphasizes specification, design, verification, validation, and certification of critical systems across domains such as space, aviation, robotics, autonomous systems, and cyber-physical systems. Topics include core formal methods (theorem proving, SAT/SMT, model checking, static analysis), integration of formal methods with software engineering and AI/LLM-based approaches, and practical experience reports and applications.