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
Thu 5 Feb 2026PhD defence Bram Kohlen: 12 February, 10:30
Tue 3 Feb 2026NeXAI
Fri 30 Jan 2026PhD Defence Işıl Baysal Erez | Handling Missing Data with Meta-Learning and Large Language Models
Fri 23 Jan 2026Andrea Continella receives Runner-Up prize in Dutch Cybersecurity Research Paper Award
Sat 17 Jan 2026Newly Accepted Papers: DMB Research Highlights