Programme

All times are in Central European Summer Time (CEST, UTC+2).

Monday Tuesday Wednesday Thursday Friday
9:45 am
Opening

–

10:00 am
Genuine pairs and the trouble with triples in homotopy type theory

–

by Ulrik Buchholtz
New Type Theories

–

chair: Ambrus Kaposi
Logical and Semantic Principles

–

chair: Herman Geuvers
On the constructive content of infinitary classical theories

–

by Sara Negri
All your base categories are belong to us

–

by Pierre-Marie Pédrot
10:15 am
10:30 am
10:45 am
11:00 am
Break

–

Break

–

Break

–

Break

–

Break

–

Business Meeting

–

11:15 am
11:30 am
Recursion

–

chair: Rasmus Ejlers Møgelberg
Computation and Intersection Types

–

chair: Silvia Ghilezan
Model Theory

–

chair: Fredrik Nordvall Forsberg
Proof Assistants Foundations

–

chair: Jesper Cockx
Proof Assistants Applications

–

chair: Matthieu Sozeau
11:45 am
12:00 pm
12:15 pm
12:30 pm
Lunch

–

Lunch

–

Lunch

–

Lunch

–

Lunch

–

12:45 pm
1:00 pm
1:15 pm
1:30 pm
Inductive Types

–

chair: Niccolò Veltri
Working Groups

–

Proof Theory

–

chair: Delia Kesner
Modal Type Theory

–

chair: Conor McBride
Closing Discussion

–

1:45 pm
2:00 pm
Working Groups

–

2:15 pm
Break

–

Break

–

2:30 pm
Break

–

Working Groups

–

Business Meeting

–

2:45 pm
Working Groups

–

Break

–

3:00 pm
Session Logical Relations for Noninterference

–

by Stephanie Balzer
3:15 pm
3:30 pm
3:45 pm
Inductive Types

–

chair: Niccolò Veltri
5:00 pm
Social Gathering

–

This is open-ended. 🙂
5:15 pm
5:30 pm
5:45 pm

Monday

Tuesday

Wednesday

Thursday

Friday