Oberseminar Theoretische Informatik

Sommersemester 2008

DatumTitelVortragende/-r
08.07.2008MinCut - Algorithmen und HeuristikenStefan Näher
01.07.2008Ranking und GraphenzeichnenHenning Fernau
17.06.2008Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken IIStefan Gulan
10.06.2008Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken IStefan Gulan
03.06.2008Rounding of Set Operations on Lattice Polygonal RegionsMartin Taphorn
27.05.2008Analysis of Security Protocols with XORTomasz Truderung
06.05.2008Paralleles PartitionierenDaniel Schmitt
29.04.2008Some notes on computable measure theory and on SATYongcheng Wu
22.04.2008Power Dominating Set in Graphen mit Focus auf CubizitätDaniel Raible
15.04.2008FilialeröffnungsproblemeHenning Fernau
08.04.2008Semestervorbesprechung; anschließend SeminarKatrin Casel/...

Wintersemester 2007/08

DatumTitelVortragende/-r
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