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
Tue 23 Apr 2024
2nd place of student teams at VerifyThis 2024
Tue 9 Apr 2024
Papers of the Month: April 2024
Wed 27 Mar 2024
Faizan Ahmed appointed Programme Director BIT
Tue 12 Mar 2024
FMT Papers of the Month: March 2024
Mon 5 Feb 2024
FMT Papers of the Month: February 2024
News summary
Close
Suggestions