Seminars 2024-2025

Sam van Gool (Université Paris Cité) will give a talk on "Unification, duality, and de Bruijn graphs"

Mariana Vicaria (Universität Münster) will give a talk on "An Imaginary Ax-Kochen Ershov principle"

Rodrigo Almeida (University of Amsterdam) will give a talk on "Higher order uniform interpolation and Pitts problem"

Rosario Mennuni (Università di Milano) will give a talk on "Ramsey Witnesses Part 2: Pairwise Problems"

Lorenzo Luperi Baglini (Università di Milano) will give a talk on "Ramsey Witnesses Part 1: The Basics of Arithmetic Ramsey Theory"

Silvio Ghilardi (Università di Milano) will give a talk on "First-order modal logic via logical categories"

Miguel Martins (University of Barcelona) will give a talk on "Counting/determining locally tabular bi-intuitionistic logics of co-trees: a denumerable/decidable problem"

Federica Piazza (Università degli Studi di Messina) and Manuel Mancini (Università degli Studi di Palermo) will give talks on "On split extensions of hoops" and "Action accessible and weakly action...

Andrea Montoli (Università di Milano) will give a talk on "Describing good objects in categories with weak algebraic properties"

Fabio Pasquali (Università di Milano) will give a talk on "Relational quotient completion"