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
Fri 2 May 2025
Papers of the Month: May 2025
Fri 25 Apr 2025
Marieke Huisman gave keynote at ICT.OPEN
Fri 25 Apr 2025
Marieke Huisman appointed as IPN chair
Fri 4 Apr 2025
Papers of the Month: April 2025
Mon 17 Mar 2025
Papers of the Month: March 2025
News summary
Close
Suggestions