VerifyThis@ETAPS
– or –
VerifyThis LTC
Events & News
Current Challenge: Memcached
Contacts
2027 Organizers
Mário Pereira
Neea Rusch
LTC Organizers
Mailing list
Gidon Ernst
Alexander Weigl
Steering Committee
Marieke Huisman
Rosemary Monahan
Peter Müller
Mattias Ulbrich