Formal Methods Europe

Homepage of FME

Author Archive

FME Annual General Meeting in Eindhoven, 8 April 2016

By Bernhard Aichernig • Mar 17th, 2016 • Category: FME Meeting

Dear FME Member,
This year we will hold our Annual General Meeting at ETAPS 2016 in Eindhoven.
The AGM will take place on Friday, 8 April 2016, 09:00-11:00 hrs at the Eindhoven University of Technology, Room ZD 2.03 in the Zwarte Doos building in Eindhoven, The Netherlands.
Below you find the relevant AGM documents:
Agenda
FME Report on 2015
FME [...]



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



FME 6oth Meeting, London, 7 Dec 2015

By Bernhard Aichernig • Nov 4th, 2015 • Category: FME Meeting

Dear FME member,
There will be an FME business meeting in London on December, 7th. The meeting will be held on the British Computer Society premises and the joint FME/BCS-FACS Landin seminar is held in conjunction with the meeting.
Please refer to the agenda for more information.
The minutes from the FME AGM in Oslo are available on [...]



First FME Fellowship Awarded to Prof. Cliff Jones

By Bernhard Aichernig • Jul 8th, 2015 • Category: Feature

Prof. Cliff Jones of Newcastle University (UK) has been awarded the first FME Fellowship. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.
The first call for nominations was issued in January 2015, and on 25 June [...]



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



FME Annual General Meeting in Oslo, 23 June 2015

By Bernhard Aichernig • Jun 5th, 2015 • Category: FME Meeting, Uncategorized

Dear FME Member,
This year we will hold our Annual General Meeting at the FM 2015 symposium in Oslo.
The AGM will take place on Tuesday, 23 June 2015, 17:45. The meeting will take in the “Smalltalk” room
in the Ole-Johan-Dahl building (the symposium venue).
Below you find the relevant AGM documents:
Agenda
FME Report on 2014
FME Plans for 2015
FME [...]



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



CfP: Doctoral Symposium of FM 2015

By Bernhard Aichernig • Jan 13th, 2015 • Category: Sponsored by FME

Doctoral Symposium of Formal Methods 2015
22 June 2015, Oslo, Norway
Call for Papers

http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/
Important Dates
Submission: 20 March 2015
Notification: 3 April 2015
Doctoral Symposium: 22 June 2015
Goals and Scope
A Doctoral Symposium will be held on 22 June in conjunction with the 20th
International Symposium on Formal Methods, which will take place in Oslo,
Norway, from 22 to 26 June [...]



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