Leibniz International Proceedings in Informatics