VerifyThis will be held at IST Torino, Via Jacopo Durandi 10 in rooms 2 and 3.
See also the official programme of ETAPS.
Note: in case you are not available on Sunday, please let the organisers know before the competition.
| Time | Title |
|---|---|
| 08:45 - 9:00 | Announcements and Introduction |
| 09:00 - 10:00 | Challenge Session 1 |
| 10:00 - 10:30 | Coffee Break |
| 10:30 - 10:45 | Team Introductions |
| 10:45 - 12:30 | Challende Session 2 |
| 12:30 - 14:00 | Lunch |
| 14:00 - 16:00 | Challenge Session 3 |
| 16:00 - 16:30 | Coffee Break |
| 16:30 - 17:30 | Challenge Session 4 |
| 19:30 | Workshop Dinner |
| Time | Title |
|---|---|
| 8:45 - 9:00 | Arrival |
| 9:00 - 10:00 | Invited Tutorial (Part 1) – Velvet: A Multi-Modal Verifier for Effectful Programs |
| 10:00 - 10:30 | Coffee Break |
| 9:00 - 10:00 | Invited Tutorial (Part 2) – Velvet: A Multi-Modal Verifier for Effectful Programs |
| 11:00 - 12:30 | Judging – Discussion of solutions |
| 12:30 - 14:00 | Lunch |
| 14:00 - 16:00 | Judging – Discussion of solutions |
| 16:00 - 16:30 | Coffee Break |
| 16:30 - 17:30 | Judging – Discussion of solutions |