Participation
Call for Participation and Application for Travel Grants
Important Dates
Travel grant application deadline: April 8, 2025
Early registration deadline (physical attendees): April 1, 2025
Normal registration deadline (physical attendees): April 18, 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, please go to: external page https://etaps.org/2025/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: external page https://forms.gle/BRh56QLu34aor8QA7.
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
The competition has funds for a limited number of travel grants for students. A grant covers the incurred travel and accommodation costs up to a certain limit. The currently-expected limit is $750.
We are particularly keen to increase diversity (in all senses) at the competition, and may take this into account if needing to prioritise travel grants; regardless, we strongly encourage you to apply if you have a need.
To apply for a travel grant, complete the form at external page https://forms.gle/oPiFv11dX8G1yR367 by April 8, 2025