Winter Semester 2005/06

Courses in the compulsory basic study period

• Logik
  Prof. Hölldobler, V2+Ü2

Courses in the fields of Intelligent Systems and Computational Logic

• Logic  (Bridging class for CL students)
  Prof. Hölldobler, V2+Ü2
• Science of Computational Logic
  Prof. Hölldobler, V2+Ü2
• Complexity Theory
  Dr. Großmann, V1+Ü1

Lab classes

• Interaktion in Robotik-Kunst und Künstlichen Welten
  Prof. Hölldobler, Prof. Härtig, Dr. Großmann, P4
• Mobile Robotics Lab
  Prof. Hölldobler, Dr. Großmann, P4

Seminars and colloquia

• KRR Seminar
  Prof. Hölldobler, Ü2
• Seminar PG Programme Specification of Discrete Processes
  Prof. Hölldobler and colleagues, Ü2
• Tutorenseminar zu Logik I
  Dr. habil. B. Fronhöfer, P2