Stacs 2017 – Institut für Theoretische Informatik – Leibniz Universität Hannover