News and Events

Here we list the news of FMT

Upcoming Events

  • July 10, 2019, 16:30: PhD Defense: Vincent Bloemen: Vincent Bloemen, Waaier 4, Berkhoffzaal
  • July 11, 2019, 16:30: PhD Defense: Wei Zheng: Whei Zheng, Waaier 4, Berkhoffzaal
  • 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: