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
Wed 27 Mar 2024
Faizan Ahmed appointed Programme Director BIT
Tue 12 Mar 2024
FMT Papers of the Month: March 2024
Tue 27 Feb 2024
Tom van Dijk in live broadcast: 'AI in Education'
Mon 5 Feb 2024
FMT Papers of the Month: February 2024
Fri 12 Jan 2024
Two new PhD students starting within FMT
News summary
Close
Suggestions