TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024
Tentative Programme
| Monday | |
|---|---|
| 08:20 ‑ 08:50 | Registration |
| 08:50 ‑ 09:00 | Welcome |
| 09:00 ‑ 10:00 | Session 1: Invited Talk |
| 10:00 ‑ 10:40 | Session 2 |
| 10:40 ‑ 11:10 | Coffee Break |
| 11:10 ‑ 12:30 | Session 3 |
| 12:30 ‑ 14:00 | Lunch |
| 14:00 ‑ 15:20 | Session 4 |
| 15:20 ‑ 15:50 | Coffee Break |
| 15:50 ‑ 17:10 | Session 5 |
| 17:10 ‑ 18:10 | Business Meeting |
| Tuesday | |
|---|---|
| 08:30 ‑ 09:00 | Registration |
| 09:00 ‑ 10:00 | Session 6: Invited Talk |
| 10:00 ‑ 10:40 | Session 7 |
| 10:40 ‑ 11:10 | Coffee Break |
| 11:10 ‑ 12:30 | Session 8 |
| 12:30 ‑ 14:00 | Lunch |
| 14:00 ‑ 15:20 | Session 9 |
| 15:20 ‑ 15:50 | Coffee Break |
| 15:50 ‑ 17:10 | Session 10 |
| 18:30 ‑ 20:00 | Welcome Reception |
| Wednesday | |
|---|---|
| 09:00 ‑ 10:00 | Session 11 |
| 10:00 ‑ 10:40 | Session 12 |
| 10:40 ‑ 11:10 | Coffee Break |
| 11:10 ‑ 12:30 | Session 13 |
| 12:30 ‑ 14:00 | Lunch |
| 14:00 ‑ 15:00 | Session 14 |
| 15:00 ‑ 15:30 | Coffee Break |
| 17:00 ‑ 18:00 | Social Event: Canal Tour |
| Thursday | |
|---|---|
| 09:00 ‑ 10:00 | Session 15: Invited Talk |
| 10:00 ‑ 10:40 | Session 16 |
| 10:40 ‑ 11:10 | Coffee Break |
| 11:10 ‑ 12:30 | Session 17 |
| 12:30 ‑ 14:00 | Lunch |
| 14:00 ‑ 15:20 | Session 18 |
| 15:20 ‑ 15:50 | Coffee Break |
| 15:50 ‑ 17:10 | Session 19 |
| 19:00 | Social Dinner |
| Friday | |
|---|---|
| 09:15 ‑ 10:30 | Session 20: Invited Talk in Memory of Peter Aczel |
| 10:30 ‑ 11:00 | Coffee Break |
| 11:00 ‑ 12:00 | Session 21: Invited Talk in Memory of Peter Aczel |
| 12:00 ‑ 13:30 | Lunch |
| 13:30 ‑ 14:50 | Session 22 |
| 14:50 ‑ 15:20 | Coffee Break |
Social Programme
Welcome Reception
The welcome reception will be hosted at Copenhagen City Hall.
Time: Tuesday, 18:30 - 20:00.
Social Event: Canal Tour
A boat will take us through the canals of Copenhagen.
Time: Wednesday, 17:00 - 18:00.
Social Dinner
The conference dinner will be hosted at Spiseloppen.
Time: Thursday, 19:00.
SPONSORS
HOST
