Courses offered in the Summer Semester 2013

• GdI-GTI-B: Machines and Languages (Grundlagen der Theoretischen Informatik) - erste Veranstaltung am Montag, 15.4.2013
• GdI-CaC-M: Communication and Concurrency (Theorie Verteilter Systeme) - erste Veranstaltung am Donnerstag, 2.5.2013
• GdI-IaS-M: Information and Security (Informationssicherheit) - erste Veranstaltung am Freitag, 3.5.2013
• KogSyS-IA-B: Intelligente Agenten - erste Veranstaltung am Dienstag, 16.4.2013

---

Courses offered in the Winter Semester 2012-2013

• GdI-GTI-B: Mathematik für Informatiker 1 (Propositional and Predicate Logic)
• GdI-SaV-B: Logik (Modal Logic)
• GdI-NPP-B: Nichtprozedurale Programmierung (Functional Programming)
• GdI-Sem-B/M: Seminar on Advanced Functional Programming
• GdI-CogSys-Sem: Robotic Problem Solving