Nathanael Arkor: The (relative) monad–theory correspondence

Alexei Myasnikov: Rich groups and weak second order logic

10th December, 2021

Marcos Mazari-Armida: Model-theoretic stability in classes of modules

12th November, 2020

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

9th December, 2022

Alexei Miasnikov: Rich groups and weak second-order logic

21st April, 2022

Raffael Stenzel: (∞,1)-comprehension schemes

24th September, 2020

Chaitanya Leena Subramaniam: Dependently typed algebraic theories

4th March, 2021