Jahresbericht Annual Report 2017 Jahresbericht Annual Report 2017 Herausgeber Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH Oktavie-Allee, 66687 Wadern, Germany Telefon: +49 681 302 - 4396 Fax: +49 681 302 - 4397 E-Mail:
[email protected] Registernummer Amtsgericht Saarbrücken HRB 63800 Vorsitzender des Aufsichtsrates Prof. Dr.-Ing. Dr. h. c. Stefan Jähnichen Geschäftsführung Prof. Raimund Seidel, Ph. D. Heike Meißner Gesellschafter Gesellschaft für Informatik e. V., Deutschland Universität des Saarlandes, Deutschland Technische Universität Kaiserslautern, Deutschland Karlsruher Institut für Technologie (KIT), Deutschland Technische Universität Darmstadt, Deutschland Universität Stuttgart, Deutschland Universität Trier, Deutschland Johann Wolfgang Goethe-Universität Frankfurt am Main, Deutschland Institut National de Recherche en Informatique et en Automatique (INRIA), Frankreich Centrum voor Wiskunde en Informatica (CWI), Niederlande Max-Planck-Gesellschaft zur Förderung der Wissenschaften e. V., Deutschland Einbindung Mitglied der Leibniz-Gemeinschaft Mitglied im Leibniz-Forschungsverbund Science 2.0 Verantwortlicher Redakteur Prof. Raimund Seidel, Ph. D. Redaktion Dr. Marcel R. Ackermann, Michael Gerke, Dr. Michael Wagner Mitarbeit Dr. Marcel R. Ackermann, Heike Clemens, Dr. Andreas Dolzmann, Jutka Gasiorowski, Michael Gerke, Shida Kunz, Ph. D., Heike Meißner, Petra Meyer, Thomas Schillo, Raimund Seidel, Ph. D., Dr. Michael Wagner und die Autoren der Zusammenfassungen in Kapitel 6 Gestaltung in Zusammenarbeit mit le-tex publishing services GmbH, Leipzig, Deutschland Druck Kern GmbH, Bexbach Druckauflage 170 ISSN 2199-1995 Online-Version https://www.dagstuhl.de/dagpub/2199-1995 Veröffentlichungsdatum April 2018 Copyright © Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH Lizenz Creative Commons BY-ND 3.0 DE Vorwort Foreword 2017 war für Schloss Dagstuhl – Leibniz-Zentrum für 2017 was a very successful year for Schloss Dagstuhl – Informatik ein sehr erfolgreiches Jahr.