Formalization of Cohomology Theories
Banff International Research Station (BIRS), Canada
Banff International Research Station (BIRS), Canada
Institute for Pure & Applied Mathematics, UCLA, USA
ILLC, UvA, Amsterdam, The Netherlands
Programming Languages group at Delft University of Technology, The Netherlands
ICERM, Brown University, USA
CMU, Pittsburgh, USA
Baker Hall, Carnegie Mellon University, CMU, Pittsburgh, USA
CMU, Pittsburgh, USA
Universities of Leicester, Leeds, Birmingham, and Sheffield, UK
Max Planck Institute for Mathematics, Bonn, Germany
Herrsching, Germany
University of Utrecht
Leeds, Cambridge, Doorn, Amsterdam, Brno
University of Leeds.
Max Planck Institute for Mathematics, Bonn, Germany
Lake Como School of Advanced Studies and Università degli Studi dell’Insubria
Vichy, France
Ohrid
University of Copenhagen, Denmark
KU Leuven, Belgium
IHES, Le Bois-Marie
University of Helsinki, Finland
University of Oxford, UK
University of Oxford, UK