TKS-Seminar

Seminar im WS 2011/12

Gehalten von Prof. Dr. Nicole Schweikardt

Aktuelles

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 WS 11/12 werden wir das TKS-Seminar für Vorträge zu aktuellen Forschungsthemen der Arbeitsgruppe nutzen. Das Seminar findet während der Vorlesungszeit des WS 11/12 i.d.R. Mittwochs von 16-18 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt.

Termine

Mi, 26.10.2011, 16:15-17:45 Nicole Schweikardt
Vorbesprechung
Mi, 02.11.2011, 16:15-17:45 Nicole Schweikardt
A Note on the Expressive Power of Built-in Linear Orders
(Joint work with Thomas Schwentick) - Teil 1
Mi, 09.11.2011, 16:15-17:45 Nicole Schweikardt
A Note on the Expressive Power of Built-in Linear Orders
(Joint work with Thomas Schwentick) - Teil 2
Mi, 16.11.2011, 16:15-17:45 Lucas Heimberg
FO(bit)=FO(<,bit)
aus: "Elementary Properties of the Finite Ranks" (Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein 1998)
Mi, 30.11.2011, 16:15-17:45 Isolde Adler
Verbotene Vertex-Minoren für lineare Rangweite ≤1
(gemeinsam mit Andrzej Proskurowski und Arthur Farley)
Mi, 07.12.2011, 16:15-17:45 Tobias Kühnel
Graphen der linearen Rangweite ≤1: strukturelle und algorithmische Eigenschaften
Mi, 14.12.2011, 16:15-17:45 Frederik Harwath
Håstads Switching-Lemma: Anwendungen
Mi, 21.12.2011, 16:15-17:45 Philipp Klaus Krause
Stack Allocation for Structured Programs
Mi, 11.01.2012, 16:15-17:45 Nicole Schweikardt
Videovorführung des Vortrags
"Theory of data stream computing: where to go"
von S. Muthukrishnan - eingeladenes Tutorial bei PODS 2011
Mi, 18.01.2012, 16:15-17:45 Frederik Harwath
Beweis von Håstads Switching-Lemma
Mi, 25.01.2012, 16:15-17:45 Dominik D. Freydenberger
Zwei Ausprägungen von Deskriptiver Generalisierung
Mi, 01.02.2012, 16:15-17:45 Dominik D. Freydenberger
Zwei Ausprägungen von Deskriptiver Generalisierung (Fortsetzung)
Mi, 01.02.2012, 16:15-17:45 Dominik D. Freydenberger
Zwei Ausprägungen von Deskriptiver Generalisierung (Fortsetzung)
Do, 09.02.2012, 12:00-12:45 Frederik Harwath
Regular tree languages, cardinality predicates and addition-invariant first-order logic