Allgemeines

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.