Scientific activities

• CHoCoLa seminar, Université de Lyon, 2025 (invited talk).

Quantifier-free formulas and quantifier alternation depth in doctrines. 

• 5th Itaca Workshop, Università degli Studi di Padova, 2024.

Quantifier-free formulas and quantifier alternation depth in doctrines. (slides)

• Local Seminar of the logic group, Università degli Studi di Padova, 2024, with Marco Abbadini.

Quantifier alternation depth in universal Boolean doctrines.

• Groupe de travail "Semantique", Institut de Recherche en Informatique Fondamentale (IRIF), Paris, 2024.

Henkin's Theorem for doctrines.

• Local Seminar of the logic group, Università degli Studi di Salerno, 2023 (invited talk).

A doctrinal view of logic.

• Local Seminar of the logic group, Università degli Studi di Milano, 2023.

A doctrinal view of logic.

• ItaCa Fest, 2023.

A doctrinal view of logic. (video)

• Seminari "Insalate di Matematica", Università degli Studi Milano-Bicocca, 2021.

An introduction to Lawvere's doctrines.

• PhD - days, Università degli Studi di Milano, 2020.

Categorical logic: an introduction to doctrines.

• PhD Days 2021, Università degli Studi di Milano, 2021, December 14-17. 

• ItaCa course: I worked with the community of ItaCa on an online course (link) on elementary category theory, addressed to Italian students.