Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 11 - 14 June 2019

Programme

 

Overview

Time

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

 

 

 

Changes to the programme may occure.

 

 

 

LOGO