Dienstag, 19. Februar 2002 Raum: Sand 6/7 GH
Lehrstuhl Theoretische Informatik / Formale Sprachen
Wilhelm-Schickard-Institut für Informatik
Universität Tübingen
Wir laden alle Interessierten herzlich an die Eberhard-Karls-Universität Tübingen zum 45. Theorietag ein!
9:55 - 10:00 | Eröffnung |
10:00 - 10:30 | Manfred Kunde (Ilmenau): Embedding Express Graphs into Networks |
10:30 - 11:00 | Alfons Avermiddig (Münster): Continues Hot-Potato Routing on the Ring |
11:20 - 11:50 | Holger Spakowski (Düsseldorf): Exact Complexity of the Winner Problem for Young Elections |
11:50 - 12:20 | Tobias Riege (Düsseldorf): Exact Complexity of Exact-Four-Colorability |
14:10 - 14:40 | Arfst Nickelsen (Berlin): Erreichbarkeit in Graphen mit beschränkter Unabhängigkeitszahl |
14:40 - 15:10 | Alexander Hall (Zürich): NP-Hardness of Broadcast Scheduling and Inapproximability of Single-Source Unsplittable Min-Cost Flow |
15:10 - 15:40 | Holger Petersen (Stuttgart): Distance Labeling in General Graphs |
16:00 - 16:30 | Volker Diekert (Stuttgart): Local Logics |
16:30 - 17:00 | Ulrich Hertrampf (Stuttgart): Neues über zeitbeschränkte Häufigkeitsberechnungen |
17:00 - 17:30 | Peter Rossmanith (München): Zaehlen von Vertex Covern einer bestimmten Groesse |
Ich freue mich darauf, Sie auf dem Workshop begrüßen zu dürfen!
Klaus Reinhardt
Wilhelm-Schickard-Institut für Informatik
Universität Tübingen
Sand 13
72076 Tübingen