Oberseminar Theoretische Informatik

Sommersemester 2012

DatumTitelVortragende/-r
16.07.2012Mathematics of PrivacyLjiljana Brankovic
05.07.2012On the Membership Problem for Pattern LanguagesMarkus Schmid
04.06.2012Analysis of a Digital Locking SystemGuido Schmitz
21.05.2012Saving on Phases: Parameterized Approximation for Total Vertex CoverHenning Fernau

Wintersemester 2011/12

DatumTitelVortragende/-r
30.01.2012Scheduling- und Fließbandabstimmungsprobleme: Modelle und AlgorithmenMarcus Ritt
23.01.2012Methoden und Grenzen parametrisierter ApproximationHenning Fernau
16.01.2012Formalizing Security Aspects of the Web Platform in AlloyDaniel Fett
05.12.2011Effiziente Minimum-Cut-AlgorithmenAndrea Jaax
28.11.2011The correct long-term simulation of nonlinear dynamical systemsChristoph Spandl
22.11.2011Complexity and Expressive Power of Second-Order Extended Horn and Krom LogicShiguang Feng
21.11.2011Formal Methods for Dynamical SystemsMargarita Korovina
07.11.2011The Inclusion Problem for Regular ExpressionsStefan Gulan
31.10.2011Parametrisierte Approximation für das Knotenüberdeckungsproblem auf HypergraphenHenning Fernau
24.10.2011Distributional Learning of Simple Context-Free Tree GrammarsAnna Kasprzik
17.10.2011Gödel-Preis 2011: "Some Optimal Inapproximability Results" von Johan HåstadDaniel Meister