NFM 2010

History

NFM 2010 is the second edition of the NASA Formal Methods Symposium, which started in 2009. The symposium originated from the earlier Langley Formal Methods Workshop series organized by the Langley Formal Methods group at NASA Langley.

• The Second NASA Formal Methods Symposium (NFM 2010) will be held April 13 - 15, 2010 in Washington D.C., and is organized by the NASA Langley Formal Methods group with the collaboration of NASA Goddard and NASA Headquarters. Proceedings of the symposium are published as NASA Conference Proceedings NASA/CP-2010-216215, 2010. (BibTex). Selected papers published in Innovations in Systems and Software Engineering: Special Issue NFM 2010, Volume 7, Issue 2, 2011 (BibTex).
• 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 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. (BibTex)
• 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.