VerifyThis@ETAPS
– or –
VerifyThis LTC
Program
Participation
Call for Problems
Challenges
Latest Awards
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