| 2024-... | Knowledge Representation (22 hours on ontologies in AI Master's module) |
| University of Bordeaux, Bordeaux, France | |
| 2019-... | Knowledge Representation, parcours IA (9 hours this year on ontologies) |
| Enseirb Engineering School, Bordeaux, France | |
| 2018-2023 | Logic and Languages (given yearly, 8-10 lectures on Description Logics) |
| University of Bordeaux, Bordeaux, France | |
| 2021 | Crash Course on Ontologies and Semantic Technologies (PhD course, 12 hours) |
| University of Bordeaux, Bordeaux, France | |
| 2016 | Theory of Knowledge Bases (5 lectures on Description Logics) |
| University of Montpellier, Montpellier, France | |
| 2016 | Inconsistency-Tolerant Querying of Description Logic Knowledge Bases |
| Invited tutorial at the 12th Int. Reasoning Web Summer School | |
| Slides Lecture notes | |
| 2016 | Ontology-Mediated Query Answering with Horn Description Logics |
| European Summer School in Language, Logic, and Computation (ESSLLI) | |
| Course website | |
| 2015 | Theory of Knowledge Bases (5 lectures on Description Logics) |
| University of Montpellier, Montpellier, France | |
| 2015 | Ontology-Mediated Query Answering with Data-Tractable Description Logics |
| Invited tutorial (with M. Ortiz) at the 11th Int. Reasoning Web Summer School | |
| Chapter | |
| 2014 | Introduction to Description Logics |
| Higher School of Economics, Moscow, Russia | |
| 2010-2013 | Models of Distributed Reasoning (guest lecturer, 2 lectures per year) |
| Université Paris Sud, Orsay, France | |
| Slides | |
| 2009-2010 | Algorithmic Game Theory |
| Universität Bremen, Bremen, Germany | |
| Course website | |
| 2009-2010 | Finite Automata on Infinite Words and Trees |
| Universität Bremen, Bremen, Germany | |
| Course website | |
| 2006-2008 | Introduction to Artificial Intelligence (online course) |
| Université de Provence, Marseille, France | |
| Course notes (in french) | |