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