VerifyThis@ETAPS
– or –
VerifyThis LTC
Program
Participation
Call for Problems
Challenges
Latest Awards
Archive
Program
The program for VerifyThis will be made available closer to the competition in 2026, stay tuned!
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