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.
Organisers: G. Fløystad (Bergen), H. Gylterud (Bergen), H. Munthe-Kaas (Tromsø & Bergen), U. Wolter (Bergen)
Scientific Committee: K. Ebrahimi-Fard (Trondheim), H. Gylterud (Bergen), C. Riener (Tromsø), M. Szymik (Sheffield), U. Wolter (Bergen)
CATMI 2023 is funded by The Trond Mohn Foundation project Pure Math in Norway.