Charles Walker: Terms and derivatives of polynomial functors via negation

Michael Lieberman: Induced stable independence, with applications

25th February, 2021

Calum Hughes: An elementary theory of the 2-category of small categories

5th June, 2024

Mika Göös: Top-Down Lower Bounds for Depth-Four Circuits

24th July, 2023

Raffael Stenzel: (∞,1)-comprehension schemes

24th September, 2020

Alexei Miasnikov: Rich groups and weak second-order logic

21st April, 2022

Alex Lubotzky: First-order rigidity of high-rank arithmetic groups

16th July, 2021