VerifyThis@ETAPS
– or –
VerifyThis LTC
Program
Participation
Call for Problems
Challenges
Latest Awards
Archive
Latest Awards
The winners from 2024 are:
Best Team
Best Student Team
Most Impressive Tool
Best Contributed Problem
The winners of previous competitions are listed in the
archive
.
Contacts
2025 Organizers
Jenna DiVincenzo
Thomas Wies
LTC Organizers
Mailing list
Gidon Ernst
Alexander Weigl
Steering Committee
Marieke Huisman
Rosemary Monahan
Peter Müller
Mattias Ulbrich