50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Winter semester 2015



Course Nr Type Lecturers Quick Links
Algorithmendesign CS3000 Lecture Tantau Moodle
Algorithmik CS4000 Lecture Reischuk Moodle
Einführung in die Informatik 1 CS1012 Lecture Tantau Moodle
Einführung in die IT-Sicherheit und Zuverlässigkeit CS1700 Lecture Reischuk Moodle
Kryptologie CS3420 Lecture Reischuk Moodle
Einführung in die Logik CS1002 Lecture Tantau Moodle
Modellierung und Analyse von Sicherheitseigenschaften CS4211 Lecture Reischuk, Liskiewicz Moodle
Theoretische Informatik CS2000 Lecture Liskiewicz Moodle
Algorithmik, Logik und Komplexität CS4501 Seminar Liskiewicz, Reischuk Moodle
Computational Geometry CS3702 Seminar Liskiewicz Moodle
Datensicherheit CS3400 Seminar Liskiewicz Moodle
Praktikum IT-Sicherheit CS3400 Praktikum Reischuk Moodle
Programming Challenges CS3701 Projekt Liskiewicz Moodle
Werkzeuge für das wissenschaftliche Arbeiten CS2450 Seminar Reischuk, Tantau, Prestin, Wilde, Schuster Moodle
Oberseminar Theoretische Informatik CSXXXSeminar Reischuk, Tantau Moodle