FormaliSE 2015 - 3rd FME Workshop on Formal Methods in Software Engineering

Based on the aim of the workshop, it’s goals and theme, we invite you to submit a paper to the workshop, and present and discuss it at the event itself. All accepted papers will be published as part of the ICSE 2015 conference proceedings.
The detailed Call for Papers can be downloaded here (PDF) or here (ASCII).
Instructions on how to submit a paper
All papers must conform, at time of submission, to the ACM Formatting Guidelines (LaTeX users, please use the "Option 2" style). All submissions must be in PDF format. The maximum size is 7 pages. They will be published as part of the (electronic) proceedings of ICSE 2015. All papers submitted to the workshop must be unpublished original work and should not be under review or submitted elsewhere while being under consideration. All submissions must be in English and in PDF format. Submissions can be uploaded to the workshop submission website:
https://www.easychair.org/conferences/?conf=formal...
Please note that authors of accepted papers are expected to register and present their papers at the workshop. By submitting a paper you explictly declare that at least one of the authors will attend the workshop to present the paper. All submissions will be reviewed by at least three PC members. They will be judged on the basis of their clarity, relevance, originality, and contribution.