Participation
Important Dates for VerifyThis 2027
- Early registration deadline (physical attendees): TBD
- Normal registration deadline (physical attendees): TBD
- Registration deadline (virtual attendees): TBD
- Competition: April 10 and April 11 2027
Participation at VerifyThis 2027
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 2027 in Copenhagen, Denmark.
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