Focus on:  Hide Contributions
Login

Kolloquium zur Komplexität und Logik

→ Europe/Berlin
Haus auf der Mauer

Haus auf der Mauer

Johannisplatz 26, 07743 Jena
Olaf Beyersdorff (Theoretische Informatik I, Friedrich-Schiller-Universität Jena)
Registration
Teilnahme am Kolloquium
21
Register
    • 1:00 PM → 1:30 PM
      Ankunft und Begrüßung
    • 1:30 PM → 2:00 PM
      Vortrag: The good, the bad, and the ugly days of a long-lasting friendship Großer Saal (Haus auf der Mauer)

      Großer Saal

      Haus auf der Mauer
      Convener: Heribert Vollmer (Hannover)
    • 2:00 PM → 2:40 PM
      Vortrag: On the Satisfaction Probability of k-CNF Formulas Großer Saal (Haus auf der Mauer)

      Großer Saal

      Haus auf der Mauer
      Convener: Till Tantau (Lübeck)
    • 2:40 PM → 3:10 PM
      Pause 30m Oberlichtsaal (Haus auf der Mauer)

      Oberlichtsaal

      Haus auf der Mauer
    • 3:10 PM → 3:50 PM
      Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis Großer Saal (Haus auf der Mauer)

      Großer Saal

      Haus auf der Mauer
      Convener: Uwe Schöning (Ulm)
    • 3:50 PM → 4:30 PM
      Vortrag: Spiele auf Graphen und die Komplexität von Resolution Großer Saal (Haus auf der Mauer)

      Großer Saal

      Haus auf der Mauer
      Convener: Jacobo Toran (Ulm)
    • 4:30 PM → 5:10 PM
      Verabschiedung von Martin Mundhenk
    • 5:10 PM → 7:00 PM
      Empfang mit Imbiss Oberlichtsaal (Haus auf der Mauer)

      Oberlichtsaal

      Haus auf der Mauer
Powered by Indico v3.3.4