Program

VerifyThis will be held at Park Hotel Lavisse (the location for all ETAPS 2024 events) in room Schengen II.

Saturday (provisional schedule)

Note: in case you are not available on Sunday, please let the organisers know before the competition.

08:30 Room available; set up tables, power, WiFi

08:50 Announcements and Introduction

09:00 - 10:00 Challenge Session 0

10:00 - 10:30 Coffee Break

10:30 - 12:30 Team Introductions + Challenge Session 1

12:30 - 14:00 Lunch

14:00 - 16:00 Challenge Session 2

16:00 - 16:30 Coffee Break

16:30 - 17:30 Challenge Session 3

In the evening, we plan to go for a social dinner (probably around 7) with any participants interested.

Dinner is not included in the registration.

Note: in case you are not available on Sunday, please let the organisers know before the competition.

Sunday

We encourage all teams to use the workshop room and present and compare their solutions - we will organise an informal schedule (and the coffee breaks and lunch are included). We will arrange a timetable for each team to meet with the judges in parallel throughout the day. Please aim to be available from 9am to 6pm and let us know of hard constraints otherwise.