Transparencies of some invited talks and tutorials of Prof. Franz Baader

Unification and Matching in Description Logics.
Invited talk at ICCS'98.

Combination of Constraint Solvers.
Invited talk at the Logic Seminar of the Department of Mathematics of the University of Illinois at Urbana-Champaign, February 1998.

Tableau Algorithms for Description Logics.
Invited talk at Tableaux2000.

Nonstandard Inferences in Description Logics.
Invited talk at the workshop Applications of Description Logics at KI2001.

A Comparison of Automata and Tableau Methods for Modal Satisfiability.
Invited talk at the Symposium ELICS'02 in honor of Moshe Vardi.

Engineering of Logics for the Content-based Representation of Information.
Invited talk and ICOM demo at RTA'02.

From Tableaux to Automata for Description Logics.
Invited talk at LPAR'03 and ARW'03.

A new n-ary existential quantifier in Description Logics, or How syntactic sugar can speed up reasoning.
Invited talk at the Computer Science Kolloquium at RWTH Aachen, October 2004.

Building Medical Ontologies Using Description Logics: What does it buy us?
Invited talk at KR-MED 2008.

Unification in the Description Logic EL.
Invited talk at the Institute of Computer Science of the University of Wroclaw, March 2010.

Axiom Pinpointing in Description Logics.
Invited talk at NMR 2010.

Term Rewriting Tutorial at The 2004 ICCL Summer School, at ESSLLI 2005, and at the International School on Rewriting 2006
Slides: Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5

Description Logic Tutorial at The 2005 Logic Summer School of the Research School of Information Sciences and Engineering
at the Australian National University, at the ICCL Summer School 2006, and at several other summer schools.
Slides for viewing onscreen:
Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5
Slides for printing (four on one page, may look strange in ghostview, but should print fine):
Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5
NEW
Slides of Lecture 6, added for the 2011 Summer School on Verification Technology, Systems & Applications:
Lecture 6