Participation

Important Dates

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 2025 in Hamilton, Canada.

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

More details and a full program will be announced here on the website.

We particularly encourage participation of:

Travel Grants

TBA