Papers of the Month: February 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
Papers of the Month: January 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
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
ENIAC thesis award for Jerre Starink
Papers of the Month: December 2024
New Doctor: Stefano Nicoletti
Papers of the Month: November 2024
FMT congratulates Prof. Joost-Pieter Katoen on his 60th birthday
New FMT member: Benedikt Peterseim
Runner-Up Notification: 2024 Informatics Europe Minerva Informatics Equality Award
Marielle features in Nu.nl