International-level courses and tutorials

  • Defeasible Reasoning for Ontologies (course): 33rd European Summer School in Logic, Language and Information (ESSLLI), Galway, Ireland. 8-19 August 2022, 7.5 hours.
  • Towards Commonsense Reasoning over Ontologies (tutorial): South African Forum for AI Research (FAIR), Cape Town, South Africa. 3 December 2019, 3 hours.
  • Formal Foundations of Ontologies and Reasoning (course): Spring School on Linked Data and the Semantic Web for Humanities research (LiSeH), Graz, Austria. 26 April 2019, 3 hours.
  • An Introduction to Description Logics (course): 30th European Summer School in Logic, Language and Information (ESSLLI), Sofia, Bulgaria. 6-10 August 2018, 7.5 hours.
  • Defeasible Description Logics (tutorial): 27th International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden. July 2018, 3.5 hours.
  • Defeasible Reasoning for Description Logics (tutorial): 40th German AI Conference (KI), Dortmund, Germany. September 2017, 3 hours.
  • Reasoning with Description Logics (tutorial): 25th International Joint Conference on Artificial Intelligence (IJCAI), New York, USA. July 2016, 3.5 hours.
  • Reasoning with Description Logics (tutorial): TRS Reasoning School, Natal, Brazil. August and September 2015, 3 hours.
  • Description Logics (tutorial): 4th World Congress and School on Universal Logic (Unilog), Rio de Janeiro, Brazil. March and April 2013, 4 hours.

University level courses

  • Knowledge representation and reasoning: Masters in Computer Science, Université Paris 8, 2023, 2024.
  • Modern symbolic AI: Masters in AI, Université Paris 8, 2022, 2023.
  • Object-oriented programming: Université Paris 8, 2022, 2023.
  • Introduction to algorithms and programming: Université Paris 8, 2022, 2023.
  • Introduction to algorithms and programming: IUT de Lens, Université d’Artois, 2016-2022.
  • Data structures: IUT de Lens, Université d’Artois, 2016-2019.
  • Description logics: Université d’Artois, 2017-2019.
  • Object-oriented design and programming: IUT de Lens, Université d’Artois, 2016-2019.
  • Databases: IUT de Lens, Université d’Artois, 2016, 2017.
  • Computer networks: IUT de Lens, Université d’Artois, 2016.
  • Description logics: Federal University of Rio de Janeiro. First semester of 2015, 60 hours.
  • Theory of computation: Federal University of Rio de Janeiro. First semester of 2015, 60 hours.
  • Description logics: Federal University of Rio de Janeiro. Second semester of 2014, 28 hours.
  • External reviewer for the module Formal Logic. Department of Philosophy, University of South Africa. First and second semester of 2011, 2012, 2013.
  • Databases: modeling and quering. Université de Toulouse 1. Second semester of 2007/2008, 90 hours.
  • Computer architecture: Université de Toulouse 1. Taught to graduate students. First semester of 2007/2008, 30 hours.
  • Databases: modeling and quering. Université de Toulouse 1. Second semester of 2006/2007, 30 hours.
  • “Certificat Informatique et Internet” (C2i), Module “Elaborer et Editer”: Introduction to computer science. Université de Toulouse 1. Second semester of 2006/2007, and first semester of 2007/2008, 42 hours.
  • “Certificat Informatique et Internet” (C2i), Module “Entreprendre et Echanger”: Introduction to computing science. Université de Toulouse 1. First semester of 2005/2006, of 2006/2007, and of 2007/2008, 148 hours.
  • Introduction to programming (CI066): Undergraduate course, Federal University of Paraná. Taught in the second semester of 2001, 60 hours.
  • Linux: Course of the Computer Science Department of Federal University of Paraná. Taught to practitioners in April 2001.
  • Linux advanced commands and administration: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students, lecturers from other departments and practitioners in October and November 1999.
  • Object-oriented programming and JAVA: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in October 1998, May and October 1999.
  • Linux basic commands: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in June 1999.
  • Introduction to Internet: Module of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in October 1997.
  • The C programming language: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in September 1997.