Konferanse
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.
Main content
Invited speakers
- Adriana Balan
- Nicolas Behr
- Gemma De les Coves
- Pierre-Louis Curien
- Vladimir Dotsenko
- Loïc Foissy
- Ivan Di Liberti
- Peter LeFanu Lumsdaine
- Joachim Kock
- Dominique Manchon
- Stefan Milius
- Paige North
- Jon Sterling
- Simon Willerton
- Fabio Zanasi
Lectures
The programme will feature two distinguished lecture series:
- Tobias Fritz on categorical probability
- Pawel Sobocinski on diagrammatic relational algebra and applications
12.04.2023