Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 


Workshop über Algorithmen und Komplexität

09.09.2008, München, Ort: TUM, Theresianum, Hörsaal 3701

Programm

ZeitAutorenVortrag
10:00Kaffeepause im Foyer AudiMax
10:30Rolf Niedermeier (Jena)Trends der Parametrisierten Algorithmik
11:30Matthias Hagen (Jena)Transversal Hypergraph Generation: Algorithmic state of the art
12:00Mittagspause
14:00Tatjana Schmidt (Köln)Das Aufzählungsproblem #SAT für k-außenplanare Formeln
14:30Klaus-Jörn Lange (Tübingen)(Noch) Ein algebraischer Ansatz in der Komplexitätstheorie
15:00Kaffeepause im Foyer AudiMax
15:30Olaf Beyersdorff (Hannover)Nondeterministic Instance Complexity and Proof Systems with Advice
16:00Arne Meier (Hannover)The Complexity of Satisfiability for Fragments of CTL and CTL*
16:30Ende des Workshops

Zurück zur Theorie-Tag-Seite.