CATMI 2023

Category Theory at Work in Computational Mathematics and Theoretical Informatics

Bergen, June 26–30

Home Programme Venue Excursion

Invited speakers

Lectures

The programme will feature two distinguished lecture series:

Abstracts

The programme and abstracts [PDF] (Preliminary version, last updated 2023-06-22)

Conference dinner

This is Tuesday 27th June 19.00 at Grand Hotel Terminus. The menu is:

Those who have informed on dietary restrictions will be served according to this.

Schedule

Mon Tue Wed Thu Fri
08:50 – 09:00 Opening
09:00 – 09:45 Fritz Sobocinski Curien Fritz Balan
10:00 – 10:45 Sobocinski Fritz Milius Sobocinski LeFanu Lumsdaine
11:00 – 11:30 coffee coffee coffee coffee coffee
11:30 – 12:15 Kock Foissy free North Behr
12:30 – 13:30 lunch lunch lunch lunch lunch
14:00 – 14:45 Gong 1 Zanasi free Manchon end
15:00 – 15:30 coffee coffee coffee
15:30 – 16:15 Grinberg Willerton Di Liberti
16:30 – 17:15 Gong 2 Sterling Gonda