Home » Past seminars

Past seminars

Events
22 May 2025

Seminario MONTOLI

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

Read more
Events
8 May 2025

Seminario ALMEIDA

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

Read more
Events
24 April 2025

Seminario MENNUNI

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

Read more
Events
17 April 2025

Seminario LUPERI BAGLINI

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

Read more
Events
10 April 2025

Seminario GHILARDI

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

Read more
Events
4 April 2025

Seminario MARTINS

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

Read more
Events
27 March 2025

Seminario PIAZZA e MANCINI

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...

Read more
Events
6 March 2025

Seminario KURTZHALS

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

Read more
Events
23 January 2025

Seminario METCALFE

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

Read more
Events
16 January 2025

Seminario GRAN

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

Read more
Events
9 January 2025

Seminario SPADA

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

Read more
Events
5 December 2024

Seminario LOBBIA

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

Read more
Events
28 November 2024

Seminario MARQUÈS

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

Read more
Events
21 November 2024

Seminario MENNUNI

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

Read more
Events
14 November 2024

Seminario REGGIO

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

Read more
Events
7 November 2024

Seminario CARAI

Luca Carai (Università di Milano) will give a talk on "Free algebras and coproducts in varieties of Gödel algebras"

Read more
Events
31 October 2024

Seminario ABBADINI

Marco Abbadini (University of Birmingham) will give a talk on "Quantifier-free fragments and quantifier alternation depth in Boolean doctrines"

Read more
Events
24 October 2024

Seminario CIGOLI

Alan Cigoli (Università di Torino) will give a talk on "Cartesian and additive opindexed categories"

Read more
Events
17 October 2024

Seminario MORASCHINI

Tommaso Moraschini (University of Barcelona) will give a talk on "Epimorphisms surjectivity between finitely generated algebras"

Read more