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 4 Jul 2025
Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45
Mon 23 Jun 2025
Best Paper Award at COORDINATION 2025
Thu 12 Jun 2025
Papers of the Month: June 2025
Tue 10 Jun 2025
Kick-off AMELIA project
Wed 21 May 2025
Marieke Huisman ended her term as SC chair of the ETAPS conferences
News summary
Close
Suggestions