Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Inter-Actief Teacher's award for Tom van Dijk!
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Inter-Actief Teacher's award for Tom van Dijk!
Inter-Actief Teacher's award for Tom van Dijk!
Previous article
Next article
Friday 31 March 2023
See
https://www.inter-actief.utwente.nl/activities/7073/photo/43898/#photo-full
More recent news
Fri 11 Oct 2024
Welcome to Pablo Diale, guest researcher!
Thu 26 Sep 2024
Two new Doctors!
Mon 23 Sep 2024
Three new FMT members!
Wed 11 Sep 2024
Papers of the Month: September 2024
Tue 20 Aug 2024
Papers of the Month: July and August 2024
News summary
Close
Suggestions
