VerifyThis@ETAPS
– or –
VerifyThis LTC
Events & News
Current Challenge: Memcached
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