Papers of the Month: March 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
Fernando Castor featured in Studium Generale:See: https://www.utwente.nl/en/sg/programme/2025/3/30289/our-digital-footprint
The video on YouTube (for the entire event) is here: https://www.youtube.com/watch?v=SpaYfUN4TPc&t=3841s
Fernando's talk was on Green Software Development.Read more
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
ENIAC thesis award for Jerre Starink
Papers of the Month: December 2024
New Doctor: Stefano Nicoletti
Papers of the Month: November 2024