Formalization of Cohomology Theories
Banff International Research Station (BIRS), Canada
Conferences, Workshops and Visits
2023
Machine Assisted Proofs
Institute for Pure & Applied Mathematics, UCLA, USA
visiting Benno van den Berg
ILLC, UvA, Amsterdam, The Netherlands
visiting Benedikt Ahrens
Programming Languages group at Delft University of Technology, The Netherlands
2022
Lean for the Curious Mathematician
ICERM, Brown University, USA
HoTT MURI
CMU, Pittsburgh, USA
visiting Steve Awodey and CMU Category Theory group
Baker Hall, Carnegie Mellon University, CMU, Pittsburgh, USA
2021
HoTT MURI Team Meeting
CMU, Pittsburgh, USA
2020
Yorkshire and Midlands Category Theory Seminar (YaMCATS)
Universities of Leicester, Leeds, Birmingham, and Sheffield, UK
Workshop on Infinity Categories and Their Applications
Max Planck Institute for Mathematics, Bonn, Germany
2019
Foundations and Applications of Univalent Mathematics
Herrsching, Germany
WoLLIC 2019
University of Utrecht
Peripatetic Seminar on Sheaves and Logic
Leeds, Cambridge, Doorn, Amsterdam, Brno
2018
Das Kontinuum – 100 years later
University of Leeds.
Higher Algebra and Mathematical Physics
Max Planck Institute for Mathematics, Bonn, Germany
Toposes In Como
Lake Como School of Advanced Studies and Università degli Studi dell’Insubria
Logic and Categories at Unilog
Vichy, France
2017
EU-Types Summer School
Ohrid
2016
Young Topologist Meeting
University of Copenhagen, Denmark
Higher Geometric Structures Along The Lower Rhine VII
KU Leuven, Belgium
2015
IHES Topos
IHES, Le Bois-Marie
Logic Colloquium 2015
University of Helsinki, Finland
QPL 2015
University of Oxford, UK
2014
HoTT workshop, QMAC
University of Oxford, UK