Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Tom van Dijk in live broadcast: 'AI in Education'
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
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
Fri 4 Jul 2025
Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45
Mon 23 Jun 2025
Best Paper Award at COORDINATION 2025
Thu 12 Jun 2025
Papers of the Month: June 2025
Tue 10 Jun 2025
Kick-off AMELIA project
Wed 21 May 2025
Marieke Huisman ended her term as SC chair of the ETAPS conferences
News summary
Close
Suggestions