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 11 Mar 2026NEAT project awarded!
Tue 10 Mar 2026Papers of the Month: March 2026
Tue 3 Mar 2026Strong Performance of FMT Group at VERSEN Thesis Awards
Tue 17 Feb 2026Rom Langerak Teacher of the Year Computer Science!
Fri 13 Feb 2026Papers of the Months: January and February 2026