Submission Guidelines

Authors are invited to submit original unpublished papers. Every submitted paper will be reviewed by at least three members of the Program Committee. Accepted papers will be published in a joint post-workshop proceedings for all SEFM 2015 workshops as a joint Lecture Notes in Computer Science volume, like the SEFM-2013 and SEFM-2014 post-workshop proceedings. Authors are invited to submit papers of no more than 14 pages in the LNCS format style. Proofs omitted due to space constraints can be put into an appendix to be read at the reviewers' discretion. Proofs added into appendix will not be published on proceedings.

Submissions should be made using the VERY* 2015 Easychair web site:

The authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the workshop by the early date, to be indicated by the organizers, and must present the paper.