[ecoop-info] Call For Participation: FormaliSE 2015, Florence, Italy, 18 May 2015

Announcements of FME events events at fmeurope.org
Sun May 3 19:13:05 CEST 2015

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

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!

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.

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

To register see http://2015.icse-conferences.org/registration. 

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

See you in Florence!

events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list