Formal Methods Europe

Homepage of FME

Author Archive

FME 65th Meeting at FormaliSE 2018, 2 June 2018

By Einar Broch Johnsen • May 25th, 2018 • Category: FME Meeting, Lead Story, Uncategorized

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 [...]



CfP FM 2018 Doctoral Symposium

By Einar Broch Johnsen • Apr 23rd, 2018 • Category: News

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



FormaliSE 2018 with ICSE in Gothenburg

By Einar Broch Johnsen • Apr 4th, 2018 • Category: Sponsored by FME

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



FME Teaching Committee

By Einar Broch Johnsen • Apr 4th, 2018 • Category: Lead Story, News, Uncategorized

FME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
More information is available here



FM 2018: keynote speakers

By Einar Broch Johnsen • Dec 6th, 2017 • Category: News

The keynote speakers for FM2018 have just been announced:

Annabelle McIver, Macquarie University, Sydney, Australia
Leonardo de Moura, Microsoft Research, Redmond, USA
Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark

See the FM2018 website for more information.



FME Fellowship Award: Call for Nominations

By Einar Broch Johnsen • Sep 20th, 2017 • Category: Lead Story, News, Uncategorized

Nominations for Formal Methods Europe Fellowship Award should be sent to info@fmeurope.org. The deadline for nominations is December 1, 2017.



FME 64th Meeting at iFM2017, 20 September 2017

By Einar Broch Johnsen • Aug 29th, 2017 • Category: FME Meeting, News

You are invited to attend the FME business meeting in Turin on 20 September 2017. The meeting will be hosted by the University of Torino and co-located with the Integrated Formal Methods (iFM2017) conference.
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in London are available on the [...]



FM 2018: Oxford 15-17 July 2018

By Einar Broch Johnsen • May 5th, 2017 • Category: Lead Story, News, Uncategorized

W
FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.



FM 2018: Call for Workshop Proposals

By Einar Broch Johnsen • May 5th, 2017 • Category: News, Uncategorized

Call for  proposals for workshops co-located with
FM 2018: 22nd International Symposium on Formal Methods
Oxford, UK, 15-17 July, 2018

Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 2017

ABOUT FM 2018
The 23rd International Symposium on Formal Methods (FM 2018) will take place at the University of Oxford, 15-17 July 2018, as part of [...]



FME Annual General Meeting 2017 and FME/BCS-FACS Seminar

By Einar Broch Johnsen • Apr 15th, 2017 • Category: FME Meeting, Lead Story

The 2017 FME Annual General Meeting will be held on the premises of the British Computer Society in London on Thursday, May 4, at 15:30. Refer to http://www.bcs.org/content/ConWebDoc/57129 for more information.
The agenda and AGM documents are available here.

After the meeting, at 18:00, there will be a joint FME/BCS-FACS seminar by Prof. Dr. Reiner Hähnle, TU [...]