TKS-Seminar
Seminar im SoSe 2012
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.
Im SoSe12 wird das TKS-Seminar sporadisch für Vorträge zu aktuellen Forschungsthemen der Arbeitsgruppe genutzt. Das Seminar findet i.d.R. Mittwochs von 16-18 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt.
Termine
| Mi, 13.06.2012, 16:15-17:45 |
Nicole Schweikardt
The polylogarithmic counting ability of FO(Bit) aus: "A simple proof of the polylog counting ability of first-order logic" von Arnaud Durand, Clemens Lautemann und Malika More, SIGACT News 38(4): 40-45, 2007 |
| Mi, 20.06.2012, 16:15-17:45 |
Lucas Heimberg
Gaifman-Normalformen auf Strukturklassen beschränkten Grades (Teil 1) |
| Do, 21.06.2012, 13:00-14:00 |
Lucas Heimberg
Gaifman-Normalformen auf Strukturklassen beschränkten Grades (Teil 2) |
| Do, 21.06.2012, 16:15-17:30 |
Lucas Heimberg
Gaifman-Normalformen auf Strukturklassen beschränkten Grades (Teil 3) |
| Mi, 11.07.2012, 16:15-17:45 |
Lucas Heimberg
Gaifman-Normalformen auf Strukturklassen beschränkten Grades (Teil 4) |
| Do, 19.07.2012, 16:15-17:45 |
Morteza Monemizadeh
A PTAS for the facility location problem |
| Mi, 22.08.2012, 14:15-15:45 |
André Hernich (HU Berlin)
Guarded Datalog ± und Negation |