Thursday 15 May 2025
We congratulate Yanni Dong, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga with their success of winning the Best Paper Award at the 31st International Symposium on Model Checking Software, 7-8 May, Hamilton, Canada!
More recent news
Tue 10 Mar 2026Papers of the Month: March 2026
Tue 3 Mar 2026Strong Performance of FMT Group at VERSEN Thesis Awards
Tue 17 Feb 2026Rom Langerak Teacher of the Year Computer Science!
Fri 13 Feb 2026Papers of the Months: January and February 2026
Thu 5 Feb 2026PhD defence Bram Kohlen: 12 February, 10:30