Stream: Announcements

Topic: VerifyThis 2026: Call for Participation

Thibault Dardinier (Feb 24 2026 at 10:06):

Please distribute widely and consider participating yourself! :)

VerifyThis Verification Competition 2026
CALL FOR PARTICIPATION
Competition to be held at ETAPS 2026
https://verifythis.github.io

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://etaps.org/2026/registration/ 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://forms.gle/HzDHWzuhERGw2WaZ8.
More details and a full program will be announced on the VerifyThis website https://verifythis.github.io.

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://docs.google.com/forms/d/e/1FAIpQLSerenw56tJTNQwMoB8MQrqeMDxriiVxWmO7SIokxHTD-Dk2Dg/viewform

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

Last updated: Mar 11 2026 at 08:47 UTC