Tuesday 23 April 2024
The 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!
More recent news
Wed 8 Jul 2026Papers of the Month: July 2026
Thu 2 Jul 2026FMT welcomes three new visitors: Brenda, Lucio and Filiz
Tue 30 Jun 202629 June: Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award 2026
Wed 17 Jun 2026Fresh DR Philip Tasche!
Mon 8 Jun 2026Research proposal funded!