Forschungsseminar Theoretische Informatik
Achtung: Terminänderung!
Wir treffen uns ab 22.01.2008 immer dienstags, 14 Uhr c.t., für eine gute Stunde im Medienraum
H 406.
Wintersemester 2007/08
| Datum | Titel | VortragendeR | ||
| 29.01.2008 | Problem Session | |||
| 22.01.2008 | Logics in Security | Ralf Küsters | ||
| 15.01.2008 | Kompakte Mengen, Jordan-Kurven und Berechenbarkeit | Norbert Müller | ||
| 18.12.2007 | Concurrent Implementation of Incremental Algorithms | Daniel Schmitt | ||
| 11.12.2007 | Geometrisches Runden | Martin Taphorn | ||
| 04.12.2007 | (wegen techn. Probleme ausgefallen) | |||
| 27.11.2007 | Alles Gute kommt von oben. Top-Down - Konstruktion von Endlichen Automaten aus Regulären Ausdrücken | Stefan Gulan | ||
| 20.11.2007 | (wegen Krankheit ausgefallen) | |||
| 13.11.2007 | Maximale Pfadpackungen, Teil II | Daniel Raible | ||
| 06.11.2007 | Maximale Pfadpackungen, Teil I | Daniel Raible | ||
| 30.10.2007 | Engineering DFS-Based Graph Algorithms | Stefan Näher | ||
| 23.10.2007 | Summen-Labelling von Graphen | Henning Fernau | ||
| 04.10.2007 | Correct Effective Real Arithmetic: A monadic approach | Russel O'Connor |
Sommersemester 2007
| Datum | Titel | VortragendeR | ||
| 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 | VortragendeR | ||
| 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 |