History

HISTORY

NFM 2015 is the seventh edition of the NASA Formal Methods Symposium, organized by NASA on a yearly basis. The first edition was held in 2009. The symposium originated from the Langley Formal Methods Workshop series, which started in 1990.

  • NFM 2015 and its LNCS 9058 proceedings:
    The Seventh NASA Formal Methods Symposium was held Apr 27 – Apr 29, 2015 in Pasadena, California, and was organized by the Laboratory for Reliable Software (LaRS) at NASA’s Jet Propulsion Laboratory.
  • NFM 2014 and its LNCS 8430 proceedings:
    The Sixth NASA Formal Methods Symposium was held Apr 29 – May 1, 2014 at NASA Johnson Space Center, Houston, Texas, and was organized by NASA Johnson Space Center, NASA Ames Research Center, and Lero (Ireland).
  • NFM 2013 and its LNCS 7871 proceedings:
    The Fifth NASA Formal Methods Symposium was held May 14-16, 2013 in Moffett Field, California, and was organized by NASA Ames Research Center.
  • NFM 2012 and its LNCS 7226 proceedings:
    The Fourth NASA Formal Methods Symposium was held April 3-5, 2012 in Norfolk, Virginia, and was organized by the Formal Methods Group at NASA’s Langley Research Center.
  • NFM 2011 and its LNCS 6617 proceedings:
    The Third NASA Formal Methods Symposium was held April 18 – 20, 2011 in Pasadena, California, and was organized by the Laboratory for Reliable Software (LaRS) at NASA’s Jet Propulsion Laboratory. Proceedings of the symposium were for the first time published through Springer Lecture Notes in Computer Science.
  • NFM 2010 and its NASA proceedings:
    The Second NASA Formal Methods Symposium 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, NFM2010: Selected papers published in Innovations in Systems and Software Engineering: Special Issue NFM 2010, Volume 7, Issue 2, 2011.
  • NFM 2009 and its NASA proceedings:
    The First NASA Formal Methods Symposium 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.  NFM2009: Selected papers published in Innovations in Systems and Software Engineering: Special Issue NFM 2009, Volume 6, Number 3, September, 2010.
  • LFM 2008 and its NASA proceedings:
    The Sixth NASA Langley Formal Methods Workshop 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.
  • LFM 2000 and its NASA proceedings:
    The Fifth NASA Langley Formal Methods Workshop was held June 13 – 15, 2000 in Williamsburg, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA/CP-2000-210100, 2000.
  • LFM 1997 and its NASA proceedings:
    The Fourth NASA Langley Formal Methods Workshop was held September 10 – 12, 1997 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-3356, 1997.
  • LFM 1995 and its NASA proceedings:
    The Third NASA Langley Formal Methods Workshop was held May 13 – 12, 1995 in Hampton, Virginia. Proceedings of the workshop are published as NASA Conference Proceedings NASA-CP-10176, 1995.
  • LFM 1992 and its NASA proceedings:
    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.
  • LFM 1990 and its NASA proceedings:
    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.