All accepted papers will be published as part of the  LNCS Proceedings Volume (Lecture Notes in Computer Science,, like the SEFM-2013 and SEFM-2014 post-workshop proceedings.

Papers should conform to the Springer LNCS style specified at and should describe, in English, original work and new ideas that has not been published or submitted for publication elsewhere.

PDF versions of papers should be submitted electronically via EasyChair, using the link:


Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be:

Regular papers (from 8 to 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution.

Short papers (from 4 to 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, and visionary papers. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. Similarly, authors of tool demonstration papers should make their tool available for use by reviewers.