50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Winter semester 2019



Course Nr Type Lecturers Quick Links
Algorithmendesign CS3000 Lecture Reischuk Moodle
Algorithmik CS4000 Lecture Liskiewicz Moodle
Einführung in die Informatik 1 CS1012 Lecture Tantau Moodle
Kommunikation und Systemsicherheit CS4701 Lecture Reischuk, Eisenbarth
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
Computing beyond Turing CS3702 Seminar Liskiewicz Moodle
Programming Challenges CS3701 Projekt Liskiewicz Moodle
Werkzeuge für das wissenschaftliche Arbeiten CS2450 Reischuk Moodle
Oberseminar Theoretische Informatik CSXXXSeminar Reischuk, Tantau Moodle