Follow this link to go to the text only version of


NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
About NASA button News and Events Button Multimedia button Missions button popular topics button MyNASA button
NFM 2012 4th NASA Formal Methods Symposium
NFM 2012 rollover for nfm home page
NFM 2012 Submissions
nfm 2012 rollover for registration page
NFM 2012 travel rollover
NFM accepted papers rollover
NFM 2012 program rollover
NFM 2012 invited speakers rollover
NFM 2012 Local Information Rollover
NFM 2012 History rollover
pdf version:

text version:
  NFM 2012 4th NASA Formal Methods Symposium header image

There are two categories of submissions:

  • Regular papers describing fully developed work and complete results (15 pages/30 minute talks)

  • Short papers describing tools, experience reports, or descriptions of work in progress or preliminary results (6 pages/15 minute talks)

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the program committee. Papers must use Springer’s Lecture Notes in Computer Science (LNCS) style and be put in PDF format, as the papers will appear as a volume in Lecture Notes of Computer Science.

Papers should be submitted through the following link:

Title & Abstract Submission: 11 December 2011, 11:59pm EST
NFM Paper Submission: 18 December 2011, 11:59pm EST

23 January 2012

Final Version: 2 February 2012
Conference: 3 - 5 April 2012

usa gov logo

+ Freedom of Information Act
+ NASA Web Privacy Policy and Important Notices

get adobe reader

get adobe flash player
NASA - National Aeronautics and Space Administration

NASA Official: Suzette Person
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
ast Updated: January 24, 2012