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

DatumTitelVortragendeR
29.01.2008Problem Session
22.01.2008Logics in SecurityRalf Küsters
15.01.2008Kompakte Mengen, Jordan-Kurven und BerechenbarkeitNorbert Müller
18.12.2007Concurrent Implementation of Incremental AlgorithmsDaniel Schmitt
11.12.2007Geometrisches RundenMartin Taphorn
04.12.2007(wegen techn. Probleme ausgefallen)
27.11.2007Alles Gute kommt von oben. Top-Down - Konstruktion von Endlichen Automaten aus Regulären AusdrückenStefan Gulan
20.11.2007(wegen Krankheit ausgefallen)
13.11.2007Maximale Pfadpackungen, Teil IIDaniel Raible
06.11.2007Maximale Pfadpackungen, Teil IDaniel Raible
30.10.2007Engineering DFS-Based Graph AlgorithmsStefan Näher
23.10.2007Summen-Labelling von GraphenHenning Fernau
04.10.2007Correct Effective Real Arithmetic: A monadic approachRussel O'Connor

Sommersemester 2007

DatumTitelVortragendeR
25.09.07Model Size and Complexity of Quantified Boolean FormulasXishun Zhao
23.07.07 Zwei äquivalente Regularisierungen für Tree Adjoining GrammarsAnna Kasprzik
17.07.07Zwei Themen aus der Algorithmischen Geometrie: Edge-Sliding und Lake-ShoreKlaus Reinhardt
03.07.07Komplexität von Operatoren auf kompakten MengenNorbert Müller
26.06.07DiplomarbeitsvortragGuoqiang Bai
12.06.07Petrinetze und gesteuerte ErsetzungKlaus Reinhardt
05.06.07CTW-VorträgeHenning Fernau
22.05.07Reguläre AusdrückeStefan Gulan
15.05.07Parallele konvexe Hülle AlgorithmenDaniel Schmitt
08.05.07Maximum Acyclic SubgraphDaniel Raible
24.04.07Geometrische FilterNäher/Taphorn
17.04.07MIM/MAX2SATDaniel Raible

Wintersemester 2006/07

DatumTitelVortragendeR
13.02.07Ein Framework zum Testen und Auswerten von Algorithmen für drahtlose SensornetzwerkeDaniel Schmitt
06.02.07Exakte rationale GeometrieStefan Näher
30.01.07Transformation diskreter Probleme in reelle FunktionenNorbert Müller
23.01.07Konversion endlicher Automaten in kanonische reguläre AusdrückeStefan Gulan
16.01.07Allianzen in GraphenDaniel Raible
09.01.07Total Vertex CoverHenning Fernau
19.12.06Fernau/Näher/Raible
12.12.06Iterated Snap RoundingMartin Taphorn
05.12.06Color coding and packing problemsDaniel Raible