Papers of the Month: September 2024EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
Papers of the Month: July and August 2024EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
Papers of the Month: September 2024
Papers of the Month: July and August 2024
Petra van den Bos (FMT) and Silke Glas (MAST) among awardees in NWO’s Open Competition ENW-M
Marielle Stoelinga on EenVandaag
Two new PhD students started at FMT
Papers of the Month: June
UT and Central Government launch Digital Design & Architecture course
Papers of the Month: May 2024
2nd place of student teams at VerifyThis 2024
Papers of the Month: April 2024
Faizan Ahmed appointed Programme Director BIT
FMT Papers of the Month: March 2024
