FORSYTE paper "The Vampire Diary" receives Distinguished Paper Award
Wednesday, Jul 23, 2025The paper titled “The Vampire Diary” co-authored by FORSYTE group members Robin Coutelier, Márton Hajdu, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov; and former group members Matthias Hetzenberger, Petra Hozzová, Jakob Rath, Michael Rawson and Martin Suda, has received a Distinguished Paper Award at the CAV (Computer-Aided Verification) 2025 conference.