50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Winter semester 2018



Course Nr Type Lecturers Quick Links
Aktuelle Themen IT-Sicherheit und Zuverlässigkeit CS5195 Reischuk, Liskiewicz, Eisenbarth Moodle
Algorithmendesign CS3000 Lecture Reischuk Moodle
Algorithmik CS4000 Lecture Liskiewicz Moodle
Algorithmik, Logik und Komplexität CS4501 Lecture Tantau, Reischuk Moodle
Einführung in die Informatik 1 CS1012 Lecture Tantau 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 Tantau, Reischuk 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