Programme

Program overview

 

18 June (Monday)

19 June (Tuesday)

20 June (Wednesday)

21 June (Thursday)

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