TKS-Seminar
Seminar im WS 2013/14
Gehalten von Prof. Dr. Nicole SchweikardtEinführung
Das TKS-Seminar richtet sich an Mitglieder der Arbeitsgruppe Theorie komplexer Systeme sowie an alle, die Interesse an theoretischer Informatik haben.Kreditpunkte oder ein Seminarschein können hier nicht erworben werden — dafür aber vertiefte Kenntnisse in theoretischer Informatik, insbesondere in den Bereichen Logik, Komplexitätstheorie und Datenbanktheorie.
Termine
| Mi, 30.10.2013, 11:15 |
Galina Daiker
Graphisomorphie, lineare Gleichungssysteme und k-Variablen Logik |
| Mi, 6.11.2013, 16:15 |
Prof. Dr. Christoph Reichenbach
PQL: A Purely-declarative Java Extension for Parallel Programming |
| Mi, 11.12.2013, 13:30 |
Lucas Heimberg
Über Sätze, die unter Erweiterungen von endlichen Strukturen beschränkten Grades abgeschlossen sind |
| Mi, 15.1.2014, 16:15 |
Joachim Bremer
Deciding Determinism of Regular Languages |
| Mi, 12.2.2014, 16:15 |
Joachim Bremer
Deciding Determinism of Regular Languages - Conference Version |
| Di, 18.2.2014, 13:00 |
Lucas Heimberg
Preservation Theorems for Bounded Degree Structures |