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