Formal Methods Europe

Homepage of FME

Lead Story

FME 65th Meeting at FormaliSE 2018, 2 June 2018

You are invited to attend the FME business meeting in Gothenburg on 2 June 2018. The meeting will be held at Congress center Gothia Towers and co-located with the FormaliSE 2018 conference (part of ICSE).
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in Turin are available on [...]

{More»}

Sponsored by FME

FormaliSE 2018 with ICSE in Gothenburg»

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

FME Meeting

FME 65th Meeting at FormaliSE 2018, 2 June 2018»

You are invited to attend the FME business meeting in Gothenburg on 2 June 2018. The meeting will be held at Congress center Gothia Towers and co-located with the FormaliSE 2018 conference (part of ICSE).
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in Turin are available on [...]

News

CfP FM 2018 Doctoral Symposium»

Call for Papers – FM 2018 Doctoral Symposium - Saturday July 14, 2018

IMPORTANT DATES
New Submission deadline:  29 April 2018
Notification:   15 May 2018
Doctoral Symposium:  14 July 2018