Winter Semester 2006/07

Courses in the compulsory basic study period

• Logik
  Prof. Schroeder (Bioinformatics), 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. Thielscher (Computational Logic), V2+Ü2

Lab classes

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

Seminars and colloquia

• KRR Seminar
  Prof. Hölldobler, Ü2
• Tutorenseminar zu Logik I
  Dr. habil. Fronhöfer, P2