Oberseminar Theoretische Informatik

Sommersemester 2010

DatumTitelVortragende/-r
19.07.2010Implementierung eines Algorithmus für das Facetten-ÜberdeckungsproblemPeter Müller
19.07.2010Nonblocking DatenstrukturenStefan Näher
12.07.2010Max-Flow-AlgorithmenAndrea Jaax (muss leider ausfallen)
05.07.2010Generalizing over several learning settingsAnna Kasprzik (verlegt auf 13.7., 14 c.t.)
21.06.2010Restricted Models of Computation in Cryptography: Generic and Semi-Generic Group AlgorithmsAndy Rupp
07.06.2010Ein exakter Algorithmus für Spannbäume mit vielen Blättern in gerichteten GraphenHenning Fernau
31.05.2010Accountability - Definition and Relationship to VerifiabilityAndreas Vogt
17.05.2010Die logistische Funktion: Intervalle und der Lyapunow-ExponentNorbert Müller
10.05.2010Rekonstruktion von Karten aus GPS-DatenTom Loschetter
03.05.2010Kerne für Überdeckungs- und PackungsproblemeHenning Fernau
26.04.2010Weite-Parameter für gerichtete GraphenDaniel Meister
19.04.2010Planungstreffen

Wintersemester 2009/10

DatumTitelVortragende/-r
08.02.2010Parametrisiertes Measure&Conquer am Beispiel, einen Spannbaum mit größtmöglicher Blattanzahl finden zu wollenHenning Fernau
01.02.2010Hybride Systeme und exakte ArithmetikNorbert Müller
25.01.2010Coercion-ResistanceAndreas Vogt
18.01.2010Computational Soundness for Key Exchange Protocols with Symmetric EncryptionMax Tuengerthal
11.01.2010Parametrisierte Approximationsverfahren für das KnotenüberdeckungsproblemHenning Fernau
30.11.200911. Kryptotag der GI-Fachgruppe "Angewandte Kryptographie" (Raum H 7) www.infsec.uni-trier.de/kryptotag-2009.htmlProfessur Küsters
23.11.2009SPL-GraphenStefan Gulan
16.11.2009Rip-Optimierung beim Zuschnitt von BretternStefan Näher
09.11.2009KronenHenning Fernau
02.11.2009CBVCAndrea Jaax