Papers of the Month: May 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
Marieke Huisman gave keynote at ICT.OPENAt the ICT.OPEN conference, on 16 April, Marieke Huisman gave a keynote presentation, which was well-received: 'The future of software verification'. See Marieke Huisman | ICT OpenRead more
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
Welcome to Robert, Mark and Shoaib!
NWO ENW-XL Open Competition Grant to improve the quality of software awarded to Georgiana Caltais
