Allgemeines

Veranstaltungsnummer  
Veranstalter Prof. Dr. Thomas Schwentick
Klassifikation Seminar
Semester Wintersemester 2018/19
Ort und Zeit  
Vorbesprechung 17.9.2018 14:00 Uhr
(eine spätere Themenvergabe ist nach Absprache möglich)

Inhalt

Das Seminar befasst sich mit fortgeschrittenen Themen in meinen Lehr- und Forschungsgebieten .

Themen sind aus (mindestens) den folgenden drei Gebieten möglich:

- Datenbanktheorie
- Komplexitätstheorie
- Logik und Komplexität

Aufgrund der Heterogenität sollen die jeweils Vorträge eine großzügige Einführung ins Thema bieten, bevor dann eine speziellere Fragestellung vertieft wird.

Die Vorträge sollen deshalb wie eine 90-minütige Vorlesung konzipiert werden, quasi im KoMTI-Stil. 

Die Seminararbeit soll als  dazugehöriges Skript im Umfang von 10 Seiten konzipiert sein.

Es wird zusätzlich weitere Vorträge aus der Arbeitsgruppe LogiDAC geben.

Falls Sie prinzipielles Interesse an diesem Seminar haben, wäre ich für eine kurze Nachricht dankbar.