Useful links to other interesting activities

FME   Formal Methods Europe
Simona  The SIMONA flight simulator
Modula-2  The programming language Modula-2
NEN   Nederlands Normalisatie Instituut
EWI  Electrotechniek, Wiskunde en Informatica
Blackboard  The blackboard system
Dutch Model Checking Day 2011  Dutch Model Checking Day 2011