TKS-Seminar
Seminar im SoSe 2013
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 SoSe 2013 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
| Mo, 10.6.2013, 14:00-14:30 |
Lucas Heimberg
An optimal Gaifman normal form construction for structures of bounded degree |
| Mi, 17.7.2013, 14:00 |
Frederik Harwath
On the locality of arb-invariant first-order logic with modulo counting quantifiers |
| Di, 24.9.2013, 10:15 |
Jens Keppeler
Erreichbarkeit ist für gerichtete Graphen schwerer als für ungerichtete Graphen |