Functor Categories, Model Theory, and Constructive Category Theory
University of Málaga July 03-07, 2023
University of Málaga July 03-07, 2023
Workshop at Ghent University March 7-10, 2023
Workshop at the University of Siegen February 13-16, 2023
Algebra winter school held at the University of Helwan, Cairo December 10-21, 2022
Our research group is part of a consortium to develop a quantum software stack funded by the German Federal Ministry of Economic Affairs and Climate Action. ...