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
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