黑料传送门

Lectures

• 
  Y. Kazakov
  
• 
  A. Huckauf, Y. Kazakov, E. Rukzio, F. Yan
  
• 
  S. Biundo-Stephan, G. Behnke, C. Olz
  The first lecture will be held on April 29th. The exercise classes start in the same week. Details concerning the registration for exercise classes will be announced in the first lecture.
• 
  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