Jahresbericht / Annual Report 2016 -- Schloss Dagstuhl
Total Page：16
File Type：pdf, Size：1020Kb
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. Schloss – Leibniz-Zentrum für Informatik wurde von der Leibniz- Dagstuhl – Leibniz Zentrum für Informatik was evaluated Gemeinschaft evaluiert. Das ist ein formaler Vorgang, dem by the Leibniz Association. This is a formal process that sich jedes Institut der Leibniz-Gemeinschaft spätestens alle is applied to every institution of the Leibniz Association sieben Jahre unterziehen muss, um sicherzustellen, dass every seven years, at the latest, to ensure that it still fulfills es nach wie vor die Bedingungen für eine gemeinsame the prerequisites for joint funding by the German federal Förderung durch Bund und Länder erfüllt. and state governments. Wir können jetzt sagen, dass wir diese Überprüfung mit Now we can proudly say that we passed this evaluation wehenden Fahnen bestanden haben. Der Bericht unserer with flying colors. The report issued by our evaluation Evaluierungskommission, den sich auch der Leibniz-Senat committee that was officially adopted by the Leibniz Senate zu eigen gemacht hat, ist für uns äußerst günstig, zum Teil is extremely favorable, at times enthusiastic. It gives sogar voll Begeisterung. Er beurteilt unsere drei Bereiche “grades” to our three divisions and rates Seminars and und benotet Seminare und Workshops und auch Biblio- Workshops and also Bibliographic Services as excellent, graphische Dienste mit “exzellent” und benotet Open-Ac- and rates Open Access Publishing as very good. The report cess-Publikationswesen mit “sehr gut”. Dieser Bericht ist is publicly available and can be found at the website of the öffentlich und kann bei der Seite der Leibniz-Gemeinschaft Leibniz Association. eingesehen werden. I would like to thank our dedicated staff, the external Ich möchte allen unseren Mitarbeitern herzlichst dan- members of our committees, and all others who have helped ken, wie auch den Mitgliedern unserer Kommissionen und to make Dagstuhl to the place that it is and that is perceived allen anderen, die sich so sehr engagiert haben, Dagstuhl so positively. In particular I want to thank my predecessor, zu dem zu machen, was es heute ist, und unserem Insitut zu the long-time director Reinhard Wilhelm. seinem Ruf verholfen haben. Insbesondere gilt großer Dank In terms of our mission, 2016 was again a very meinem Vorgänger, dem langjährigen Direktor, Reinhard successful year. We had an interesting mix of seminar Wilhelm. topics ranging from pure computer science topics such as Was unsere Gesamtaufgabe betrifft, war 2016 wie- Symmetric Cryptography to applications in engineering, der ein sehr erfolgreiches Jahr. Wir hatten eine inter- e.g. Symbolic-Numeric Methods for Reliable and Trust- essante Mischung an Seminarthemen, von reiner Informa- worthy Problem Solving in Cyber-Physical Domains and tik wie z.B. Symmetric Cryptography hin zu Anwendungen in the arts, e.g. Computational Music Structure Analysis, in den Ingenieurswissenschaften, z.B. Symbolic-Numeric but also including topics placing computing in the context Methods for Reliable and Trustworthy Problem Solving of society, e.g. Engineering Moral Agents – from Human in Cyber-Physical Domains, oder auch in der Kunst wie Morality to Artifcial Morality or Data, Responsibly. The z.B. Computational Music Structure Analysis. Aber dazu dblp database and services continued to grow and our gab es noch Themen, die die Informatik im Kontext open-access publishing efforts have seen great acceptance, der Gesellschaft betrachten, wie z.B. Engineering Moral in particular with its LIPIcs series. Vorwort Foreword Agents – from Human Morality to Artifcial Morality oder Of course many more things have happened. You Data, Responsibly. Die dblp Datenbank und ihre Dienste can find them in this report. I hope you will findsome sahen weiteres Wachstum, und unsere Anstrengungen enjoyment in them. im Open-Access-Publikationswesen werden immer besser angenommen, insbesondere die LIPIcs Serie. Natürlich ist noch einiges mehr passiert. Sie können es in diesem Bericht finden. Ich hoffe, Sie haben Freude daran. Raimund Seidel Im Namen der Geschäftsführung On behalf of the Managing Directors Prof. Raimund Seidel, Ph. D. Wissenschaftlicher Direktor Heike Meißner Technisch-administrative Geschäftsführerin iv Inhaltsverzeichnis Contents Vorwort Foreword ............................................... iii 1 Das Zentrum Schloss Dagstuhl Schloss Dagstuhl Center 1 1.1 Dagstuhls Leitbild Dagstuhl’s Mission .......................................... 2 1.2 Neuigkeiten in 2016 News from 2016 ........................................... 4 2 Seminare und Workshops Seminars and Workshops 11 2.1 Dagstuhl-Seminare Dagstuhl Seminars ......................................... 12 2.2 Dagstuhl-Perspektiven-Workshops Dagstuhl Perspectives Workshops ................................. 13 2.3 Einreichung der Anträge und Begutachtungsverfahren Proposal Submission and Review Process ............................. 13 2.4 Seminar-Programm 2016 Seminar-Programm in 2016 ..................................... 14 2.5 Angaben zu Teilnehmern und Organisatoren Participant and Organizer Data ................................... 15 2.6 Themen und Forschungsgebiete Topics and Research Areas ..................................... 16 2.7 Weitere Veranstaltungstypen Further Event Types ......................................... 18 2.8 Qualitätssicherung Quality Assurance .......................................... 18 2.9 Auslastung des Zentrums Utilization of the Center ....................................... 20 3 Bibliographiedatenbank dblp dblp computer science bibliography 21 3.1 Offene Bibliographiedaten für die Informatik Open Bibliographic Data in Computer Science ........................... 22 3.2 Schloss Dagstuhl und dblp Schloss Dagstuhl and dblp ..................................... 23 3.3 Statistiken der Datenakquise Data Acquisition Statistics ...................................... 24 3.4 Nutzungsstatistiken Usage Statistics ........................................... 25 3.5 Dissertationen in dblp PhD theses added to dblp ...................................... 25 3.6 Gemeinsames Projekt von dblp, Zentralblatt MATH und HITS Joint Project of dblp, Zentralblatt MATH, and HITS ......................... 26 4 Dagstuhl Publishing Dagstuhl Publishing 27 4.1 Portfolio Portfolio ............................................... 28 4.2 Infrastruktur Infrastructure ............................................. 34 5 Resonanz Feedback 37 5.1 Resonanz unserer Seminarorganisatoren Feedback from Seminar Organizers ................................. 38 5.2 Resonanz in Sozialen Netzwerken Feedback in Social Media ...................................... 39 5.3 Resonanz im Fragebogen Seminar Survey Feedback ..................................... 40 5.4 Resonanz zur Bibliographiedatenbank dblp Feedback on the dblp Computer Science Bibliography ....................... 43 6 Die Seminare in 2016 The 2016 Seminars 45 6.1 Evolution and Computing ...................................... 48 6.2 Global Measurements: Practice and Experience .......................... 50 6.3 Symmetric Cryptography ...................................... 52 6.4 Geometric and Graph-based Approaches to Collective Motion ................... 54 6.5 Well Quasi-Orders in Computer Science .............................. 56 6.6 Privacy and Security in Smart Energy Grids ............................ 58 6.7 Reproducibility of Data-Oriented Experiments in e-Science .................... 60 6.8 Eyewear Computing – Augmenting the Human with Head-Mounted Wearable Assistants . 62 6.9 Modern Cryptography and Security: An Inter-Community