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