*** FM 2012 - DEADLINE EXTENSION ***
Abstract submissions: March 5, 2012
Full paper submissions: March 12, 2012 (11:59pm Samoa time)
Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. PDF versions of papers should be submitted through the FM 2012 EasyChair web site:
"
http://www.easychair.org/conferences/?conf=fm2012".
We solicit two categories of papers:
- Regular papers not exceeding 15 pages (including appendices), describing fully developed work. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available for use by reviewers.
- Tools papers of a maximum of 4 pages should describe an operational tool and its contributions; 2 additional pages of appendices are allowed that will not be included in the proceedings. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, with screen shots and examples. Authors of tools papers should make their tool available for use by reviewers.
Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lectures Notes in Computer Science.