Draft programme — subject to change (in particular the social outing, which depends on weather). Speakers and exact titles will be filled in as topic leads confirm invitations.
Typical topic block: ~1 h talk followed by ~1.5 h informal coding / discussion.
| Time |
|
| 9:30 – 10:30 |
Talk |
| 10:30 – 12:00 |
Working group / coding |
| 12:00 – 14:00 |
Lunch |
| 14:00 – 15:00 |
Talk |
| 15:00 – 16:30 |
Working group / coding |
| 16:30 – 17:30 |
Talk |
| 17:30 – 19:00 |
Working group / coding |
| 19:00 |
Dinner |
Monday 4 January — Arrival & talks
| Time |
|
| ~12:00 |
Arrivals (lunch if present) |
| 14:00 – 15:00 |
Talk |
| 15:00 – 16:30 |
Talk / discussion |
| 16:30 – 17:30 |
Talk |
| 17:30 – 19:00 |
Break / setup |
| 19:00 |
Dinner |
| evening |
Poster session (submission — details TBA) |
Tuesday 5 January — Backends
| Time |
|
| 9:30 – 10:30 |
Talk |
| 10:30 – 12:00 |
Working group / coding |
| 12:00 – 14:00 |
Lunch |
| 14:00 – 15:00 |
Talk |
| 15:00 – 16:30 |
Working group / coding |
| 16:30 – 17:30 |
Talk |
| 17:30 – 19:00 |
Working group / coding |
| 19:00 |
Dinner |
Wednesday 6 January — Social & HPC
| Time |
|
| morning |
Optional social — Aiguille du Midi (weather-dependent) |
| 12:00 – 14:00 |
Lunch (depending on social) |
| 14:00 – 15:00 |
HPC — Talk |
| 15:00 – 16:30 |
HPC — Working group / coding |
| 16:30 – 17:30 |
HPC — Talk |
| 17:30 – 19:00 |
HPC — Working group / coding |
| 19:00 |
Dinner |
Thursday 7 January — HPC & Front-ends
| Time |
|
| 9:30 – 10:30 |
HPC — Talk |
| 10:30 – 12:00 |
HPC — Working group / coding |
| 12:00 – 14:00 |
Lunch |
| 14:00 – 15:00 |
Front-ends — Talk |
| 15:00 – 16:30 |
Front-ends — Working group / coding |
| 16:30 – 17:30 |
Front-ends — Talk |
| 17:30 – 19:00 |
Front-ends — Working group / coding |
| 19:00 |
Dinner |
| Time |
|
| 9:30 – 10:30 |
Formal methods & IR — Talk |
| 10:30 – 12:00 |
Formal methods & IR — Working group / coding |
| ~12:00 |
Wrap-up / departures (before noon) |
See also Topics for topic descriptions and leads.