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
Tue 28 Nov 2023
Marieke Huisman winner of the 2023 NWO Athena Award
Mon 27 Nov 2023
Marielle Stoelinga new member of the Scientific Steering Group of ERJU
Wed 15 Nov 2023
SEFM Best Paper Award
Fri 10 Nov 2023
4 fresh Doctors!
Fri 10 Nov 2023
Papers of the Month:
News summary
Close
Suggestions
