NFM History

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. The symposium originated from the earlier Langley Formal Methods Workshop series.

The 17th NASA Formal Methods Symposium (NFM2025) is organized by the Formal Methods Team at NASA Langley Research Center. It will be held in Hampton Roads, VA, June 11-13, 2025.

• The 16th NASA Formal Methods Symposium (NFM 2024) was held June 6-4, 2024, in Moffett Field, California, and was organized by the Robust Software Engineering group at NASA Ames. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 14627.
• The 15th NASA Formal Methods Symposium (NFM 2023) was held May 16 - 18, 2023, in Houston, Texas, and was organized by NASA Johnson Space Center. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 13903.
• The 14th NASA Formal Methods Symposium (NFM 2022) was held May 24-27, 2022, in Pasadena, California, and was organized by the NASA's Jet Propulsion Laboratory. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 13260.
• The 13th NASA Formal Methods Symposium (NFM 2021) was held virtually May 24-28, 2021, and was organized by the NASA Langley Formal Methods group. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 12673. Selected papers were published in Innovations in Systems and Software Engineering, Selected Extended Papers of NFM 2021, Special Issue, Innovations in Systems and Software Engineering, Vol. 19, Issue 4, Springer, 2023.
• The 12th NASA Formal Methods Symposium (NFM 2020) was held virtually May 11-15, 2020, and was organized by the Robust Software Engineering group at NASA Ames. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 12229.
• The 11th NASA Formal Methods Symposium (NFM 2019) was held May 7 - 9, 2019, in Houston, Texas, and was organized by NASA Johnson Space Center. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 11460.
• The Tenth NASA Formal Methods Symposium (NFM 2018) was held April 17 - 19, 2018, in Newport News, Virginia, and was organized by the NASA Langley Formal Methods group. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 10811. Selected papers were published in Innovations in Systems and Software Engineering, Selected Extended Papers of NFM 2018, Special Issue, Innovations in Systems and Software Engineering, Vol. 15, Issues 3-4, Springer, 2019.
• The Ninth NASA Formal Methods Symposium (NFM 2017) was held May 16 - 18, 2017, in Moffett Field, California, and was organized by the Robust Software Engineering group at NASA Ames. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 10227.
• The Eigth NASA Formal Methods Symposium (NFM 2016) was held at the University of Minnesota, Minneapolis, MN, June 7-9, 2016. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 9690.
• The Seventh NASA Formal Methods Symposium (NFM 2015) was held at NASA's Jet Propulsion Laboratory, Pasadena, California, April 27-29, 2015. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 9058.
• The Sixth NASA Formal Methods Symposium (NFM 2014) was held April 29 - May 1, 2014, in Houston, Texas, and was organized by NASA Johnson Space Center. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 8430.
• The Fifth NASA Formal Methods Symposium (NFM 2013) was held May 14 - 16, 2013, in Moffett Field, California, and was organized by the Robust Software Engineering group at NASA Ames. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 7871.
• The Fourth NASA Formal Methods Symposium (NFM2012) was held April 3 - 5, 2012 in Norfolk, Virginia, and was organized by the NASA Langley Formal Methods group. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 7226.
• The Third NASA Formal Methods Symposium (NFM 2011) was held April 18 - 20, 2011 in Pasadena, California, and was held at NASA's Jet Propulsion Laboratory. Proceedings of the symposium were published in Springer's Lecture Notes in Computer Science Volume 6617.
• The Second NASA Formal Methods Symposium (NFM 2010) was held April 13 - 15, 2010 in Washington D.C., and was organized by the NASA Langley Formal Methods group with the collaboration of NASA Goddard and NASA Headquarters. Proceedings of the symposium were published as NASA Conference Proceedings NASA/CP-2010-216215, 2010. Selected papers were published in Innovations in Systems and Software Engineering, Special Issue NFM 2010, Volume 7, Issue 2, 2011.
• The First NASA Formal Methods Symposium (NFM 2009) was held April 6 - 9, 2009 in Moffett Field, California, and was organized by the Robust Software Engineering group at NASA Ames. Proceedings of the symposium are published as NASA Conference Proceedings NASA/CP-2009-215407, 2009. Selected papers were published in Innovations in Systems and Software Engineering, Special Issue NFM 2009, Volume 6, Number 3, September, 2010.
• The Sixth NASA Langley Formal Methods Workshop (LFM 2008) was held April 30 - May 2, 2008 in Newport News, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA/CP-2008-215309, 2008.
• The Fifth NASA Langley Formal Methods Workshop (LFM 2000) was held June 13 - 15, 2000 in Williamsburg, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA/CP-2000-210100, 2000.
• The Fourth NASA Langley Formal Methods Workshop (LFM 1997) was held September 10 - 12, 1997 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-3356, 1997.
• The Third NASA Langley Formal Methods Workshop (LFM 1995) was held May 13 - 12, 1995 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-10176, 1995.
• The Second NASA Langley Formal Methods Workshop was held August 11 - 13, 1992 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-10110, 1992.
• The First NASA Langley Formal Methods Workshop was held August 20 - 23, 1990 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-10052, 1990.

Page last update: September 2024

NASA Official: César Muñoz

LaRC Privacy Statement