Tubantia interview Marielle Stoelinga (in Dutch)Marielle Stoelinga gave an interview to Tubantia, about the predictability of impact of the 50+ years old Sovjet satellite 'Cosmos 482': Turen naar een oude Sovjet-satelliet die op ons afstormt. Of toch niet? | Enschede | tubantia.nlRead more
SPIN 2025 Best Paper AwardWe 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!Read more
Tubantia interview Marielle Stoelinga (in Dutch)
SPIN 2025 Best Paper Award
Papers of the Month: May 2025
Marieke Huisman gave keynote at ICT.OPEN
Marieke Huisman appointed as IPN chair
Papers of the Month: April 2025
Papers of the Month: March 2025
Fernando Castor featured in Studium Generale:
Welcome to María Belén Rodríguez!
Marielle Stoelinga appointed as member of KHMW
Papers of the Month: February 2025
Papers of the Month: January 2025
