| |
|
|
|
|
8:20-9:00
|
registration + welcome |
|
|
|
9:00-10:00
|
invited talk: Josef Urban |
invited talk: Delia Kesner |
invited talk: Matthieu Sozeau |
invited talk: Cédric Fournet |
10:00-10:40
|
session 1 (2 talks): Meta-theory |
session 4 (2 talks): Co-induction |
session 6 (2 talks): Logic |
session 10 (2 talks): Partiality |
10:40-11:10
|
coffee break |
coffee break |
coffee break |
coffee break |
11:10-12:30
|
session 2 (4 talks): Applications |
session 5 (4 talks): Semantics |
session 7 (4 talks): Type theory |
session 11 (4 talks): Intersection types |
12:30-14:20
|
lunch |
lunch (until 14:00) |
lunch |
lunch |
14:20-16:00
|
session 3 (5 talks): HOTT and Univalence |
MC Meeting of the COST Action EUType + TYPES Business meetings (14:00-15:30) |
session 8 (4 talks): Tribute to Martin Hofmann |
session 12 (5 talks): Inductive types |
16:00-16:30
|
coffee break |
social programme (15:30-20:00) |
coffee break |
coffee break |
16:30-18:10
|
WG and dissemination meeting of Cost Action EUTypes |
session 9 (3 talks): Formalization (until 17:30) |
session 13 (2 talks): Applications (until 17:10) |
| |
20:00-
|
|
|
conference dinner |
|
