Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
Previous article
Next article
Tuesday 24 May 2022
See
awk-nrw website
for more (in German)
More recent news
Mon 1 Jul 2024
Two new PhD students started at FMT
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
News summary
Close
Suggestions