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 72. Workshop über Algorithmen und Komplexität

17. und 18. November 2016

Leibniz Universität Hannover, Institut für Theoretische Informatik

Einladung

Liebe Kolleginnen und Kollegen,

wir möchten Sie herzlich zum

72. Workshop über Algorithmen und Komplexität

am 17./18.11.2016 an die Leibniz Universität Hannover einladen.

Wir möchten an dieser Stelle darauf hinweisen, dass der ursprünglich geplante (und im ersten Newsletter angekündigte) Termin (29./30.09.) auf Grund von terminlichen Überschneidungen geändert wurde.

Wir würden uns freuen, wenn Sie mit einem Vortrag zum Programm des Workshops beitragen könnten. Teilen Sie uns dies gegebenenfalls bitte mit und senden Sie bis zum 01.11.16 einen einseitigen Abstract als LaTeX-Datei per E-Mail an meierthi.uni-hannover.de. Da immer mehr nicht-deutschsprachige Gastwissenschaftler an den Theorietagen interessiert sind, erbitten wir Vorträge in englischer Sprache.

Weitere Informationen, insbesondere das Programm, werden wir dort kurz nach der genannten Deadline zur Verfügung stellen.

Anmeldung

Wenn Sie zum Theorietag anreisen möchten, dann melden Sie sich bitte kurz per Email (meier -(a-t)- thi (dot) uni (minus) hannover (dot) de) an damit wir die Raumgröße passend wählen können. Außerdem teilen Sie bitte mit, ob Sie bei dem gemeinsamen Abendessen am Donnerstag (bzw. gerne auch am Mittagessen am Donnerstag vor und Freitag nach dem Theorietag) teilnehmen möchten.

Invited Talk

Rolf Niedermeier (Berlin): Parameterized Algorithmics — On Interactions with Heuristics

Schedule

Program and Workshop Information

Thursday, 17. November

  • 12:00 Lunch at Gaststätte Kaiser
  • 13:30 Malte Skambat (Kiel): Offline Drawing of Dynamic Trees: Algorithmics and Document Integration
  • 14:00 Philipp Zschoche / Leon Kellerhals (Berlin): On the Computational Complexity of Variants of Combinatorial Voter Control in Elections
  • 14:30 Nils Vortmeier (Dortmund): Dynamic Complexity under Definable Changes
    • 15:00 Coffee Break
    • 15:30 Rolf Niedermeier (Berlin): Parameterized Algorithmics—On Interactions with Heuristics
    • 16:45 members' meeting Fachgruppe ALGO
    • 17:15 members' meeting Fachgruppe KP

    Friday, 18. November

    • 09:30 Anna-Sophie Himmel (Berlin): Enumerating Maximal Cliques in Temporal Graphs
    • 10:00 Till Fluschnik (Berlin): Fractals for Kernelization Lower Bounds, With an Application to Length-Bounded Cut Problems
    • 10:30 Coffee Break
    • 11:00 Martin Lück (Hannover): The Complexity of Computation Tree Logic
    • 11:30 Florentin Neumann (Koblenz/Hamburg): An Asynchronous Distributed Algorithm for Finding Hamiltonian Cycles in Random Graphs
    • 12:00 Maurice Chandoo (Hannover): On the Implicit Graph Conjecture
    • 12:30 Closing and Lunch at Zwischenzeit 

    Unterkünfte

    Da aufgrund der parallel stattfinden Messe (EuroTier) die meisten Hotels ausgebucht sind, sind die Preise für die übrigen Hotels unrealistisch.

    Wir empfehlen daher, wenn eine Unterkunft benötigt wird, Airbnb zu nutzen.

    Ansprechpartner