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
Wed 21 May 2025
Marieke Huisman ended her term as SC chair of the ETAPS conferences
Wed 21 May 2025
Presentation on LLL at UCPH by Marielle Stoelinga
Mon 19 May 2025
Tubantia interview Marielle Stoelinga (in Dutch)
Thu 15 May 2025
SPIN 2025 Best Paper Award
Fri 2 May 2025
Papers of the Month: May 2025
News summary
Close
Suggestions