The 4th edition of FormaliSE was held on Sunday 15 May in Austin (Texas, USA), co-located with ICSE 2016. 13 Participants heard inspiring keynotes by Pamela Zave (AT&T Research) and Don Batory (University of Texas at Austin), mixed with presentations of scientific papers, including discussions. A panel discussion, chaired by Stefania Gnesi, concluded the workshop. Nico Plat, Ben Di Vito, Don Batory, and Pamela Zave were the panel members.
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).
Eight scientific papers were accepted (one withdrew from the final programme) from 18 submissions that were reviewed by an international programme committee (44% acceptance rate). Each paper was reviewed by 3 PC members.
More information about the workshop are available at the FormaliSE 2016 web page:
The event was sponsored by Formal Methods Europe, West, Thanos, and Isti.