FSEN 2027 and IPA Spring Days at the University of Twente!FSEN’27 (Fundamentals of Software Engineering, 24 and 25 May) and IPA Spring days (26, 27 May) will be organised together at Uparkhotel! More information will follow in due time (and contact person is Georgiana Caltais).Read more
Papers of the Month: August 2026EACH 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
FSEN 2027 and IPA Spring Days at the University of Twente!
Papers of the Month: August 2026
Papers of the Month: July 2026
FMT welcomes three new visitors: Brenda, Lucio and Filiz
29 June: Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award 2026
Fresh DR Philip Tasche!
Research proposal funded!
New colleague and visitors
Papers of the Month: June 2026
Tentamenvraag Diamonds of CS - Software Diamond in De Ingenieur
Kicking off the Week of Education with Ed Brinksma & Innovation Awards
Marieke Huisman interview in Algemeen Dagblad
