Der Band sammelt Beiträge des 14. STACS-Symposiums in Leipzig, die sich mit theoretischer Informatik befassen – von neuartigen Algorithmen über Komplexitätsstudien bis hin zu formalen Modellen und deren praktischen Anwendungen.