News and Events

Here we list the news of FMT

Upcoming Events

  • Sept. 20, 2019, 12:30: PhD Defense: Jeroen Meijer: Jeroen Meijer, Waaier 4, Berkhoffzaal

Past Events

Third-party Events

The Formal Methods and Tools group was involved in the organisation of the following events: