Anni's former teaching activities

• at TU Dresden:
  • Lecture "Introduction to automatic structures" (winter term 2011/2012)
  • Proseminar "Perlen der Theoretischen Informatik" (winter term 2011/2012)
  • Lecture "Description Logics" (summer term 2011)
  • Proseminar "Perlen der Theoretischen Informatik" (summer term 2011)
  • Tutorials for the lecture Formale Systeme (winter term 2010/2011)
  • Seminar "Parameterized Complexity" (winter term 2010/2011)
  • Tutorial for the lecture Description Logics (summer term 2010)
  • Proseminar Perlen der Theoretischen Informatik (summer term 2010)
  • Lecture Advanced topics in Description Logics (winter term 2009/2010)
  • Seminar Probability in Logics (winter term 2009/2010)
  • Tutorial for the lecture Description Logics (summer term 2009)
  • Seminar Automata, Logics and Infinite games (summer term 2009)
• and elsewhere:
  • Course on "Description Logic Reasoning for Semantic Web Ontologies"
    at Summer school at the Instituto de Computación, Facultad de Ingeniería in Montevideo, Uruguay, in August 2011.
  • Tutorial on "Description Logic reasoning for semantic web ontologies"
    at the International Conference on Web Intelligence, Mining and Semantics (WIMS'11), Sogndal, Norway, May 2011.
  • Course "Reasoning in Description Logics"
    at the 2010 DAAD Summer School, Yogyakarta (Indonesia), October 2010.
  • Course "Reasoning in EL and in Description Logics in general"
    at the 2010 Reasoning Web Summer School, Dresden, August 2010.
  • Course "Introduction to Description Logics"
    at the 2009 Masters Ontology Spring School (MOSS'09) at the Meraka Institute in Tshwane (Pretoria), South Africa, 2009.
  • ISWC'08 tutorial "Reasoning for Ontology Engineering and Usage"
    together with Diego Calvanese, Giuseppe De Giacomo, Matthew Horridge, and Ralf Möller at ISWC in Karlsruhe, Germany, 2008.
  • Course "Description Logics"
    at the 2008 DAAD International Summer School "Computational Logic and Its Applications" in Jakarta, Indonesia, 2010.
  • Introductory tutorials on Description Logics for companies, e.g., Siemens, SAP, etc.