VerifyThis@ETAPS
– or –
VerifyThis LTC
Events & News
Current Challenge: Memcached
Contacts
2026 Organizers
Sacha-Elie Ayoun
Thibault Dardinier
LTC Organizers
Mailing list
Gidon Ernst
Alexander Weigl
Steering Committee
Marieke Huisman
Rosemary Monahan
Peter Müller
Mattias Ulbrich