Ein Fachband aus dem 14. STACS-Symposium in Leipzig, der aktuelle Forschungsarbeiten zu theoretischer Informatik zusammenfasst – von neuen Algorithmen über Komplexitätstheorie bis hin zu formalen Modellen und deren Anwendungen.