Aktuelles | Termine  

TKS-Seminar

Seminar im SoSe 2011

Gehalten von Prof. Dr. Nicole Schweikardt

Aktuelles

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.

Im SoSe 2011 werden wir das TKS-Seminar für Vorträge zu aktuellen Forschungsthemen der Arbeitsgruppe nutzen. Das Seminar findet während der Vorlesungszeit des SoSe 2011 i.d.R. Mittwochs von 16-18 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt.

Termine

Mi, 13.04.2011, 16:15-17:45 Sandra Kiefer
Über die Komplexität des Graphisomorphie-Problems (Teil 1)
Mi, 20.04.2011, 16:15-17:15 Sandra Kiefer
Über die Komplexität des Graphisomorphie-Problems (Teil 2)
Mi, 18.05.2011, 16:15-17:45 Dominik Freydenberger
Expressiveness and static analysis of extended conjunctive regular path queries (eine AMW'11-Arbeit von Dominik Freydenberger und Nicole Schweikardt)
Mi, 01.06.2011, 16:15-17:45 Lucas Heimberg
Succinctness of the complement and intersection of regular expressions (eine STACS'08-Arbeit von Wouter Gelade und Frank Neven) (Teil 1)
Mi, 08.06.2011, 16:15-17:45 Lucas Heimberg
Succinctness of the complement and intersection of regular expressions (eine STACS'08-Arbeit von Wouter Gelade und Frank Neven) (Teil 2)
Mi, 22.06.2011, 16:15-17:45 Philipp Krause
The Complexity of Register Allocation
Mi, 29.06.2011, 16:15-17:45 Dr. Leen Lambers (Hasso-Plattner-Institut Potsdam)
Correctness of Model Transformations (Vortrag im Informatik-Kolloquium)