Formal Methods Europe

Homepage of FME

Archives for the ‘Lead Story’ Category

FormaliSE 2017 co-located with ICSE in Buenos Aires, Argentina

By Einar Broch Johnsen • Dec 6th, 2016 • Category: Lead Story, Uncategorized

FormaliSE 2017, the 5th FME Workshop on Formal Methods in Software Engineering, will be co-located with ICSE, 20–28 May 2017, in Buenos Aires, Argentina
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe). FormaliSE 2017 will be organised on 27 May 2017, co-located with ICSE in [...]



FM 2016 in Cyprus

By Bernhard Aichernig • Jul 8th, 2015 • Category: Lead Story, Uncategorized

FM 2016, the 21st International Symposium on Formal Methods will be held in Cyprus, 7-11 November 2016.
The General Chair is Anna Philippou, University of Cyprus.
The PC Co-Chairs are John Fitzgerald, Newcastle University, UK, Stefania Gnesi, ISTI-CNR, Italy, and Constance Heitmeyer, US Naval Research Lab, USA.
The event will take place at the 5 star hotel St. Raphael Resort at [...]