Invited Talks of Prof. Franz Baader

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
2020 Herbrand Award Acceptance Speech: held at CADE-28 on the occassion of receiving the Herbrand Award for exceptional contributions to the field of Automated Deduction.
Keynote Speech: held at ECPPM 2021, the European Conference on Product and Process Modeling 2020-2021.
Tutorial: held at KnowGraph WS 2023, the Knowledge Graphs Winter School 2023.