Big turn out at the Dutch Formal Methods Day at the TU/e today, co-organised by our own Jore Booy. And a great set of speakers!