Monday

Opening
9:45 am - 10:00 am
Henning

Genuine pairs and the trouble with triples in homotopy type theory
10:00 am - 11:00 am
by Ulrik Buchholtz

Break
11:00 am - 11:30 am

Recursion
11:30 am - 12:30 pm
chair: Rasmus Ejlers Møgelberg

Lunch
12:30 pm - 1:30 pm

Inductive Types
1:30 pm - 2:00 pm
chair: Niccolò Veltri

Working Groups
2:00 pm - 2:30 pm

Break
2:30 pm - 2:45 pm

Working Groups
2:45 pm - 3:45 pm

Inductive Types
3:45 pm - 4:00 pm
chair: Niccolò Veltri