Slides

• Franz Baader (Technische Dresden), Reasoning in Description Logics [intermediate, 6 hours]
  • dl1
  • dl2
  • dl3
  • dl4
  • dl5
  • dl6
• Manfred Droste (Leipzig), Weighted Automata and Weighted Logic [introductory/advanced, 8 hours]
• Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate Constraint Satisfaction [intermediate, 6 hours](pdf, 900KB)
• Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by the Incompressibility Method [intermediate, 6 hours](pdf, 258KB)
• Helmut Seidl (Technische München), Macro Treetransducers for XML Processing [intermediate, 6 hours]
  • mtt-1(pdf, 161KB)
  • mtt-2(pdf, 143KB)
• Alan Selman (Buffalo), Probabilistic Complexity Classes [intermediate, 10 hours] (non-public materials, only for the use of students)
• Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and Enumeration [intermediate, 6 hours]
  • http://arxiv.org/abs/0808.1657
  • http://arxiv.org/abs/1102.3698
  • http://arxiv.org/abs/1104.2303
  • http://arxiv.org/abs/1110.2382