Computational Category Theory
Session at the ICMS 2026, Waterloo, Ontario, Canada, July 20-23, 2026
Session at the ICMS 2026, Waterloo, Ontario, Canada, July 20-23, 2026
Talk at the Topos Institute Colloquium
Workshop at Université de Picardie Jules Verne in Amiens, France, 1-5 of July, 2024
Our research group is member of the DFG Special Priority Programme SPP 2458 “Combinatorial Synergies”.
Talk at The Berkeley Seminar