- 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: April 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 2024
- Papers of the Month: April 2024
- Faizan Ahmed appointed Programme Director BIT
- FMT Papers of the Month: March 2024
- Tom van Dijk in live broadcast: 'AI in Education'
- FMT Papers of the Month: February 2024
- Two new PhD students starting within FMT
- Papers of the month: January 2024
- Incentive grants for Vadim Zaytsev and Moritz Hahn
- Faizan Ahmed Programme Director BIT
- Tune in: data-driven maintenance marvels in new podcast series
- Papers of the month: