Papers of the Month: May 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
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
Papers of the Month: May 2026
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
