NASA Formal Methods 2022
Submissions
Papers
Papers must be submitted in PDF using LNCS formatting.
- Abstract submission deadline: 3 Jan 2022 (extended)
- Paper submission deadline: 10 Jan 2022 (extended)
Full paper length
15 pages
Short paper length
6 pages
Venue
NFM 2022 is planned to take place in the Caltech campus in
Pasadena, CA. We are monitoring the COVID situation and are
prepared to make adjustments, including the possibility of
holding a fully virtual conference. Remote presentation will be
allowed in every case for those authors unable to attend in
person.
Application Advisors
- Robert Bocchino
- John Day
- Maged Elasaar
- Amalaye Oyake
- Nicolas Rouquette
- Vandi Verma
Scientific Advisors
- Mani Chandy
Administrative Support
- Monica Nolasco
Program Committee
- Aaron Dutle
- Alessandro Cimatti
- Anastasia Mavridou
- Anne-Kathrin Schmuck
- Arie Gurfinkel
- Bardh Hoxha
- Bernd Finkbeiner
- Betty H.C. Cheng
- Borzoo Bonakdarpour
- Carolyn Talcott
- Chuchu Fan
- Constance Heitmeyer
- Corina Pasareanu
- Cristina Seceleanu
- Dejan Nickovic
- Dirk Beyer
- Doron Peled
- Erika Abraham
- Ewen Denney
- Gerard Holzmann
- Giles Reger
- Huafeng Yu
- Jean-Christophe Filliatre
- Johann Schumann
- John Day
- Julia Badger
- Julien Signoles
- Kerianne Hobbs
- Kristin Yvonne Rozier
- Leonardo Mariani
- Lu Feng
- Marcel Verhoef
- Marie Farrell
- Marieke Huisman
- Marielle Stoelinga
- Martin Feather
- Martin Leucker
- Michael Lowry
- Misty Davies
- Natasha Neogi
- Nicolas Rouquette
- Nikos Arechiga
- Rajeev Joshi
- Stanley Bak
- Sylvie Boldo
- Vandi Verma
- Willem Visser
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. List of past NFM events:
- 13th NASA Formal Methods Symposium (NFM 2021) (virtual). May 24-28, 2021, NASA Langley Research Center, Virginia. Organized by the NASA Langley Formal Methods group. Proceedings: Springer's Lecture Notes in Computer Science Volume 12673.
- 12th NASA Formal Methods Symposium (NFM 2020) (virtual). May 11-15, 2020, Moffett Field, California. Organized by the Robust Software Engineering group at NASA Ames. Proceedings: Springer's Lecture Notes in Computer Science Volume 12229.
- 11th NASA Formal Methods Symposium (NFM 2019). May 7-9, 2019, Houston, Texas. Organized by NASA Johnson Space Center. Proceedings: Springer's Lecture Notes in Computer Science Volume 11460.
- 10th NASA Formal Methods Symposium (NFM 2018) . April 17 - 19, 2018, Newport News, Virginia. Organized by the NASA Langley Formal Methods group. Proceedings: Springer's Lecture Notes in Computer Science Volume 10811. Selected papers were published in Selected Extended Papers of NFM 2018, Special Issue , Innovations in Systems and Software Engineering, Vol. 15, Issues 3-4, Springer, 2019.
- 9th NASA Formal Methods Symposium (NFM 2017). May 16 - 18, 2017, Moffett Field, California. Organized by the Robust Software Engineering group at NASA Ames. Proceedings: Springer's Lecture Notes in Computer Science Volume 10227.
- 8th NASA Formal Methods Symposium (NFM 2016) . June 7-9, 2016, University of Minnesota, Minneapolis, MN. Proceedings: Springer's Lecture Notes in Computer Science Volume 9690.
- 7th NASA Formal Methods Symposium (NFM 2015). April 27-29, 2015, NASA's Jet Propulsion Laboratory , Pasadena, California. Proceedings: Springer's Lecture Notes in Computer Science Volume 9058.
- 6th NASA Formal Methods Symposium (NFM 2014). April 29 - May 1, 2014, Houston, Texas. Organized by NASA Johnson Space Center. Proceedings: Springer's Lecture Notes in Computer Science Volume 8430.
- 5th NASA Formal Methods Symposium (NFM 2013). May 14 - 16, 2013, Moffett Field, California. Organized by the Robust Software Engineering group at NASA Ames. Proceedings: Springer's Lecture Notes in Computer Science Volume 7871.
- 4th NASA Formal Methods Symposium (NFM2012) . April 3 - 5, 2012, Norfolk, Virginia. Organized by the NASA Langley Formal Methods group. Proceedings: Springer's Lecture Notes in Computer Science Volume 7226.
- 3rd NASA Formal Methods Symposium (NFM 2011). April 18 - 20, 2011, Pasadena, California, at NASA's Jet Propulsion Laboratory . Proceedings: Springer's Lecture Notes in Computer Science Volume 6617.
- 2nd NASA Formal Methods Symposium (NFM 2010) . April 13 - 15, 2010, Washington D.C.. Organized by the NASA Langley Formal Methods group with the collaboration of NASA Goddard and NASA Headquarters. Proceedings: NASA Conference Proceedings NASA/CP-2010-216215 (PDF) , 2010. Selected papers were published in Innovations in Systems and Software Engineering, Special Issue NFM 2010, Volume 7, Issue 2, 2011.
- 1st NASA Formal Methods Symposium (NFM 2009). April 6 - 9, 2009, Moffett Field, California. Organized by the Robust Software Engineering group at NASA Ames. Proceedings: NASA Conference Proceedings NASA/CP-2009-215407 (PDF) , 2009. Selected papers were published in Innovations in Systems and Software Engineering, Special Issue NFM 2009, Volume 6, Number 3, September, 2010.
- 6th NASA Langley Formal Methods Workshop (LFM 2008). April 30 - May 2, 2008, Newport News, Virginia. Proceedings: NASA Conference Proceedings NASA/CP-2008-215309 (PDF) , 2008.
- 5th NASA Langley Formal Methods Workshop (LFM 2000). June 13 - 15, 2000, Williamsburg, Virginia. Proceedings: NASA Conference Proceedings NASA/CP-2000-210100 (PDF), 2000.
- 4th NASA Langley Formal Methods Workshop (LFM 1997). September 10 - 12, 1997, Hampton, Virginia. Proceedings: NASA Conference Proceedings NASA-CP-3356 (PDF), 1997.
- 3rd NASA Langley Formal Methods Workshop (LFM 1995). May 13 - 12, 1995, Hampton, Virginia. Proceedings: NASA Conference Proceedings NASA-CP-10176 (PDF), 1995.
- 2nd NASA Langley Formal Methods Workshop. August 11 - 13, 1992, Hampton, Virginia. Proceedings: NASA Conference Proceedings NASA-CP-10110 (PDF), 1992.
- 1st NASA Langley Formal Methods Workshop. August 20 - 23, 1990, Hampton, Virginia. Proceedings: NASA Conference Proceedings NASA-CP-10052 (PDF), 1990.