13th NASA Formal Methods Symposium (NFM 2021)


                         13th NASA Formal Methods Symposium (NFM 2021) 


The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, comprised of researchers spanning six NASA Centers.  NFM2021 is being organized by the NASA Langley Formal Methods Team, with help and support from the NASA Aeronautics Research Institute (NARI).

The focus of the 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. The meeting will be comprised of invited talks by leading researchers and practitioners, and more specialized talks based on contributed papers.

In addition, this year, the 6th Workshop on Formal Integrated Development Environment (F-IDE 2021) will be co-located with NFM. F-IDE is a workshop focused on the presentation of novel tools, methods, techniques and case studies on verification and validation of a system design.

This virtual event will be held May 24 – 28, 2021. The main event NFM2021 will run May 26-28, 2021, and the co-located workshop F-IDE will take place on May 24-25, 2021.

Please use the registration form below for this FREE event.

For agendas, papers, and all meeting information, visit:

-        NFM 2021: https://shemesh.larc.nasa.gov/nfm2021/ 

-        F-IDE 2021: https://cister-labs.pt/f-ide2021/




to top