Follow this link to go to the text only version of nasa.gov

 

NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
Go
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
2nd CALL FOR PAPERS
pdf version:
CFP.pdf

text version:
CFP.txt
  NFM 2012 4th NASA Formal Methods Symposium header image
" "NFM 2012 • SUBMISSIONS

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:
http://www.easychair.org/conferences/?conf=nfm2012

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

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
L
ast Updated: January 24, 2012