Formal Methods Europe

Homepage of FME

Archives for the ‘FME Meeting’ Category

FME Annual General Meeting 2013

By Bernhard Aichernig • Dec 10th, 2012 • Category: FME Meeting

The next Annual General Meeting of FME will be held on Friday, 8 March 2013 at the premises of CWI, Amsterdam.
Details will follow.

FME meetings in Paris

By Bernhard Aichernig • Aug 7th, 2012 • Category: FME Meeting

Dear FME Member,

As usual at FM Symposia, there will be a FME business meeting at the Symposium in Paris later this month. The meeting is planned to be held during lunch (13:00-14:00) on Thursday, August 30.

There will also be a more informal “brainstorming meeting” on Tuesday, August 28, at 18:00. At that meeting we will [...]

FME Annual General Meeting 2012

By Bernhard Aichernig • Jul 26th, 2011 • Category: FME Meeting

Update: The minutes are available for download: FME Minutes of the 54th Meeting
The 2012 Annual General Meeting of FME will be held February 16 at 14:00 on the premises of the British Computer Society in London.
After the meeting (at 18:00) there will be a seminar organised by BCS/FACS. See
The necessary documents for the AGM follow:

FME Minutes [...]

FME Annual General Meeting 2011

By Bernhard Aichernig • Oct 29th, 2010 • Category: FME Meeting

The 2011 FME Annual General Meeting will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris on Friday, February 18, between 10:00 and 13:00. CNAM is the venue of the FM 2012 symposium. After the meeting, we will be shown the FM 2012 symposium venue.
The meeting will take place in room [...]

FME AGM — new attempt: June 21st, 2010, Limerick

By Bernhard Aichernig • Feb 3rd, 2010 • Category: FME Meeting

* Update June 1, 2010*
Dear FME member,
We will make another attempt at an Annual General Meeting of the Formal Methods Europe association instead of the cancelled meeting of April 20th.
The AGM will now take place in the Daley Room, Plassey House, University of Limerick, Ireland, on June 21st, 2010, 10:00-13:00. After the meeting Mike Hinchey [...]

FME Meeting at FM 2009, Nov 5

By Bernhard Aichernig • Nov 2nd, 2009 • Category: FME Meeting

Update 20 Nov 09: The minutes are now online.
Dear FME member,
There will be a FME business meeting during the FM symposium in Eindhoven. The meeting will be at 12:30 on November 5th in the Senaatszaal behind the main lecture hall of the Technische  Universiteit auditorium building.
Preliminary agenda items:
- Report on FM09
- Planning of FM11
- Report on [...]

FME Meeting in London, 2nd April 2009

By Bernhard Aichernig • Dec 18th, 2008 • Category: FME Meeting

The last Annual General Meeting (AGM) of FME was held on 2 April 2009 at the BCS headquarters in London, UK.
Draft agenda of the AGM
The minutes will be put online as soon as they are available.
Update: the revised minutes are online.

FME Meeting in Pisa, 10 October 2008 (update)

By Bernhard Aichernig • Sep 24th, 2008 • Category: FME Meeting

The meeting was held succesfully. The minutes can be found in the Minutes section.

47th Meeting, Turku, Finland, 29 May 2008

By Bernhard Aichernig • Sep 23rd, 2008 • Category: FME Meeting

The 47th meeting was held at FM’08, Turku, Finland, 29 May 2008. For details
Download the Minutes of the 47th meeting.