FME Meeting at FM 2009, Nov 5

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 web activities
- Discussion on possible name change from Formal Methods Europe to Formal Methods Association
- Discussion on better coordination of the FM Symposia with other formal methods conferences

Best regards,

Lars-Henrik Eriksson,
FME Secretary

Author: Bernhard Aichernig