Formal Methods Europe

Homepage of FME

Archives for the ‘FME Meeting’ Category

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



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



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



FME Meeting at FM 2014 in Singapore

By Bernhard Aichernig • Apr 30th, 2014 • Category: FME Meeting

Dear FME Member,
As usual at FM Symposia, there will be an FME business meeting at the symposium in Singapore.
The meeting will be held during lunch (12:30-14:00) on Friday, May 16. The room will be announced.
For details, please, see the Agenda.
All FME members are most welcome!



New Chair Elected: Ana Cavalcanti

By Bernhard Aichernig • Mar 7th, 2014 • Category: FME Meeting

The FME members present at the last Annual General Meeting (AGM) have elected Ana Cavalcanti as the new chair of the board of FME. She is succeeding John Fitzgerald who has served as chairman since 2000.
Ana Cavalcanti is a Professor at the University of York and a Royal Society - Wolfson Research Merit Award holder. [...]



FME Annual General Meeting 2014

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

Dear FME Member,
The board of Formal Methods Europe cordially invites you to attend its Annual General Meeting, to be held on Thursday 13 February 2014 at the University of Newcastle, England. The meeting will start at 10:30 in room 2.21 of the Research Beehive (see directions below).
A meeting agenda is attached.
In connection with the AGM, [...]



FME Annual General Meeting 2013 - A Celebration of Formal Methods

By editor • Jan 9th, 2013 • Category: FME Meeting

The Formal Methods Europe Annual General Meeting 2013 and Celebration of Formal Methods, was held on Friday 8 March 2013 at CWI, Amsterdam, The Netherlands. Four invited speakers gave presentations on current research in a day that was both enjoyable and informative.
ABSTRACTS AND SLIDES OF THE INVITED TALKS

prof. dr. Frank S. de Boer, CWI and [...]



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 http://www.londoncentral.bcs.org/events/forthcoming-events.php.
The necessary documents for the AGM follow:

Agenda-FME-AGM-2012
FME Minutes [...]