FormaliSE 2014 - 2nd 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 2014 conference proceedings. If you submit a paper and it gets accepted, (at least one of) the (co)author(s) is expected to be present at the workshop to present the paper.
The Call for Papers is available in PDF format http://www.formalise.org/sites/default/files/forma....
Instructions on how to submit a paper
Submitted papers are limited to 7 pages in IEEE Conference Proceedings Format. They will be published as part of the (electronic) proceedings of ICSE 2014. 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...
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.
Deadlines
January 24, 2014: submission deadline for workshop papers
February 24, 2014: notification of acceptance/rejection to workshop papers authors
March 14, 2014: camera ready copy deadline for workshop papers
Advance notification
If you intend to submit a paper then please inform us so that we know what we can expect and plan in advance: oc-AT-formalise.org.