[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
********************************************************************************
VerifyThis Verification Competition 2026
CALL FOR PARTICIPATION
Competition to be held at ETAPS 2026
https://urldefense.com/v3/__https://verifythis.github.io__;!!IBzWLUs!VttUyhdJvxZZzNf44558Qws4SFlJmoGblhbsFdKNoTg8z95UkFxxIRomJWuaCOzyCuMV-U9MpHWkPjWPsm8SlyVHCEA_8_3i_t8C8iI$
********************************************************************************
IMPORTANT DATES
Travel grant application deadline: March 3rd
Early registration deadline (physical attendees): March 10, 2026
Normal registration deadline (physical attendees): April 3, 2026
Registration deadline (virtual attendees): April 3, 2026
Competition: April 11th and 12th 2026
ABOUT
VerifyThis is a series of program verification competitions, which has taken
place annually since 2011 (with the exception of 2020). Previous competitions
in the series have been held at FoVeOOS 2011, FM 2012, Dagstuhl (April 2014),
and ETAPS 2015—2025.
The aims of the competition are:
- to bring together those interested in formal verification, and to provide an
engaging, hands-on, and fun opportunity for discussion.
- to evaluate the usability of program verification techniques and tools.
The competition will offer a number of challenges presented in natural language
and pseudo code. Participants have to formalize the requirements, implement a
solution, and formally verify the implementation for adherence to the
specification.
There are no restrictions on the programming language and verification
technology used. The correctness properties posed in problems will have the
input-output behavior of programs in focus. Solutions will be judged for
correctness, completeness, and elegance.
The use of AI-based tools is allowed; solutions to challenges need to mention
which AI tools were used, if any.
PARTICIPATION
Participation is open for anybody interested. Teams of up to two people are
allowed. VerifyThis will be held as a hybrid workshop as part of ETAPS 2026 in
Turin, Italy. Registration for physical attendance of ETAPS workshops is
required. Early registration is open until March 10, 2025. To register as a
physical attendee, please go to
https://urldefense.com/v3/__https://etaps.org/2026/registration/__;!!IBzWLUs!VttUyhdJvxZZzNf44558Qws4SFlJmoGblhbsFdKNoTg8z95UkFxxIRomJWuaCOzyCuMV-U9MpHWkPjWPsm8SlyVHCEA_8_3ihC0qjbc$
and register for both Saturday and Sunday. The actual competition will happen
on the first day, whereas the second day will be used to discuss and evaluate
the solutions. To register as a virtual attendee, please complete the
registration form at
https://urldefense.com/v3/__https://forms.gle/HzDHWzuhERGw2WaZ8__;!!IBzWLUs!VttUyhdJvxZZzNf44558Qws4SFlJmoGblhbsFdKNoTg8z95UkFxxIRomJWuaCOzyCuMV-U9MpHWkPjWPsm8SlyVHCEA_8_3ishzalvw$
.
More details and a full program will be announced on the VerifyThis website
https://urldefense.com/v3/__https://verifythis.github.io__;!!IBzWLUs!VttUyhdJvxZZzNf44558Qws4SFlJmoGblhbsFdKNoTg8z95UkFxxIRomJWuaCOzyCuMV-U9MpHWkPjWPsm8SlyVHCEA_8_3i_t8C8iI$
.
We particularly encourage participation of:
* student teams (this includes PhD students)
* non-developer teams / using a tool someone else developed
* several teams using the same tool
WORKSHOP DINNER
The workshop dinner for VerifyThis will be held on the Saturday April 11th.
To attend, please select the option that includes dinner on that day when
registering to ETAPS.
TRAVEL GRANTS
We anticipate having funds for a limited number of travel grants to cover the
incurred travel and accommodation costs up to a certain limit.
Please submit your application to the following form:
https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSerenw56tJTNQwMoB8MQrqeMDxriiVxWmO7SIokxHTD-Dk2Dg/viewform__;!!IBzWLUs!VttUyhdJvxZZzNf44558Qws4SFlJmoGblhbsFdKNoTg8z95UkFxxIRomJWuaCOzyCuMV-U9MpHWkPjWPsm8SlyVHCEA_8_3iwcCyCVk$
ORGANIZERS
* Thibault Dardinier, EPFL, Switzerland
* Sacha-Élie Ayoun, Imperial College London, United Kingdom
STEERING COMMITTEE
* Marieke Huisman, University of Twente, the Netherlands
* Rosemary Monahan, Maynooth University Maynooth, Ireland
* Peter Müller, ETH Zurich, Switzerland
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
