Oberseminar Theoretische Informatik
Sommersemester 2007
| Datum | Titel | Vortragende/-r | ||
| 25.09.07 | Model Size and Complexity of Quantified Boolean Formulas | Xishun Zhao | ||
| 23.07.07 | Zwei äquivalente Regularisierungen für Tree Adjoining Grammars | Anna Kasprzik | ||
| 17.07.07 | Zwei Themen aus der Algorithmischen Geometrie: Edge-Sliding und Lake-Shore | Klaus Reinhardt | ||
| 03.07.07 | Komplexität von Operatoren auf kompakten Mengen | Norbert Müller | ||
| 26.06.07 | Diplomarbeitsvortrag | Guoqiang Bai | ||
| 12.06.07 | Petrinetze und gesteuerte Ersetzung | Klaus Reinhardt | ||
| 05.06.07 | CTW-Vorträge | Henning Fernau | ||
| 22.05.07 | Reguläre Ausdrücke | Stefan Gulan | ||
| 15.05.07 | Parallele konvexe Hülle Algorithmen | Daniel Schmitt | ||
| 08.05.07 | Maximum Acyclic Subgraph | Daniel Raible | ||
| 24.04.07 | Geometrische Filter | Näher/Taphorn | ||
| 17.04.07 | MIM/MAX2SAT | Daniel Raible |
Wintersemester 2006/07
| Datum | Titel | Vortragende/-r | ||
| 13.02.07 | Ein Framework zum Testen und Auswerten von Algorithmen für drahtlose Sensornetzwerke | Daniel Schmitt | ||
| 06.02.07 | Exakte rationale Geometrie | Stefan Näher | ||
| 30.01.07 | Transformation diskreter Probleme in reelle Funktionen | Norbert Müller | ||
| 23.01.07 | Konversion endlicher Automaten in kanonische reguläre Ausdrücke | Stefan Gulan | ||
| 16.01.07 | Allianzen in Graphen | Daniel Raible | ||
| 09.01.07 | Total Vertex Cover | Henning Fernau | ||
| 19.12.06 | Fernau/Näher/Raible | |||
| 12.12.06 | Iterated Snap Rounding | Martin Taphorn | ||
| 05.12.06 | Color coding and packing problems | Daniel Raible |