Conference
CATMI 2023: Category Theory at Work in Computational Mathematics
In-Person
Location: Grand Hotel Terminus, Bergen, Norway
About
Conference bringing together mathematicians and informaticians to exchange ideas on applying category theory, type theory, and homotopy theory to structure complex problems in mathematics, computations, and theoretical computer science.
Abstract
Conference on category theory applications in computational mathematics and theoretical informatics.