Submissions will be peer-reviewed by at least three members of the program committee. They will be evaluated on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should conform to the Springer LNCS style and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair: We solicit two categories of papers:

  • Research papers should describe fully developed work and should not exceed 15 pages. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available to reviewers. Case study papers should describe significant case studies and lessons learned.
  • Tool papers should describe an operational tool and its contributions. Tool papers should not exceed 6 pages. Please include the URL of the tool (if available).

Lecture Note in Computer Science For both categories, 2 additional pages of appendices are allowed that will not be included in the proceedings. The proceedings of SEFM’14 will be published by Springer Verlag in the Lecture Notes in Computer Science series. After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in two special issues, one in the Formal Aspects of Computing journal and the other in the Software and Systems Modeling journal.

Important Dates

  • Abstract Submission: March 14, 2014 March 21, 2014 (extended)
  • Paper Submission: March 21, 2014 (AoE) March 28, 2014 (AoE) (extended)
  • Notification: May 19, 2014
  • Camera Ready: June 13, 2014
  • Registration (early): July 20, 2014


Logo Inria Logo Grenoble INP Logo LIG Logo CNRS Logo UJF
Logo RMIT Logo LaMetro