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 2 May 2025
Papers of the Month: May 2025
Fri 25 Apr 2025
Marieke Huisman gave keynote at ICT.OPEN
Fri 25 Apr 2025
Marieke Huisman appointed as IPN chair
Fri 4 Apr 2025
Papers of the Month: April 2025
Mon 17 Mar 2025
Papers of the Month: March 2025
News summary
Close
Suggestions
