Dates  

TKS-Seminar

Seminar in Summer 2013

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 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.

Dates

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