Workshop “Moderne Komplexitätsaspekte bei Formalen Sprachen”: Kick-off zum DFG-Projekt FE560/9-1

Wann und wo?

11. Februar - 15. Februar 2019 an der Universität Trier

 

Es gibt zahlreiche algorithmische und komplexitätstheoretische Fragestellungen im Bereich der Formalen Sprachen.

Wir erwähnen hier nur exemplarisch:

  • Klassische Fragestellungen bei endlichen Automaten
  • Synchronisierende und andere spezielle Wörter
  • Stringprobleme
  • Auffinden möglichst passender Beschreibungen bzw. Approximationen von Sprachen im Allgemeinen
  • Grammatikbasierte Datenkompression

Es gibt aber bislang nur wenige Untersuchungen in diesem Bereich aus dem Blickwinkel moderner Aspekte der Komplexitätstheorie, wie der parametrisierten Komplexität, insbesondere der Mehrparameteranalyse,  (S)ETH-basierte untere Schranken, feinkörnige Komplexität, FPT-Algorithmen “in P” usf.

Der Workshop soll Wissenschaftlerinnen und Wissenschaftler mit unterschiedlichen Hintergründen zu einem Austausch zusammenbringen, der sich den genannten Fragen widmen soll.

Wir möchten am 11. Februar morgens um 9 Uhr anfangen und am frühen Nachmittag am 15. Februar den Workshop beenden. Vorträge sind möglich, wichtiger sind jedoch interessante offene Probleme, an denen wir gemeinsam arbeiten können.

Eine verbindliche Anmeldung bis spätestens Mitte November bei Frau Esther Stürmer-Schwarz ist nötig, falls Sie mit der Anmeldung auch eine Hotelreservierung vornehmen möchten. Die Anmeldungen können Sie gerne per Post oder per E-Mail an Frau Stürmer Schwarz versenden!

 

Wichtige Informationen für die Teilnehmer!