Seminars 2024-2025

Miriam Kurtzhals (University of Barcelona) will give a talk on "The Beth companion: making implicit operations explicit"

Ivan Di Liberti (Göteborgs universitet) will give a talk on "Logics in the 2-category of topoi"

Beppe Metere (Università di Milano) will give a talk on "Unital actions"

George Metcalfe (University of Bern) will give a talk on "Equational Theories of Idempotent Semifields"

Marino Gran (Université catholique de Louvain) will give a talk on "Semi-abelian categories, cocommutative Hopf algebras and Hopf braces"

Luca Spada (Università di Salerno) will give a talk on "Hölder’s theorem for totally ordered monoids"

Gabriele Lobbia (Università di Bologna) will give a talk on "Sketches and Classifying Logoi"

Jérémie Marquès (Università di Milano) will give a talk on "Monadic monadic second order logic (and polyadic transformers)"

Rosario Mennuni (Università di Milano) will give a talk on "Ordered groups, valued fields, and generic automorphisms"

Luca Reggio (Università di Milano) will give a talk on "Resource-bounded logics: a categorical and modal view"