Challenge 1 submission deadline 12:30 CEST.
Challenge 2 submission deadline 16:00 CEST.
Challenge 3 submission deadline 18:30 CEST.
Self-Assessment Form submission deadline 19:00 CEST.
The repository for Michael Sammler's RefinedC tutorial can be found here.
Please complete the diversity survey. The VerifyThis steering committee, organisers and sponsors have worked together to put a plan in place to increase the diversity of representation at VerifyThis workshops. Participants' provision of this data is voluntary, and the data will be collected and stored anonymously i.e. separate from any personally identifying data and to avoid any unconscious bias in judging team submissions to the verification competition.
Recipients should provide printed claimant details (the first table in this form) and add a signature and date on the right-hand side under claimant. We will complete the other parts of the form. There is no need to present receipts at present, but claimants should maintain a record of their registration in case it is required at the time of payment. Please send completed forms to verifythis@googlegroups.com
Acid Jazz - Jonas Fiala and Thibault Dardinier
VerCors Yellow - Robert Rubbens and Philip Tasche
Team CIVL - Stephen Siegel
Stainless
Used by assert(false) - Noé De Santo and Mario Bucev