FOUNT: Towards a systematic methodology for foundational ontologies: properties, relations, and truthmaking (with G. Guarino and G. Guizzardi). Tutorial at JOWO 2019. link , tutorial page


Ontological Patterns and Anti-pattenrs for the modeling of complex enterprise relationships. Tutprial at CAISE 2019 (with G. Guarino and G. Guizzardi). 31st International Conference on Advanced Information Systems Engineering. Rome, Italy. June 2019. link


Introduction to Judgment Aggregation. European Agent Systems Summer School (EASSS). Maastricht, The Netherlands. June 2018. tutorial page


Introduction to the logics of agency. European Agent Systems Summer School (EASSS) (with N. Troquard). Maastricht, The Netherlands. June 2018. tutorial page


Formal Ontological Analysis and Knowledge Representation (FOAKR) (with G. Guarino and G. Guizzardi). 17th International Conference of the Italian Association for Artificial Intelligence, Trento, November 20-23, 2018 (AI*IA). tutorial page


Tutorial Proofs and Dialogues. Workshop “Dialogues and Games: Historical Roots and Contemporary Models”. February 2010. tutorial page




Introduction to Game Theory. Doctoral School on Computer Science, Free University of Bozen-Bolzano. (2016, 2017, 2018, 2019, 2020).

Formal languages and compilers (labs). Free University of Bozen-Bolzano. 2018.

Discrete Mathematics and Logic (labs). Free University of Bozen-Bolzano. 2017.

Data Structures and Algorithms (labs). Free University of Bozen-Bolzano. 2017.

Introduction to Multiagent systems. Doctoral School on Information and Communication Technology, University of Trento. 2016

Introduzione alle logiche dell’azione. Master in Philosophy. University of Genova. Autumn 2015.

Computer Vision Meets Formal Ontology: advanced methods, recent applications and perspectives. (with M. Cristani, R. Ferrario). Trento. June 2015.

Giudizi, preferenze, deliberazioni: modelli di scelta sociale. University of Padova. November 2012. (link)

Logic Programming and Search Techniques. BSc Artificial Intelligence, University of Amsterdam, Autumn 2011.

Normative Foundations and Mathematical Modelling of Egalitarian and Utilitarian Welfare.Master of Logic project, University of Amsterdam, January 2011. course page

Modern Classics in Social Choice Theory. Master of Logic project (co-lecturer), University of Amsterdam, June 2009. course page

Exercise Class in Mathematical Logic, Department of Philosophy, University of Genoa, 2005-2007.

Elements of logic, Master in Cognitive Science, University of Genova. 2005.