Papers of the Month: July 2025EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
Akshay Dhonthi has become a Doctor on Monday 7 JulySee: PhD Defence Akshay Dhonthi Ramesh Babu | Safe Journeys | Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous Vehicles
Congratulations Akshay!Read more
Papers of the Month: July 2025
Akshay Dhonthi has become a Doctor on Monday 7 July
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