CATMI 2023

Category Theory at Work in Computational Mathematics and Theoretical Informatics

Bergen, June 26–30

Home Programme Venue


The registration is now open. The registration is free, but the daily costs for lunches at the conference hotel is NOK 300. Invited speakers will have lunches covered.

To register, fill out the registration form.


The meeting is an activity organised by the Lie-Størmer Center, a newly founded Norwegian research center for fundamental structures in computational and pure mathematics, and aims at bringing together a mix of people from mathematics and informatics to exchange ideas on how we apply concepts and tools from category theory, type theory, and homotopy theory to structure complex problems and research in mathematics, computations and theoretical computer science.