FME workshop on Formal Methods in Software Engineering FormaliSE 2013

We would like to take this opportunity to welcome you at FormaliSE 2013, the FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering held on 25th May 2013 in San Francisco, USA. The workshop is co-located with ICSE 2013. The workshop addresses the use of formal methods in software development practice. The main goal of the workshop is to foster the integration between the formal methods and the software engineering communities, with the purpose to examine the link between the two more carefully than is currently the case. Twenty-five (25) papers were submitted, and we would like to thank all authors for taking the effort to submit a paper. Every paper was reviewed by at least three reviewers. Based on the review reports and the intensive discussions that took place afterwards, the Program Committee selected 9 papers to be presented at the workshop (thus a paper acceptance rate of 35%). In addition to the paper presentations, the workshop program includes a keynote speaker.