TKS-Seminar
Seminar im SoSe 2011
Gehalten von Prof. Dr. Nicole SchweikardtAktuelles
- Der erste Termin des TKS-Seminars im Sommersemester ist am Mittwoch, 13.04.2011, 16:15 Uhr.
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) |