Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45See: PhD Defence Akshay Dhonthi Ramesh Babu | Safe Journeys | Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous VehiclesRead more
Best Paper Award at COORDINATION 2025Bob Rubbens, Petra van den Bos and Marieke Huisman won the COORDINATION 2025 Best Paper Award for their submission titled "Verified Parameterized Choreographies". Congratulations! The prize was awarded and celebrated at the DisCoTec umbrella conference banquet.Read more
Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45
Best Paper Award at COORDINATION 2025
Papers of the Month: June 2025
Kick-off AMELIA project
Marieke Huisman ended her term as SC chair of the ETAPS conferences
Presentation on LLL at UCPH by Marielle Stoelinga
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