Leibniz International Proceedings in Informatics | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik