 | 52. Workshop über
Komplexitätstheorie, Datenstrukturen und Effiziente
Algorithmen |
Vorträge
Die Vorträge finden in Haus 64 im Seminarraum Cook/Karp statt.
Kurzfassung der Vorträge als PDF
| Dienstag, 16.8.2005
|
| 14:00
| Begrüßung
|
| 14:05 | Gastvortrag:
|
| Synthesis from Knowledge-based Specifications
|
| Thomas Wilke (Christian-Albrechts-Universität zu Kiel)
|
| 15:05
| Kaffeepause
|
| 15:30
| Ein Algorithmus zur Entscheidung des Knotenproblems in einer Laufzeit O(24n)
|
| Günter Hotz (Universität des Saarlandes Saarbrücken)
|
| 16:00
| Compression-Based Fixed-Parameter Algorithms for Feedback Vertex Set and Edge Bipartization
|
| Jiong Guo (Friedrich-Schiller-Universität Jena)
|
| 16:30
| Neues zu Teilinformation und Selbstreduzierbarkeit
|
| Arfst Nickelsen (Technische Universität Berlin)
|
| 17:00
| Kaffeepause
|
| 17:30
| Data Exchange: On the Complexity of Answering Queries with Inequalities
|
| Alexander Mądry (University of Wrocław)
|
| 18:00
| Online-Algorithmen zur Lastbalanzierung auf dynamischen Netzwerken
|
| Bettina Rehberg (Universität Paderborn)
|
|
|
| Mittwoch, 17.8.2005
|
| 10:00
| Dynamische und t-private Auktionen
|
| Markus Hinkelmann (Universität zu Lübeck)
|
| 10:30
| Kryptographisch t-private Auktionen
|
| Nina Moebius (Universität zu Lübeck)
|
| 11:00
| Kaffeepause
|
| 11:30
| Simulationsrelationen als Minimierungsheuristiken für ω-Automaten
|
| Carsten Fritz (Christian-Albrechts-Universität zu Kiel)
|
| 12:00
| Eingeschränkte Zyklenüberdeckungen
|
| Bodo Manthey (Universität zu Lübeck)
|
| 12:30
| Mittagspause
|
| 14:00 | Gastvortrag:
|
| Hashing und Zufallsgraphen
|
| Martin Dietzfelbinger (Technische Universität Ilmenau)
|
Rahmenprogramm
Am Dienstag findet für die Teilnehmer ein
Grillabend
in einem historischen Naturschwimmbad an der Wakenitz statt. Die
Teilnahme ist kostenlos. Bei schönem Wetter empfiehlt es
sich,
Schwimmsachen mitzubringen.
