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
