CATMI 2023 Category Theory at Work in Computational Mathematics and Theoretical Informatics

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.