Call For Participation: FormaliSE 2015, Florence, Italy, 18 May 2015

FME Workshop on Formal Methods in Software Engineering

Florence, Italy | 18 May 2015 | www.formalise.org

FormaliSE 2015 again received a good number of high-quality submissions this
year and we are proud to announce an excellent programme. The FormaliSE
workshop is co-located with ICSE 2015 (http://2015.icse-conferences.org/).
Please join us at FormaliSE 2015!

Introduction
Formal methods for software development are still not widely used in industry.
This may be due to the fact that the formal methods community has not enough
focused its attention to software engineering needs, and its specific role in
the software process. At the same time, from a software engineering
perspective, there could be a number of fundamental principles that might help
to guide the design of formal methods in order to make them more easily
applicable in the development of software applications.

The main goal of the workshop is to foster 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.

Programme
We offer an attractive programme with two invited speakers (Prof. Dino
Mandriolli, Politecnico di Milano, and prof. John Fitzgerald, University of
Newcastle), and presentations of nine high quality papers. For details see
http://www.formalise.org/programme.

Registration
To register see http://2015.icse-conferences.org/registration. Early Bird
registrations will close on 6 April 2015.

Accommodation
A number of hotel rooms have been blocked for ICSE 2015 participants at
discounted rates, see http://2015.icse-conferences.org/venue/accommodation.

Visa Information
For visa letter requests, if needed, see http://2015.icse-conferences.org/visa.

Social media
LinkedIn https://www.linkedin.com/groups/FME-Workshop-on-Formal-Methods-8231370
Twitter https://twitter.com/formalisews
Facebook https://www.facebook.com/formaliseworkshop