Papers will be evaluated by at least three members of the Program Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted concurrently elsewhere.
Papers should be submitted through the FM 2014 EasyChair web site:
http://www.easychair.org/conferences/?conf=fm2014.
We solicit two categories of papers:
Regular papers should not exceeding 15 pages (including references and 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.
Indsutry track papers (with a different deadline) should not exceeding 15 pages (including references and appendices), describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights.