VerifyThis@ETAPS
– or –
VerifyThis LTC
Program
Participation
Call for Problems
Challenges
Latest Awards
Archive
Tags
Scala
Java
MCRL2
Formal Model
Corona
General
Speclang
Hagrid
Casino
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