International courses and tutorials

  • 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

  • Data structures: IUT de Lens, Université d’Artois, 2016-2018.
  • Description logics: Université d’Artois, 2018, 10 hours.
  • Introduction to algorithms and programming: IUT de Lens, Université d’Artois, 2016-2018.
  • Object-oriented design and programming: IUT de Lens, Université d’Artois, 2016-2018.
  • Description logics: Université d’Artois, 2017, 6 hours.
  • 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.