Formal Methods Europe

Homepage of FME

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 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

Comments are closed.