Papers of the Month: April 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
Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement AwardWe are very proud of our FMT group member, Joost-Pieter Katoen, for being awarded the KHMW Langerhuizen Lifetime Achievement Award. A great recognition for all the work he has done! Congratulations, Joost-Pieter!
see his LinkedIn postRead more
Papers of the Month: April 2026
Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award
NEAT project awarded!
Papers of the Month: March 2026
Strong Performance of FMT Group at VERSEN Thesis Awards
Rom Langerak Teacher of the Year Computer Science!
Papers of the Months: January and February 2026
PhD defence Bram Kohlen: 12 February, 10:30
20-23 January: CYCLIC Winter School, hosted at the UT
Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
Papers of the Month: December 2025
Florian Bonensteffen will defend his thesis on Friday 5 December
