Anni's former teaching activities

• at TU Dresden:
  • 2015
    • Lecture "Description Logics"
  • 2014
    • Lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor—in German
    • Seminar "Undecidable problems from applications"
    • lecture Description Logic (winter term 2014/15)
    • organizing and supervising practical courses for different courses of study
  • 2013
    • tutorial for the under-graduate lecture "Formale Systeme" held by Prof Franz Baader (winter term 2013/14)
    • Seminar "Probability in Logic" (winter term 2013/14)
    • Tutorials for the lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor—in German (summer term 2013/14)
    • Seminar "Complexity of Board Games" (summer term 2013/14)
    • Masterpraktikum and Komplexpraktikum (summer term 2013/14)
  • 2012
    • lecture Description Logic (winter term 2012/13)
    • Tutorials for the lecture Einführung in die Informatik for Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor—in German (summer term 2012)
    • Seminar "Advanced topics in automatic structures" (summer term 2012)
  • 2011
    • 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)
  • 2010
    • 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)
  • 2009
    • 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:
  • 2015
    • Summer school of the MEALS project in Rio Cuarto (Argentina)
  • 2014
    • Tutorial Description Logic Reasoning for Semantic Web Ontologies at the 4th Joint International Semantic Technology conference (JIST2014)
    • DAAD summer school in Hue, Vietnam
  • 2013
    • QuantLA Spring School 2013 in Gohrisch
    • Reasoning web summer school 2013 in Mannheim
  • 2012
    • Course on "Reasoning in Description Logics" 4. ICCL Summer school at the Udayana University in Denpasar, Indonesia, September 2012
  • 2011
    • 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.
  • 2010
    • 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.
  • 2009
    • Course "Introduction to Description Logics"
      at the 2009 Masters Ontology Spring School (MOSS'09) at the Meraka Institute in Tshwane (Pretoria), South Africa, 2009.
  • 2008 and earlier
    • 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.