黑料传送门

Lectures

• 
  A. Huckauf, Y. Kazakov, E. Rukzio, F. Yan
  
• 
  B. Glimm, Y. Kazakov
  
• 
  S. Biundo-Stephan, P. Bercher, D. H枚ller
  
• 
  S. Biundo-Stephan, G. Behnke
  
• 
  B. Glimm
  

Projects

• Automated Reasoning & Advanced Automated Reasoning
  Y. Kazakov
   & 
• Projects in Automated Planning
  S. Biundo-Stephan and employees
   & 
• Semantic Web & Advanced Semantic Web
  B. Glimm and employees
   & 

Seminars

• 
  S. Biundo-Stephan and employees
  
• Seminar Cognitive Modeling
  M. Schiller