Termine  

TKS-Seminar

Seminar im WS 2013/14

Gehalten von Prof. Dr. Nicole Schweikardt

Einfü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