Oberseminar Theoretische Informatik
Sommersemester 2011
| Datum | Titel | Vortragende/-r | ||
| 04.07.2011 | Where is Waldo? --- Towards a secure, distributed implementation | Bernard Sanvoisin | ||
| 27.06.2011 | Verifiability, Privacy and Coercion-Resistance | Andreas Vogt | ||
| 06.06.2011 | Chordale gerichtete Graphen | Daniel Meister | ||
| 30.05.2011 | One-Sided Crossing Minimization | Henning Fernau | ||
| 23.05.2011 | Paralleles Graphzeichnen | Stefan Näher | ||
| 16.05.2011 | INDUCED SUBGRAPH ISOMORPHISM für zwei Klassen perfekter Graphen | Daniel Meister | ||
| 09.05.2011 | Zu Komplexität der Bestimmung des Differentials eines Graphen | Henning Fernau | ||
| 02.05.2011 | Lock-free array-based stack algorithm | Andrea Jaax | ||
| 18.04.2011 | Differential von Graphen | Sergio Bermudo-Navarrete | ||
| 11.04.2011 | Terminplanung |
Wintersemester 2010/11
| Datum | Titel | Vortragende/-r | ||
| 14.02.2011 | Scantegrity II | Andreas Vogt | ||
| 07.02.2011 | Interaktive Beweissysteme und Imperative Programmiersprachen, Teil II | Norbert Müller | ||
| 31.01.2011 | Interaktive Beweissysteme und Imperative Programmiersprachen, Teil I | Norbert Müller | ||
| 24.01.2011 | Map Labeling | Stefan Näher | ||
| 17.01.2011 | SL = L | Daniel Meister | ||
| 20.12.2010 | Enumerate & Measure: Improving Parameter Budget Management | Henning Fernau | ||
| 06.12.2010 | Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing | Pinar Heggernes (Kolloquium) | ||
| 29.11.2010 | Berechnung von Cliquen-Weite | Daniel Meister | ||
| 22.11.2010 | Parallele Programmierung von Max-Flow-Algorithmen | Andrea Jaax | ||
| 15.11.2010 | Lock-Free Data Structures | Stefan Näher | ||
| 08.11.2010 | A Short Introduction to Answer Set Programming | Yuping Shen | ||
| 25.10.2010 | Hölder-Normen auf Kategorialgrammatiken / Planungstreffen | Henning Fernau |