FormaliSE 2018

Call for Participation:

FormaliSE 2018

Conference on Formal Methods in Software Engineering (June 2nd, 2018)
co-located with ICSE 2018, Gothenburg, Sweden


FormaliSE is a yearly conference on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering). The main goal of the conference is to foster integration between the formal methods and the software engineering communities. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. This is where formal methods (FMs) have a huge opportunity.

The program features presentations of 10 research papers. Mariëlle Stoelinga (University of Twente) will give a keynote presentation. Presentations of student’s research topics will also be given. Click here for details on the program.


FormaliSE 2018 will be held at the Congress center Gothia Towers in Gothenburg, Sweden.​


You can register for FormaliSE here. Note that early bird registration closes on 1 April 2018!​


A number of hotel rooms have been blocked for ICSE 2018 participants, click here for details.

See you in Gothenburg!

Author: Einar Broch Johnsen