FME Annual General Meeting 2014

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, some shorter technical talks will be given by people from the local department.

To plan for lunch and refreshments, please advise if you plan on attending the AGM.

On behalf of the FME board,

Lars-Henrik Eriksson, FME Secretary

Author: Bernhard Aichernig