| 9:00 | Begrüßung |
| 9:05 |
Smoothed Analysis, Permutationen und binäre Suchbäume
Bodo Manthey, Rüdiger Reischuk, Universität zu Lübeck
|
| 9:30 |
Smoothed Analysis of Integer Programming
Heiko Röglin, Berthold Vöcking, RWTH Aachen
|
| 9:55 |
Balanced Allocation and Dictionaries with Tightly
Packed Constant Size Bins
Martin Dietzfelbinger, Christoph Weidling, TU Ilmenau
|
| 10:20 |
Kaffeepause |
| 10:45 |
Die Komplexität hybrider Logiken über transitiven Rahmen
Martin Mundhenk, Thomas Schneider, Friedrich-Schiller-Universität
Jena
|
| 11:10 |
Kombinatorische Inferenz azyklischer Beziehungstypen
im Internet
Sven Kosub, Moritz G. Maaß, Hanjo Täubig, TU München
|
| 11:35 |
Neue untere Schranken für die
Beschreibungskomplexität der Erreichbarkeit
Till Tantau, TU Berlin
|
| 12:00 |
Mittagspause
|
| 14:00 |
Komplexität von DNF und Isomorphie für monotone
Formeln
Judy Goldsmith, University of Kentucky
Matthias Hagen, Martin Mundhenk, Friedrich-Schiller-Universität Jena
|
| 14:25 |
Erfüllbarkeitsprobleme für gemischte Horn-Formeln
Stefan Porschen, Ewald Speckenmeyer, Universität zu Köln
|
| 14:50 |
Isomorphic Implication
Michael Bauland, Universität Hannover
Edith Hemaspaandra, Rochester Institute of Technology
|
| 15:15 |
Kaffeepause |
| 15:35 |
Bounded Degree Closest k-Tree Power is NP-Complete
Michael Dom, Jiong Guo, Rolf Niedermeier, Friedrich-Schiller-Universität Jena
|
| 16:00 |
Algorithm Engineering for Optimal Graph
Bipartization
Falk Hüffner, Friedrich-Schiller-Universität Jena
|
| 16:25 |
Toleranzbasierende Algorithmen für das Travelling
Salesman Problem
Gerold Jäger, Martin-Luther-Universität Halle-Wittenberg
|
| 16:50 |
Kaffeepause |
| 17:10 |
Verhältnis von AvgP und HP zu Error-Klassen
Arfst Nickelsen, Birgit Schelm, TU Berlin und Universität Hannover
|
| 17:35 |
Dynamic Complexity Theorie Revisited
Volker Weber, Thomas Schwentick, Philipps-Universität Marburg
|
| 18:00 |
Ende des Workshops
|
