Jahresbericht / Annual Report 2017 Vii 9.1 Bibliothek Research Library
Total Page:16
File Type:pdf, Size:1020Kb
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. Leibniz Center for Informatics. Der Höhepunkt war sicherlich die im Mai gefällte Ent- First and foremost, as a consequence of our positive scheidung der GWK (Gemeinsame Wissenschaftskonfe- evaluation, GWK (the Joint Science Conference of the renz), aufgrund der positiven Evaluierung die Finanzierung German states) decided in May to continue funding of LZI des LZI für weitere sieben Jahre zu gewährleisten. for another seven year period. Mit 77 Dagstuhl Seminaren und Perspektiven Work- We hosted a record high of 77 Dagstuhl Seminars and shops, die von beinahe 2 600 Wissenschaftlern besucht Perspective Workshops that were attended by almost 2,600 wurden, wurde 2017 ein neuer Rekord aufgestellt. Fast researchers of which almost half were first time visitors die Hälfte dieser Wissenschaftler war zum ersten Mal bei to Dagstuhl, more than one third were junior researchers, uns, mehr als ein Drittel waren Nachwuchswissenschaftler, more than three quarters came from abroad, and almost a mehr als drei Viertel kam aus dem Ausland und fast ein fifth were women. Fünftel war weiblich. The dblp computer science bibliography also set new Auch bei der dblp Bibliographiedatenbank wurden records in 2017 by growing by more than 400,000 entries 2017 neue Rekorde aufgestellt, indem dblp um mehr to reach a total of more than four million publication als 400 000 Einträge auf über vier Millionen Publikati- records. The usage of the database has also grown and has onsdatensätze wuchs. Die Nutzung der Datenbank nahm reached an average of six page requests per second. At the ebenfalls zu und erreichte durchschnittlich sechs Seitenauf- same time the formal process for receiving additional base rufe pro Sekunde. Unterdessen wurden auch Fortschritte funding in order to incorporate dblp completely into LZI bei der Sicherung zusätzlicher Grundfnanzierung zwecks and expand it has proceeded smoothly, taking all formal völliger Integration von dblp ins LZI und weiterem Ausbau hurdles without problems. We are optimistic that GKW gemacht. Dabei wurden alle formellen Hürden problemlos will soon give its official nod to this funding expansion. genommen, und wir sind zuversichtlich, dass die GWK Also our open access publishing division set new bald diese Ausweitung der Finanzierung genehmigen wird. records in 2017 with more than 1,100 papers published Unsere Abteilung Open-Access-Verlagsdienstleistun- during the year in the LIPIcs and OASIcs series. gen hat 2017 ebenfalls neue Rekorde aufgestellt: Mehr als Dagstuhl saw some changes during the year, e.g. the 1 100 Konferenzpapiere wurden während des Jahres in den construction of a new lecture hall and of a new parking Reihen LIPIcs und OASIcs veröffentlicht. lot. More importantly, it saw changes in personnel: Marc Vorwort Foreword Es gab während des Jahres einige Veränderungen in Herbstritt unfortunately left us with the end of the year, Rosi Dagstuhl, z. B. die Fertigstellung eines neuen Vortragssaa- Bardohl was on sick leave all year moving to an inactive les und eines neuen Parkplatzes. Darüber hinaus gab es status with the end of the year. personelle Veränderungen im Stab: Marc Herbstritt verlies However, we were successful in hiring two new mem- uns unglücklicherweise zum Jahresende und Rosi Bardohl bers to the scientific staff, namely Michael Gerke and war das ganze Jahr über aus gesundheitlichen Gründen Michael Didas. abwesend und ging zum Jahresende ausser Dienst. You can find many more details in the following Es ist uns jedoch gelungen, zwei neue Mitarbeiter chapters. Enjoy the report. für den Wissenschaftlichen Stab zu gewinnen, nämlich Michael Gerke und Michael Didas. Weitere Details können Sie den folgenden Kapiteln entnehmen. Viel Spaß beim Lesen des Berichtes. 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 2017 News from 2017 ........................................... 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 2017 Seminar-Programm in 2017 ..................................... 15 2.5 Angaben zu Teilnehmern und Organisatoren Participant and Organizer Data ................................... 15 2.6 Themen und Forschungsgebiete Topics and Research Areas ..................................... 17 2.7 Weitere Veranstaltungstypen Further Event Types ......................................... 18 2.8 Qualitätssicherung Quality Assurance .......................................... 19 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 Integration von externen Identifikatoren Integration of external identifier schemes .............................. 25 4 Dagstuhl Publishing Dagstuhl Publishing 29 4.1 Portfolio Portfolio ............................................... 30 4.2 Infrastruktur Infrastructure ............................................. 35 5 Resonanz Feedback 39 5.1 Resonanz zu Seminaren und Workshops Feedback on Seminars and Workshops ............................... 40 5.2 Resonanz zur Bibliographiedatenbank dblp Feedback on the dblp Computer Science Bibliography ....................... 48 5.3 Resonanz zu Dagstuhl Publishing Feedback on Dagstuhl Publishing .................................. 49 6 Die Seminare in 2017 The 2017 Seminars 51 6.1 Functoriality in Geometric Data ................................... 54 6.2 Automated Program Repair ..................................... 55 6.3 Planning and Robotics ........................................ 56 6.4 Network Function Virtualization in Software Defined Infrastructures . 58 6.5 Randomization in Parameterized Complexity ............................ 59 6.6 From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learn- ing for NLP .............................................. 60 6.7 Theory and Applications of Behavioural Types ........................... 61 6.8 Wildly Heterogeneous Post-CMOS Technologies Meet Software . 62 6.9 Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities ............................................... 64 6.10 Computer-Assisted Engineering for Robotics and Autonomous Systems . 66 6.11 Applications of Topology to the Analysis of 1-Dimensional Objects . 68 6.12 Computability Theory ........................................ 70 6.13 Shape-Changing Interfaces ..................................... 71 6.14 Computer