NFM 2012 is the fourth edition of the NASA Formal Methods Symposium, organized by NASA on a yearly basis. The first edition was held in 2009 and organized by NASA Ames Research Center, Moffett Field, CA. The second edition, held in 2010, was organized by NASA headquarters, Washington D.C. The third edition was organized by NASA’s Jet Propulsion Laboratory and held in Pasadena, CA in 2011. The symposium originated from the earlier Langley Formal Methods Workshop series.

• The Third NASA Formal Methods Symposium (NFM 2011) 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 published and are available for download through Springer Lecture Notes in Computer Science.
  
  
• 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. (BibTex)
  
  
• NFM2010: 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.
  
  
• NFM2009: 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.