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.

NASA Formal Methods Symposia (NFM)

• 17th NASA Formal Methods Symposium (NFM 2025)
  June 11–13, 2025, Williamsburg, Virginia – organized by College of William & Mary, Computer Science Department
  Proceedings: Springer LNCS Volume 15682
• 16th NASA Formal Methods Symposium (NFM 2024)
  June 4–6, 2024, Moffett Field, California – organized by Robust Software Engineering group at NASA Ames
  Proceedings: Springer LNCS Volume 14627
• 15th NASA Formal Methods Symposium (NFM 2023)
  May 16–18, 2023, Houston, Texas – organized by NASA Johnson Space Center
  Proceedings: Springer LNCS Volume 13903
• 14th NASA Formal Methods Symposium (NFM 2022)
  May 24–27, 2022, Pasadena, California – organized by NASA Jet Propulsion Laboratory
  Proceedings: Springer LNCS Volume 13260
• 13th NASA Formal Methods Symposium (NFM 2021)
  May 24–28, 2021, Virtual – organized by NASA Langley Formal Methods group
  Proceedings: Springer LNCS Volume 12673
  Selected papers published in Innovations in Systems and Software Engineering, Vol. 19, Issue 4 (2023).
• 12th NASA Formal Methods Symposium (NFM 2020)
  May 11–15, 2020, Virtual – organized by Robust Software Engineering group at NASA Ames
  Proceedings: Springer LNCS Volume 12229
• 11th NASA Formal Methods Symposium (NFM 2019)
  May 7–9, 2019, Houston, Texas – organized by NASA Johnson Space Center
  Proceedings: Springer LNCS Volume 11460
• 10th NASA Formal Methods Symposium (NFM 2018)
  April 17–19, 2018, Newport News, Virginia – organized by NASA Langley Formal Methods group
  Proceedings: Springer LNCS Volume 10811
  Selected papers published in Innovations in Systems and Software Engineering, Vol. 15, Issues 3–4 (2019).
• 9th NASA Formal Methods Symposium (NFM 2017)
  May 16–18, 2017, Moffett Field, California – organized by Robust Software Engineering group at NASA Ames
  Proceedings: Springer LNCS Volume 10227
• 8th NASA Formal Methods Symposium (NFM 2016)
  June 7–9, 2016, University of Minnesota, Minneapolis, MN
  Proceedings: Springer LNCS Volume 9690
• 7th NASA Formal Methods Symposium (NFM 2015)
  April 27–29, 2015, Pasadena, California – organized by NASA Jet Propulsion Laboratory
  Proceedings: Springer LNCS Volume 9058
• 6th NASA Formal Methods Symposium (NFM 2014)
  April 29–May 1, 2014, Houston, Texas – organized by NASA Johnson Space Center
  Proceedings: Springer LNCS Volume 8430
• 5th NASA Formal Methods Symposium (NFM 2013)
  May 14–16, 2013, Moffett Field, California – organized by Robust Software Engineering group at NASA Ames
  Proceedings: Springer LNCS Volume 7871
• 4th NASA Formal Methods Symposium (NFM 2012)
  April 3–5, 2012, Norfolk, Virginia – organized by NASA Langley Formal Methods group
  Proceedings: Springer LNCS Volume 7226
• 3rd NASA Formal Methods Symposium (NFM 2011)
  April 18–20, 2011, Pasadena, California – organized by NASA Jet Propulsion Laboratory
  Proceedings: Springer LNCS Volume 6617
• 2nd NASA Formal Methods Symposium (NFM 2010)
  April 13–15, 2010, Washington D.C. – organized by NASA Langley Formal Methods group with NASA Goddard and NASA Headquarters
  Proceedings: NASA/CP-2010-216215
• 1st NASA Formal Methods Symposium (NFM 2009)
  April 6–9, 2009, Moffett Field, California – organized by Robust Software Engineering group at NASA Ames
  Proceedings: NASA/CP-2009-215407

NASA Langley Formal Methods Workshops (LFM)

• 6th NASA Langley Formal Methods Workshop (LFM 2008)
  April 30–May 2, 2008, Newport News, Virginia
  Proceedings: NASA/CP-2008-215309
• 5th NASA Langley Formal Methods Workshop (LFM 2000)
  June 13–15, 2000, Williamsburg, Virginia
  Proceedings: NASA/CP-2000-210100
• 4th NASA Langley Formal Methods Workshop (LFM 1997)
  September 10–12, 1997, Hampton, Virginia
  Proceedings: NASA-CP-3356
• 3rd NASA Langley Formal Methods Workshop (LFM 1995)
  May 10–12, 1995, Hampton, Virginia
  Proceedings: NASA-CP-10176
• 2nd NASA Langley Formal Methods Workshop (LFM 1992)
  August 11–13, 1992, Hampton, Virginia
  Proceedings: NASA-CP-10110
• 1st NASA Langley Formal Methods Workshop (LFM 1990)
  August 20–23, 1990, Hampton, Virginia
  Proceedings: NASA-CP-10052