Oberseminar Theoretische Informatik
Sommersemester 2008
| Datum | Titel | Vortragende/-r | ||
| 08.07.2008 | MinCut - Algorithmen und Heuristiken | Stefan Näher | ||
| 01.07.2008 | Ranking und Graphenzeichnen | Henning Fernau | ||
| 17.06.2008 | Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken II | Stefan Gulan | ||
| 10.06.2008 | Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken I | Stefan Gulan | ||
| 03.06.2008 | Rounding of Set Operations on Lattice Polygonal Regions | Martin Taphorn | ||
| 27.05.2008 | Analysis of Security Protocols with XOR | Tomasz Truderung | ||
| 06.05.2008 | Paralleles Partitionieren | Daniel Schmitt | ||
| 29.04.2008 | Some notes on computable measure theory and on SAT | Yongcheng Wu | ||
| 22.04.2008 | Power Dominating Set in Graphen mit Focus auf Cubizität | Daniel Raible | ||
| 15.04.2008 | Filialeröffnungsprobleme | Henning Fernau | ||
| 08.04.2008 | Semestervorbesprechung; anschließend Seminar | Katrin Casel/... |
Wintersemester 2007/08
| Datum | Titel | Vortragende/-r | ||
| 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 |
