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 |