The 4th FormaliSE workshop took place on 15 May, in Austin, Texas. FormaliSE 2016 was co-located with ICSE 2016. The event was a success, judging from the responses we got from the attendees, and the high quality of the papers that were presented. A brief report, including photos taken at the event, and slides of the presentations given, can be found here.

Initiated by FME (Formal Methods Europe), the FormaliSE workshop has slowly become an established forum for exchanging ideas that lower the barriers for wider use of formal methods in industrial software engineering practise, from education to practical application by software engineers working in the field. This is done by co-locating the workshop physically close to the mainstream software engineering community, typically ICSE (International Conference on Software Engineering).

We intend to organise the event again during ICSE 2017, which will be held in Buenos Aires, Argentina. We invite you to already start thinking about a paper you may want to submit to the workshop (published by ACM/IEEE as part of the ICSE proceedings). We expect to publish our call for papers around the end of November of 2016.

See you next year in Buenos Aires, Argentina!
Nico Plat and Stefania Gnesi, FormaliSE organizers.