Oberseminar Theoretische Informatik
Sommersemester 2012
| Datum | Titel | Vortragende/-r | ||
| 16.07.2012 | Mathematics of Privacy | Ljiljana Brankovic | ||
| 05.07.2012 | On the Membership Problem for Pattern Languages | Markus Schmid | ||
| 04.06.2012 | Analysis of a Digital Locking System | Guido Schmitz | ||
| 21.05.2012 | Saving on Phases: Parameterized Approximation for Total Vertex Cover | Henning Fernau |
Wintersemester 2011/12
| Datum | Titel | Vortragende/-r | ||
| 30.01.2012 | Scheduling- und Fließbandabstimmungsprobleme: Modelle und Algorithmen | Marcus Ritt | ||
| 23.01.2012 | Methoden und Grenzen parametrisierter Approximation | Henning Fernau | ||
| 16.01.2012 | Formalizing Security Aspects of the Web Platform in Alloy | Daniel Fett | ||
| 05.12.2011 | Effiziente Minimum-Cut-Algorithmen | Andrea Jaax | ||
| 28.11.2011 | The correct long-term simulation of nonlinear dynamical systems | Christoph Spandl | ||
| 22.11.2011 | Complexity and Expressive Power of Second-Order Extended Horn and Krom Logic | Shiguang Feng | ||
| 21.11.2011 | Formal Methods for Dynamical Systems | Margarita Korovina | ||
| 07.11.2011 | The Inclusion Problem for Regular Expressions | Stefan Gulan | ||
| 31.10.2011 | Parametrisierte Approximation für das Knotenüberdeckungsproblem auf Hypergraphen | Henning Fernau | ||
| 24.10.2011 | Distributional Learning of Simple Context-Free Tree Grammars | Anna Kasprzik | ||
| 17.10.2011 | Gödel-Preis 2011: "Some Optimal Inapproximability Results" von Johan Håstad | Daniel Meister |