The Nineteenth NASA Formal Methods Symposium

May 11-13 2027 
University of Houston Clear Lake, Houston, Texas, USA

Call for Papers

NFM 2027 is currently accepting submissions in several categories. Regular papers may present fully developed research and complete results, while short-paper categories include papers describing novel publicly available tools and case studies documenting applications of formal methods to real systems with publicly available artifacts.
Important submission dates include:

Securing the 2026 FIFA World Cup required coordinating an enormous network of people, technologies, facilities, and public-safety organizations across multiple cities and jurisdictions. The U.S. Department of Homeland Security's Science and Technology Directorate (DHS S&T) supported that effort by helping security personnel evaluate and employ technologies designed to protect spectators, venues, and surrounding communities during one of the world's largest sporting events.

The National Security Agency (NSA), Federal Bureau of Investigation (FBI), and partner organizations have released new joint cybersecurity guidance to help network defenders identify and protect against Gunra ransomware, an emerging ransomware-as-a-service operation targeting organizations across the United States and around the world.

Scientific research and technological innovation are becoming increasingly central to national security strategy. That was the key message delivered by Professor Danielle George CBE, the United Kingdom's Chief Scientific Adviser for National Security, during the 2026 Prince Philip Lecture hosted by the Royal United Services Institute (RUSI).

The University of Texas at San Antonio (UT San Antonio) has once again been recognized as a national leader in cybersecurity after receiving the National Security Agency's (NSA) designation as a National Center of Academic Excellence in Cyber Research (CAE-R) for its doctoral programs. The designation acknowledges universities that demonstrate outstanding cybersecurity research while preparing the next generation of cybersecurity professionals.

Applications are now open for the 2026 Marktoberdorf Summer School, a premier international program focused on engineering secure and dependable software systems.

Organized by fortiss and the Department of Informatics at Technische Universität München, and led by Peter Müller (ETH Zurich) and Alexander Pretschner (TU München, fortiss, bidt), the program brings together leading researchers and students to explore state-of-the-art approaches to building software systems that are both safe and secure.