Second NASA Formal Methods Symposium

NFM 2010

Washington D.C., USA, April 13 - 15, 2010


Submitted papers must be formatted in the EasyChair class style. There are two categories of submissions:

  • Regular papers describing fully developed work and complete results (10 pages / 30 minute talks)
  • Short papers describing interesting work in progress and/or preliminary results (5 pages / 15 minute talks)

All papers should describe original work that has not been published elsewhere. Submissions will be fully reviewed and the symposium proceedings will appear as a NASA Conference Publication. Authors of selected papers will then be invited to submit extended versions to a special issue of Innovations in Systems and Software Engineering: a NASA Journal (Springer).

Papers should be submitted through the following link:

Important Dates

  • Submission (abstract): January 8, 2010
  • Submission (final): January 15, 2010
  • Notification: February 26, 2010
  • Final version: March 19, 2010

Further Information

Email: nfm2010 [at]



Curator and Responsible NASA Official: César Muñoz
LaRC Privacy Statement
Last modified: April 2010