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

Theorietag 48. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen

24. Juni 2003

Universität Hannover, Institut für Informationssysteme, Fachgebiet Theoretische Informatik

Programm

Zeit Autoren Vortrag
10:00 Begrüßung und Frühstück
10:30 Matthias Homeister (Göttingen) Untere Schranken für Parity Branching Programme
11:00 Bodo Manthey (Lübeck) Über die Berechnung des Hamming-Abstands
11:30 Frank Balbach (Lübeck) Unterschiedliche Inferenztypen im selben Hypothesenraum
12:00 Mittagspause
13:30 Till Tantau (Berlin) Logspace-Optimierungsprobleme und ihre Approximierbarkeit
14:00 Birgit Schelm (Berlin) Strukturelle Eigenschaften von Average Case Approximationsklassen
14:30 Sven Kosub (München) Boolean NP-Partitions and Projective Closure
15:00 Kaffeepause
15:30 Jan Arpe (Lübeck) One-Way-Kommunikation symmetrischer Funktionen: Vom Zwei-Spieler- zum Mehr-Spieler-Fall
16:00 Elmar Böhler und Klaus Wagner (Würzburg) Polynomialzeithüllen
16:30 Arfst Nickelsen, Till Tantau und Lorenz Weizsäcker (Berlin) Aggregate mit Komponentengröße 1 charakterisieren PSPACE
17:00 Ende des Workshops

Zurück zur Theorie-Tag-Seite