Oberseminar Theoretische Informatik

Sommersemester 2010

Datum Titel Vortragende/-r
19.07.2010 Implementierung eines Algorithmus für das Facetten-Überdeckungsproblem Peter Müller
19.07.2010 Nonblocking Datenstrukturen Stefan Näher
12.07.2010 Max-Flow-Algorithmen Andrea Jaax (muss leider ausfallen)
05.07.2010 Generalizing over several learning settings Anna Kasprzik (verlegt auf 13.7., 14 c.t.)
21.06.2010 Restricted Models of Computation in Cryptography: Generic and Semi-Generic Group Algorithms Andy Rupp
07.06.2010 Ein exakter Algorithmus für Spannbäume mit vielen Blättern in gerichteten Graphen Henning Fernau
31.05.2010 Accountability - Definition and Relationship to Verifiability Andreas Vogt
17.05.2010 Die logistische Funktion: Intervalle und der Lyapunow-Exponent Norbert Müller
10.05.2010 Rekonstruktion von Karten aus GPS-Daten Tom Loschetter
03.05.2010 Kerne für Überdeckungs- und Packungsprobleme Henning Fernau
26.04.2010 Weite-Parameter für gerichtete Graphen Daniel Meister
19.04.2010 Planungstreffen  

Wintersemester 2009/10

Datum Titel Vortragende/-r
08.02.2010 Parametrisiertes Measure&Conquer am Beispiel, einen Spannbaum mit größtmöglicher Blattanzahl finden zu wollen Henning Fernau
01.02.2010 Hybride Systeme und exakte Arithmetik Norbert Müller
25.01.2010 Coercion-Resistance Andreas Vogt
18.01.2010 Computational Soundness for Key Exchange Protocols with Symmetric Encryption Max Tuengerthal
11.01.2010 Parametrisierte Approximationsverfahren für das Knotenüberdeckungsproblem Henning Fernau
30.11.2009 11. Kryptotag der GI-Fachgruppe "Angewandte Kryptographie" (Raum H 7) www.infsec.uni-trier.de/kryptotag-2009.html Professur Küsters
23.11.2009 SPL-Graphen Stefan Gulan
16.11.2009 Rip-Optimierung beim Zuschnitt von Brettern Stefan Näher
09.11.2009 Kronen Henning Fernau
02.11.2009 CBVC Andrea Jaax