Dates  

TKS-Seminar

Seminar in Summer 2012

Gehalten von Prof. Dr. Nicole Schweikardt

Introduction

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.

Dates

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