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
Thu 8 Jan 202620-23 January: CYCLIC Winter School, hosted at the UT
Thu 18 Dec 2025Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
Tue 9 Dec 2025Papers of the Month: December 2025
Thu 4 Dec 2025Florian Bonensteffen will defend his thesis on Friday 5 December
Thu 4 Dec 2025Faizan Ahmed wins the Educational Cake Inter-Actief
