Vorbesprechung: Mi. 17.10. 16-17 Uhr in Raum 3.321, RUD 25
Blockveranstaltung: 7./8.12. in Raum 1'307 RUD 26 (Erwin Schrödinger Zentrum)
In diesem Seminar werden aktuelle Resultate der Theoretischen Informatik und der Diskreten Mathematik vorgestellt. Im Vordergrund stehen
Freitag, 07. Dezember 2007 |
||
| 13:00 | Yves Radunz | MST Verifikation |
| 14:00 | Ronald Klaus | Measure und Conquer - Ein exakter Algorithmus für die Stabilitätszahl in Graphen |
| 15:00 | Michael Jung | Ramsey Klassen |
| 16:00 | Kaffeepause | |
| 16:15 | Christoph Berkholz | Stackelberg pricing in Netzwerken |
| 17:15 | Michael Tutschek | Exakte Algorithmen für Steinerbäume |
| 18:15 | Vincenz Priesnitz | Approximation von Group Steiner Trees |
Samstag, 08. Dezember 2007 |
||
| 10:00 | Mark Kibanov | Wie mischt man ein Kartenspiel? |
| 11:00 | Vitali Migal | Nullsummen Spiele |
| 12:00 | Michael Fiedler | Approximation von Max Cut via semidefiniter Programmierung |
| 13:00 | Jochen Taeschner | Die Unique Games Vermutung und Nichtapproximierbarkeit von Max Cut |
| 14:00 | Mittagspause | |
| 14:30 | Björn Schümann | Property testing in Graphen mit beschränkten Maximalgrad |
| 15:30 | Hermann Schwarz | Approximierbarkeit des Abstands von monotonen Eigenschaften |
| 16:30 | Lech Aleksandrowicz | Nicht-Approximierbarkeit des Abstands von monotonen Eigenschaften |