Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News and Group Colloquium
News
Tom van Dijk in live broadcast: 'AI in Education'
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News and Group Colloquium
News
Tom van Dijk in live broadcast: 'AI in Education'
Tom van Dijk in live broadcast: 'AI in Education'
Previous article
Next article
Tuesday 27 February 2024
Watch the entire broadcast
here
!
More recent news
Thu 4 Dec 2025
Florian Bonensteffen will defend his thesis on Friday 5 December
Thu 4 Dec 2025
Faizan Ahmed wins the Educational Cake Inter-Actief
Wed 26 Nov 2025
NWO Diversity & Inclusion Initiative Award 2025 for Alice & Eve
Mon 24 Nov 2025
Valentijn Hol won KHMW Young Talent Master thesis Award for Computer Science
Tue 11 Nov 2025
Papers of the Month: November 2025
News summary
Close
Suggestions