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