Tuesday

11 June

Wednesday

12 June

Thursday

13 June

Friday

14 June

08:00

Registration

Conference opening by Marc Bezem

Registration

09:00

TYPES Invited Talk

HoTT-UF Invited Talk

TYPES & HoTT-UF Invited Talks

TYPES & HoTT-UF Invited Talks

10:00

Contributed Talks

Break

Contributed Talks

Contributed Talks

10:30

Break

TYPES Invited Talk

Break

Break

11:00

Contributed Talks

HoTT-Uf Invited Talk & TYPES Contributed Talks

HoTT-Uf Invited Talk & TYPES Contributed Talks

11:30

HoTT-UF Invited Talk

12:30

Lunch

Lunch

Lunch

Lunch

14:00

Contributed Talks

Contributed Talks

HoTT-Uf Invited Talk & TYPES Contributed Talks

HoTT-Uf Invited Talk & TYPES Contributed Talks

15:00

Break

HoTT-Uf Invited Talk (15:15)

HoTT-Uf Invited Talk (15:15)

15:30

Break

HoTT-UF Invited Talk

Break

Break

16:00

COST WG meeting

Types business meeting

16:30

Excursion & Dinner