Jahresbericht Annual Report 2016 Jahresbericht Annual Report 2016 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, Dr. Andreas Dolzmann, Dr. Michael Wagner Mitarbeit Dr. Marcel R. Ackermann, Dr. Roswitha Bardohl, Heike Clemens, Dr. Andreas Dolzmann, Jutka Gasiorowski, Dr. Marc Herbstritt, Heike Meißner, Petra Meyer, Thomas Schillo, Christina Schwarz, 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 175 ISSN 2199-1995 Online-Version http://www.dagstuhl.de/dagpub/2199-1995 Veröffentlichungsdatum April 2017 Copyright © Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH Lizenz Creative Commons BY-ND 3.0 DE Vorwort Foreword 2016 war ein besonderes Jahr für uns. Schloss Dagstuhl 2016 was an extraordinary year for us.