Charles Walker: Terms and derivatives of polynomial functors via negation

Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory.

26th November, 2020

Raffael Stenzel: (∞,1)-comprehension schemes

24th September, 2020

Alexei Miasnikov: Rich groups and weak second-order logic

21st April, 2022

Martina Conte: Definability of the rank and the dimension of p-adic analytic pro-p groups

31st March, 2023

Thomas Koberda: First-order rigidity of homeomorphism groups of manifolds

9th December, 2022

Nathanael Arkor: Higher-order algebraic theories and relative monads

13th May, 2021