Papers of the Month: May 2024EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
2nd place of student teams at VerifyThis 2024The student team "VerCors {P1*P2}" got the second place in the student team category at the 2024 edition of VerifyThis.
Congratulations to Pieter Bos and Alexander Stekelenburg for this achievement!Read more
Papers of the Month: May 2024
2nd place of student teams at VerifyThis 2024
Papers of the Month: April 2024
DMB Collaborates with Police Academy, Netherlands Forensic Institute and Saxion on
Faizan Ahmed appointed Programme Director BIT
Professor Joost-Pieter Katoen inducted into the Leopoldina Academy of Sciences
FMT Papers of the Month: March 2024
Tom van Dijk in live broadcast: 'AI in Education'
No more sleep-induced lectures
FMT Papers of the Month: February 2024
DMB one of the winners of the ten Pioneers of Healthcare projects
The Modular Integrated Sustainable Datacenter project (MISD) project receives funding for 5 years under the European IPCEI-CIS program
