Thursday 21 May 2026
Marieke Huisman gave an interview for Computable in which she talked about VerCors and software verification. You can find the article here
More recent news
Mon 31 Aug 2026FSEN 2027 and IPA Spring Days at the University of Twente!
Thu 20 Aug 2026Papers of the Month: August 2026
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