Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

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



Call for proposals: FM 2019

By Einar Broch Johnsen • Apr 14th, 2017 • Category: News

Call for Proposals
23th International Symposium on Formal Methods
World Congress Autumn 2019
Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners in formal methods for developing computing systems and software. We aim to encourage both research and application by disseminating research findings and industrial experience through symposia and sponsored events.
FME organizes a symposium [...]



First FME Lucas Award to Dick and Faivre

By Einar Broch Johnsen • Nov 15th, 2016 • Category: News

The FME Lucas Award goes to Jeremy Dick and Alain Faivre for their paper
Automating the generation and sequencing of test cases from model-based specifications
published at the First International Symposium of Formal Methods Europe (FME’93).

The FME Awards Committee motivated its decision as follows:
Dick and Faivre’s paper is a ground-breaking contribution to automation of testing based on [...]



Call for Papers: FM 2016

By Bernhard Aichernig • Dec 6th, 2015 • Category: News

FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
fm2016.cs.ucy.ac.cy
CALL FOR PAPERS
IMPORTANT DATES
• Abstract submission deadline: 16 May 2016
• Full paper submission deadline: 30 May 2016
• Notification: 8 August 2016
• Conference: 7-11 November 2016
FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, [...]



Call for Papers: FormaliSE 2016

By Bernhard Aichernig • Dec 6th, 2015 • Category: News

4th FME Workshop on Formal Methods in Software Engineering
to be held on 15 May 2016 in conjunction with
ICSE 2016 (May 14th-May 22th), in Austin, Texas, USA
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with the current technologies [...]



Sad News: Peter Lucas passed away Feb. 2, 2015

By Bernhard Aichernig • Feb 5th, 2015 • Category: News, Uncategorized

We are sad to report that on the 2nd of February, 2015, Prof. Peter Lucas passed away peacefully after a lengthy illness. He is remembered by many for his important contributions to the development of computer languages, and to those connected with FME as the chairman who established the association as a free and [...]



FME Fellowship

By Bernhard Aichernig • Jan 8th, 2015 • Category: News

Dear Colleague,
The FME Board is pleased to announce the creation of the FME Fellowship, a
distinction that will be awarded approximately every three years, during an
FME symposium, to researchers and practitioners of formal methods.
Given in recognition of technical achievements in advancing, applying, and
promoting formal methods, the fellowship rewards scientific breakthroughs and
pioneering work that have made a [...]



Call for Papers: FormaliSE 2015

By Bernhard Aichernig • Dec 12th, 2014 • Category: News, Sponsored by FME

Call for Papers: FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with
ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with [...]



Call for Proposals: FM Symposium 2016/17

By Bernhard Aichernig • Oct 28th, 2014 • Category: News

The FME board is inviting proposals to arrange the 21st International Symposium on Formal Methods in Autumn 2016 or Winter 2017.
See the attached Call for Proposals.



FM 2015: Invited Speakers

By Bernhard Aichernig • Jun 20th, 2014 • Category: News

We are pleased to announce the invited speakers at the next FM 2015 in Oslo.

Elvira Albert, Complutense University of Madrid, Spain
Werner Damm, OFFIS, Germany
Valérie Issarny, INRIA, France
Leslie Lamport, Microsoft Research, USA

For details on the conference, please, visit the webpage of FM 2015.