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

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