Participation

Important Dates

• Travel grant application deadline: TBA
• Early registration deadline (physical attendees): April 1, 2025; February 28, 2025
• Normal registration deadline (physical attendees): April 18, 2025; March 21, 2025
• Registration deadline (virtual attendees): April 18, 2025
• Competition: May 3rd and 4th, 2025

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:

• student teams (this includes PhD students)
• non-developer teams / using a tool someone else developed
• several teams using the same tool

Travel Grants

TBA