Participation

Important Dates for VerifyThis 2026

• Travel grant application deadline: tba
• Early registration deadline (physical attendees): tba
• Normal registration deadline (physical attendees): tba
• Registration deadline (virtual attendees):
• Competition: April 11 and April 12 2026

Participation at VerifyThis 2026

Participation is open for anybody interested. Teams of up to two people are allowed. VerifyThis will be held as part of ETAPS 2026 in Turino, Italy.

Registration for physical attendance of ETAPS workshops is required. To register as a physical attendee, use the registration page of ETAPS'2026 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.

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

Travel Grants

TBA