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
Mon 10 Jun 2024
Papers of the Month: June
Tue 21 May 2024
UT and Central Government launch Digital Design & Architecture course
Fri 3 May 2024
Papers of the Month: May 2024
Tue 23 Apr 2024
2nd place of student teams at VerifyThis 2024
Tue 9 Apr 2024
Papers of the Month: April 2024
News summary
Close
Suggestions