CINXE.COM
DagMan
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge" /> <meta name="google" content="notranslate"> <meta http-equiv="Content-Language" content="en"> <meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="csrf-token" content="UfzGa83bVzTtPya2ON7IK4wm3I8lIHcv0XFDVtCh" /> <link rel="canonical" href="https://drops.dagstuhl.de/entities/journal/DagMan" /> <title>DagMan</title> <link rel="icon" href="https://drops.dagstuhl.de/favicon.ico" /> <link rel="stylesheet" href="https://drops.dagstuhl.de/css/app.css?drops-core-2024-10-22" /> <!-- Livewire Styles --><style >[wire\:loading][wire\:loading], [wire\:loading\.delay][wire\:loading\.delay], [wire\:loading\.inline-block][wire\:loading\.inline-block], [wire\:loading\.inline][wire\:loading\.inline], [wire\:loading\.block][wire\:loading\.block], [wire\:loading\.flex][wire\:loading\.flex], [wire\:loading\.table][wire\:loading\.table], [wire\:loading\.grid][wire\:loading\.grid], [wire\:loading\.inline-flex][wire\:loading\.inline-flex] {display: none;}[wire\:loading\.delay\.none][wire\:loading\.delay\.none], [wire\:loading\.delay\.shortest][wire\:loading\.delay\.shortest], [wire\:loading\.delay\.shorter][wire\:loading\.delay\.shorter], [wire\:loading\.delay\.short][wire\:loading\.delay\.short], [wire\:loading\.delay\.default][wire\:loading\.delay\.default], [wire\:loading\.delay\.long][wire\:loading\.delay\.long], [wire\:loading\.delay\.longer][wire\:loading\.delay\.longer], [wire\:loading\.delay\.longest][wire\:loading\.delay\.longest] {display: none;}[wire\:offline][wire\:offline] {display: none;}[wire\:dirty]:not(textarea):not(input):not(select) {display: none;}:root {--livewire-progress-bar-color: #2299dd;}[x-cloak] {display: none !important;}</style> </head> <body> <nav class="navbar main fixed-top navbar-expand-lg navbar-light bg-light"> <div class="container-fluid"> <a class="navbar-brand" href="https://www.dagstuhl.de"> <img class="lzi-logo" src="https://drops.dagstuhl.de/images/LZI-Logo.jpg" width="84" height=62" alt="Schloss Dagstuhl - LZI - Logo" /> </a> <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="navbarSupportedContent"> <ul class="navbar-nav me-auto mb-2 mb-lg-0"> <li class="nav-item" style="white-space: nowrap"> <a class="nav-link" href="https://drops.dagstuhl.de"> <i class="bi bi-house large-icon"></i> DROPS </a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownSeries" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-journals large-icon"></i> Series </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/LIPIcs"> LIPIcs – Leibniz International Proceedings in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/OASIcs"> OASIcs – Open Access Series in Informatics </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DFU"> Dagstuhl Follow-Ups </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/series/DagAnnRep"> Schloss Dagstuhl Jahresbericht </a> </li> <li class="dropdown-divider"></li> <li> <a class="dropdown-item" href="/#discontinued-series">Discontinued Series</a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownJournals" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-journal large-icon"></i> Journals </a> <ul class="dropdown-menu" aria-labelledby="navbarDropdown"> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DARTS"> DARTS – Dagstuhl Artifacts Series </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagRep"> Dagstuhl Reports </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagMan"> Dagstuhl Manifestos </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/LITES"> LITES – Leibniz Transactions on Embedded Systems </a> </li> <li><a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/TGDK"> TGDK – Transactions on Graph Data and Knowledge </a> </li> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownConferences" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-people large-icon"></i> Conferences </a> <ul class="dropdown-menu conference-dropdown" aria-labelledby="navbarDropdown"> <div class="row"> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AFT"> AFT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AIB"> AIB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/AofA"> AofA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/APPROX"> APPROX </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ATMOS"> ATMOS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CALCO"> CALCO </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CCC"> CCC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CONCUR"> CONCUR </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/COSIT"> COSIT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CP"> CP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CPM"> CPM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/CSL"> CSL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DISC"> DISC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DITAM"> DITAM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/DNA"> DNA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECOOP"> ECOOP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ECRTS"> ECRTS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ESA"> ESA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FAB"> FAB </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FMBC"> FMBC </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FORC"> FORC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSCD"> FSCD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FSTTCS"> FSTTCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/FUN"> FUN </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GD"> GD </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/GIScience"> GIScience </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICALP"> ICALP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICDT"> ICDT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ICPEC"> ICPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/IPEC"> IPEC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/iPMVM"> iPMVM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ISAAC"> ISAAC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITC"> ITC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITCS"> ITCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/ITP"> ITP </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/LDK"> LDK </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/MFCS"> MFCS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Microservices"> Microservices </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/NG-RES"> NG-RES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/OPODIS"> OPODIS </a> </li> </div> <div class="col-sm-4 nav-conference-col"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/PARMA"> PARMA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/RANDOM"> RANDOM </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAND"> SAND </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SAT"> SAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SEA"> SEA </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SLATE"> SLATE </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SNAPL"> SNAPL </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SoCG"> SoCG </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/STACS"> STACS </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/SWAT"> SWAT </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TIME"> TIME </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/Tokenomics"> Tokenomics </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TQC"> TQC </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/TYPES"> TYPES </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WABI"> WABI </a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/conference/WCET"> WCET </a> </li> </div> </div> </ul> </li> <li class="nav-item"> <a class="nav-link" href="https://drops.dagstuhl.de/docs/about" id="navbarAbout"> <i class="bi bi-info-circle large-icon"></i><span class="nav-text-about-drops"> About DROPS</span> </a> </li> </ul> <form class="navbar-search d-flex" action="https://drops.dagstuhl.de/search" method="post"> <input type="hidden" name="_token" value="UfzGa83bVzTtPya2ON7IK4wm3I8lIHcv0XFDVtCh" autocomplete="off"> <div class="input-group"> <input class="form-control" type="search" placeholder="Search" aria-label="Search" name="term" autocomplete="off" maxlength="600"> <button class="btn btn-outline-success" type="submit"> <i class="bi bi-search" style="color: #000"></i> </button> </div> </form> <ul class="navbar-nav nav-metadata"> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" id="navbarDropdownMetadata" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi bi-database-down large-icon"></i><span class="nav-text-metadata">Metadata Export</span> </a> <ul class="dropdown-menu dropdown-metadata" aria-labelledby="navbarDropdownMetadata"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/metadata">Metadata Export</a> </li> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/oai?verb=Identify" target="_blank">OAI Interface</a> </li> </ul> </li> </ul> </div> </div> </nav> <div id="app" data-release="drops-core-2024-10-22" class="container "> <div id="_top-of-page"></div> <div class="fixed-search-button"><i class="bi bi-search"></i></div> <div class="series-details"> <br> <div class="entity-type journal"> <div> <span class="entity-type-name"> <i class="bi bi-journal"></i> Journal </span> <span class="sharing-section"> <span class="sharing-buttons"> <span class="dropdown"> <a class="btn sharing-btn metadata dropdown-toggle" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false"><i class="bi bi-download"></i></a> <ul class="dropdown-menu dropdown-menu-end"> <li> <a class="dropdown-item" href="https://drops.dagstuhl.de/entities/journal/DagMan/metadata/schema-org"> Export Schema.org </a> </li> </ul> </span> </span> </span> </div> </div> <hr> <div class="text-center"> <img style="" src="https://drops.dagstuhl.de/images/DagMan-logo.png" alt="DagMan-logo" class="dagman-logo"/> <h1 class="mt-4">Dagstuhl Manifestos</h1> <small style="margin-right: 2em">ISSN 2193-2433</small> </div> <hr> <div class="mt-5"> <ul class="nav nav-tabs" id="series-documentation" role="tablist"> <li class="nav-item" role="presentation"> <a class="nav-link active" id="publications-tab" data-bs-toggle="tab" href="#publications" role="tab" aria-controls="publications" aria-selected="false"> Publications </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="general-tab" data-bs-toggle="tab" href="#general" role="tab" aria-controls="general" aria-selected="true"> General </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="editorialboard-tab" data-bs-toggle="tab" href="#editorialboard" role="tab" aria-controls="editorialboard" aria-selected="false"> Editorial Board </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="author-tab" data-bs-toggle="tab" href="#author" role="tab" aria-controls="author" aria-selected="false"> Author Instructions </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="editor-tab" data-bs-toggle="tab" href="#editor" role="tab" aria-controls="editor" aria-selected="false"> Editor Instructions </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="faq-tab" data-bs-toggle="tab" href="#faq" role="tab" aria-controls="faq" aria-selected="false"> FAQ </a> </li> <li class="nav-item" role="presentation"> <a class="nav-link" id="contact-tab" data-bs-toggle="tab" href="#contact" role="tab" aria-controls="contact" aria-selected="false"> Contact </a> </li> </ul> <div class="tab-content" id="tab-contents"> <br /> <div class="tab-pane fade show active" id="publications" role="tabpanel" aria-labelledby="publications-tab"> <div class="row mt-2"> <div class="col-sm-8 mt-2"> <h2 class="mt-3">Volumes</h2> <div class="documents"> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-10">Dagstuhl Manifestos, Volume 10</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-10-issue-1">Issue 1</a> (2024) </p> <ul class="card-text small"> <li>Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-9">Dagstuhl Manifestos, Volume 9</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-9-issue-1">Issue 1</a> (2021) </p> <ul class="card-text small"> <li>Web Futures: Inclusive, Intelligent, Sustainable The 2020 Manifesto for Web Science (Dagstuhl Perspectives Workshop 18262)</li> <li>Diversity in News Recommendation (Dagstuhl Perspectives Workshop 19482)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-8">Dagstuhl Manifestos, Volume 8</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-8-issue-1">Issue 1</a> (2020) </p> <ul class="card-text small"> <li>Implementing FAIR Data Infrastructures (Dagstuhl Perspectives Workshop 18472)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-7">Dagstuhl Manifestos, Volume 7</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-7-issue-1">Issue 1</a> (2018) </p> <ul class="card-text small"> <li>Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)</li> <li>QoE Vadis? (Dagstuhl Perspectives Workshop 16472)</li> <li>Tensor Computing for Internet of Things (Dagstuhl Perspectives Workshop 16152)</li> <li>Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)</li> <li>From Evaluating to Forecasting Performance: How to Turn Information Retrieval, Natural Language Processing and Recommender Systems into Predictive Sciences (Dagstuhl Perspectives Workshop 17442)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-6">Dagstuhl Manifestos, Volume 6</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-6-issue-1">Issue 1</a> (2017) </p> <ul class="card-text small"> <li>Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-5">Dagstuhl Manifestos, Volume 5</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-5-issue-1">Issue 1</a> (2015) </p> <ul class="card-text small"> <li>Connecting Performance Analysis and Visualization (Dagstuhl Perspectives Workshop 14022)</li> <li>Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-4">Dagstuhl Manifestos, Volume 4</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-4-issue-1">Issue 1</a> (2014) </p> <ul class="card-text small"> <li>Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)</li> <li>Co-Design of Systems and Applications for Exascale (Dagstuhl Perspectives Workshop 12212)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-3">Dagstuhl Manifestos, Volume 3</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-3-issue-1">Issue 1</a> (2013) </p> <ul class="card-text small"> <li>Machine Learning Methods for Computer Security (Dagstuhl Perspectives Workshop 12371)</li> <li>ICT for Bridging Biology and Medicine (Dagstuhl Perspectives Workshop 13342)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-2">Dagstuhl Manifestos, Volume 2</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-2-issue-1">Issue 1</a> (2012) </p> <ul class="card-text small"> <li>Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspective (Dagstuhl Perspectives Workshop 12182)</li> <li>Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382)</li> </ul> </div> </div> <div class="entity-list-item volume card m-3" data-show="1"> <div class="entity-type"><i class="bi bi-book-half"></i> Volume</div> <div class="card-body"> <h5 class="card-title"><a href="https://drops.dagstuhl.de/entities/volume/DagMan-volume-1">Dagstuhl Manifestos, Volume 1</a></h5> <p class="card-text small subtitle"> <a href="https://drops.dagstuhl.de/entities/issue/DagMan-volume-1-issue-1">Issue 1</a> (2011) </p> <ul class="card-text small"> <li>Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)</li> <li>Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)</li> <li>Improving The Future of Research Communications and e-Scholarship (Dagstuhl Perspectives Workshop 11331)</li> </ul> </div> </div> </div> </div> <div class="col-sm-4 mt-2"> <h2 class="mt-3">Access Numbers</h2> <ul> <li> <a href="#" class="btn-statistics" data-entity="journal/DagMan" data-title="Dagstuhl Manifestos"> <i class="bi bi-graph-up"></i> Detailed Access Statistics available here </a> </li> <li> Total Document Accesses (updated on a weekly basis): <div class="stats-total"> <div class="stats total-downloads"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">PDF Downloads</div> </div> <div class="stats total-metadata-views"> <div class="circle"> <div class="number" data-number="0">0</div> </div> <div class="label">Metadata Views</div> </div> </div> <!-- must be externally available for the series/journal case --> </li> </ul> <br> <h2 class="mt-3">Authors</h2> <div wire:snapshot="{"data":{"term":"","matches":[[],{"s":"arr"}],"searchHasBeenClicked":false},"memo":{"id":"MF9kS9D9bqhPS7IE8kiI","name":"drops-core::author-search","path":"entities\/journal\/DagMan","method":"GET","children":[],"scripts":[],"assets":[],"errors":[],"locale":"en"},"checksum":"d58ebe7cfa3172008c09dde204509a0f3c238fa40ed0b323fe0a4ef6f2ef1d33"}" wire:effects="[]" wire:id="MF9kS9D9bqhPS7IE8kiI" class="author-search"> <form wire:submit="searchClicked()" class="author-search navbar-search d-flex"> <div class="input-group" style="position: relative"> <input class="form-control" type="search" placeholder="Search Authors" aria-label="Search" wire:model.live.debounce.300ms="term" maxlength="600"> <span wire:loading class="spin author-loader"> <i class="bi bi-arrow-repeat"></i> </span> <span class="btn btn-outline-success" wire:click="searchClicked()"> <i class="bi bi-search" style="color: #000"></i> </span> </div> </form> <div class="results mb-2" style="min-height: 1.5em"> <!--[if BLOCK]><![endif]--><!--[if ENDBLOCK]><![endif]--> </div> </div> <div wire:snapshot="{"data":{"metadataKey":"dagstuhl.contributor.author:keyword","context":"journal\/DagMan","size":16,"route":"https:\/\/drops.dagstuhl.de\/search\/documents?author="},"memo":{"id":"dPnXHK1BEAIZel8zweFG","name":"drops-core::aggregation-list","path":"entities\/journal\/DagMan","method":"GET","children":[],"scripts":[],"assets":[],"errors":[],"locale":"en"},"checksum":"25b22450f4746da9bc4f41608264d1179937265b39ee4a536719353f89f4d760"}" wire:effects="[]" wire:id="dPnXHK1BEAIZel8zweFG" class="aggregation-list"> <ul class="list-group"> <!--[if BLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">2</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Kirchner, Claude">Kirchner, Claude</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">2</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Tintarev, Nava">Tintarev, Nava</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Abiteboul, Serge">Abiteboul, Serge</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Acar, Evrim">Acar, Evrim</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Allen, Alice">Allen, Alice</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Almeida, Jonas S.">Almeida, Jonas S.</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Anandkumar, Animashree">Anandkumar, Animashree</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Aragon, Cecilia">Aragon, Cecilia</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Arenas, Marcelo">Arenas, Marcelo</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Baden, Christian">Baden, Christian</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Barceló, Pablo">Barceló, Pablo</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Beam, Michael A.">Beam, Michael A.</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Becker, Christoph">Becker, Christoph</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Berendt, Bettina">Berendt, Bettina</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Bernstein, Abraham">Bernstein, Abraham</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="list-group-item filter-item"> <span class="badge bg-secondary">1</span> <!--[if BLOCK]><![endif]--> <a href="https://drops.dagstuhl.de/search/documents?author=Bienvenu, Meghyn">Bienvenu, Meghyn</a> <!--[if ENDBLOCK]><![endif]--> </li> <!--[if ENDBLOCK]><![endif]--> <!--[if BLOCK]><![endif]--> <li class="filter-item list-group-item list-group-item-secondary" wire:click="showMore()"> <i class="bi bi-plus"></i> Show More... </li> <!--[if ENDBLOCK]><![endif]--> <!--[if ENDBLOCK]><![endif]--> </ul> </div> </div> </div> </div> <div class="tab-pane fade" id="general" role="tabpanel" aria-labelledby="general-tab"> <div class="row"> <div class="col-sm-2"> </div> <div class="col-sm-10"> <p>Dagstuhl Perspectives Workshops complement Dagstuhl Seminars. They look beyond recent research far into the future, trying to identify new goals, fields and applications of computer science. The scope of Dagstuhl Perspectives Workshops includes reflection about the state of individual or overlapping fields. <br />Dagstuhl Perspectives Workshops are more oriented towards a small group of internationally renowned senior researchers for an intensive discussion with a focus on strategy. In contrast to Dagstuhl Seminars they do not refer to their current research results but reflect the state of a field, identify strengths and weaknesses, determine promising new developments and relevant new problems, and seek synergies between different fields. Initiated in 2011, the series <i>Dagstuhl Manifestos</i> publishes the manifestos resulting from Dagstuhl Perspectives Workshops.</p> <p>The journal <i>Dagstuhl Manifestos</i> is published in one volume with one issue per year.</p> </div> </div> <hr> <div class="row"> <div class="col-sm-2"> <h5>Aims and Scope</h5> </div> <div class="col-sm-10"> <p>The manifestos from Dagstuhl Perspectives Workshops are published in the journal<i> Dagstuhl Manifesto</i>.</p> <p>The goal is to describe the state-of-the-art in a field along with its shortcomings and strenghts. Based on this, position statements and perspectives for the future should be described.</p> <p>A manifesto typically has a less technical character; instead it provides guidelines and roadmaps for a sustainable organization of future progress. </p> </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Open Access Policy</h5> </div> <div class="col-sm-10"> The periodical Dagstuhl Manifestos is peer-reviewed and is published as an open access journal, i.e., the content is accessible online and free of charge. The authors retain their copyright. Preprints (pre-review manuscripts), post prints (authors accepted manuscripts, AAM), and the version of record (VoR) can be deposited without restrictions. </div> </div> <div class="row"> <div class="col-sm-2"> <h5>License</h5> </div> <div class="col-sm-10"> Dagstuhl Manifestos are published under a Creative Commons CC BY license (<a href="http://creativecommons.org/licenses/by/4.0/" title="Link zu http://creativecommons.org/licenses/by/4.0/" target="_blank">http://creativecommons.org/licenses/by/4.0/</a>).<br/> The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license (<a href="https://creativecommons.org/publicdomain/zero/1.0/legalcode" title="Link zu https://creativecommons.org/publicdomain/zero/1.0/legalcode" target="_blank">https://creativecommons.org/publicdomain/zero/1.0/legalcode</a>). </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Processing Charge</h5> </div> <div class="col-sm-10"> For the series Dagstuhl Manifestos, no fee is charged. </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>ISSN</h5> </div> <div class="col-sm-10"> <span>2193-2433</span> </div> </div> <div class="row"> <div class="col-sm-2"> <h5>Identifier</h5> </div> <div class="col-sm-10"> Each issue is assigned a DOI and a URN.<br /> Each article is assigned a DOI and a URN.<br /> To facilitate author identification, the Open Researcher and Contributor ID (ORCID) is optionally included during upload so that authors can be uniquely linked to their ORCID iD. </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Longterm Preservation</h5> </div> <div class="col-sm-10"> The digital archiving of each issue is done in cooperation with the Deutsche Nationalbibliothek/German National Library (<a href="http://www.dnb.de/" title="Link zu http://www.dnb.de/" target="_blank">http://www.dnb.de</a>). </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Publication Ethics</h5> </div> <div class="col-sm-10"> Dagstuhl Publishing as a division of Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH (LZI, or Schloss Dagstuhl for short) and its series and journals adhere to <a target="_blank" href="https://publicationethics.org/core-practices">CORE practices guidance</a> laid by <a target="_blank" href="https://publicationethics.org/">COPE (Committee on Publication Ethics)</a> and are committed to the rules of good scientific practice in accordance with the <a target="_blank" href="https://www.leibniz-gemeinschaft.de/en/about-us/leibniz-integrity/good-scientific-practice-and-ombuds-services">guidelines of the Leibniz Association</a> and the <a target="_blank" href="https://wissenschaftliche-integritaet.de/en/">German Research Foundation (DFG)</a>. We expect all parties (so authors, editors, and reviewers) involved in the publication and review process of contributions to be published in the series to follow these core practises and the guidelines. Allegations of misconduct will be investigated in accordance with the COPE Best Practice Guidelines as far as is practicable. If notified of a potential breach of publication ethics, we encourage editors and authors to inform Dagstuhl Publishing contact as soon as possible. Detailed information can be found on the <a target="_blank" href="https://www.dagstuhl.de/en/publishing/ethics">Publication Ethics website</a>. </div> </div> </div> <div class="tab-pane fade" id="editorialboard" role="tabpanel" aria-labelledby="editorialboard-tab"> <div class="row"> <div class="col-sm-2"> <h5>Editorial Board</h5> </div> <div class="col-sm-10"> <ul> <li> Elisabeth André <a href="http://www.informatik.uni-augsburg.de/lehrstuehle/hcm/staff/andre/">Universität Augsburg, DE</a> </li> <li> Franz Baader <a href="http://lat.inf.tu-dresden.de/~baader/">TU Dresden, DE</a> </li> <li> Goetz Graefe Google - Madison, US </li> <li> Reiner Hähnle <a href="http://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_30784.de.jsp">TU Darmstadt, DE</a> </li> <li> Barbara Hammer <a href="http://www.techfak.uni-bielefeld.de/~bhammer/">Universität Bielefeld, DE</a> </li> <li> Lynda Hardman <a href="http://www.cwi.nl/~lynda/">CWI - Amsterdam, NL</a> and <a href="https://www.uu.nl/staff/default.aspx?Profielpagina=LHardman">University of Utrecht, NL</a> </li> <li> Steve Kremer <a href="http://www.loria.fr/~skremer/">INRIA Nancy - Grand Est, FR</a> </li> <li> Rupak Majumdar <a href="http://www.mpi-sws.org/~rupak">Max-Planck-Institut für Softwaresysteme – Kaiserslautern, DE</a> </li> <li> Heiko Mantel <a href="http://www.mais.informatik.tu-darmstadt.de/Heiko_Mantel.html">TU Darmstadt, DE</a> </li> <li> Lennart Martens <a href="https://ai.ugent.be/people/LennartMartens.en.html">Ghent University, BE</a> </li> <li> Albrecht Schmidt <a href="http://www.um.informatik.uni-muenchen.de/personen/professoren/schmidt/index.html">LMU München, DE</a> </li> <li> Wolfgang Schröder-Preikschat <a href="http://www4.cs.fau.de/~wosch/">Universität Erlangen-Nürnberg, DE</a> </li> <li> Raimund Seidel <a href="http://www-tcs.cs.uni-saarland.de/">Universität des Saarlandes - Saarbrücken, DE</a> - <span>Scientific Director</span> </li> <li> Heike Wehrheim <a href="https://uol.de/informatik/formale-methoden/team/heike-wehrheim">Universität Oldenburg, DE</a> </li> <li> Verena Wolf <a href="http://mosi.cs.uni-saarland.de/?page_id=53">Universität des Saarlandes - Saarbrücken, DE</a> </li> <li> Martina Zitterbart <a href="http://telematics.tm.kit.edu/staff_zitterbart.php">KIT - Karlsruher Institut für Technologie, DE</a> </li> </ul> </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Constitution</h5> </div> <div class="col-sm-10"> <p>The <a href="https://www.dagstuhl.de/en/about-dagstuhl/bodies-and-boards/scientific-directorate/">Scientific Directorate of Schloss Dagstuhl</a> acts as editorial board. The task of the Scientific Directorate is to implement the Center's designated purpose in a scientific and subject-matter capacity. It convenes twice a year to establish the research and event program, ensure the quality of the Center's offerings, and monitor how the program is put into practice.</p> <p>Members of the Scientific Directorate are the Scientific Director and as many scientific experts as necessary and appropriate for the competent evaluation of important computer science fields.</p> <p>Members of the Scientific Directorate are appointed by the Supervisory Board following a joint proposal by the Scientific Director and the Scientific Advisory Board. Proposals are collated by the Scientific Director in collaboration with the Scientific Advisory Board based on proposals from the shareholders, the Scientific Directorate, and the Scientific Advisory Board.</p> </div> </div> </div> <div class="tab-pane fade" id="author" role="tabpanel" aria-labelledby="author-tab"> <div class="row"> <div class="col-sm-2"> <h5>Info for Authors</h5> </div> <div class="col-sm-10"> <p>The composition of Dagstuhl Manifestos is highly individual. It is up to the organisers of the Perspectives Workshop, who also act as editors of the Manifesto, to organise the composition of the Manifesto. Therefore, manifesto authors should contact the editors directly for further information.</p> </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>FAQ</h5> </div> </div> <br> <div class="row"> <div class="col-sm-2"> <h5>Not found?</h5> </div> <div class="col-sm-10"> <p> Didn't find what you are looking for? Don't hesitate to leave us message at <a href="mailto:publishing@dagstuhl.de">publishing@dagstuhl.de</a>! </p> </div> </div> </div> <div class="tab-pane fade" id="editor" role="tabpanel" aria-labelledby="editor-tab"> <div class="row"> <div class="col-sm-2"> <h5>Templates and Example Files</h5> </div> <div class="col-sm-10"> <p>Please download the current version of the DagMan style along with an example file:</p> <div class="alert alert-info alert-inline"> <div class="latex-style"> <b>dagman-v2021</b> <span class="label label-success "> v2021.2.3 </span> <aside style="display: inline-block; margin-left: 10px;"> <div class="btn-group"> <button type="button" class="btn btn-xs btn-default dropdown-toggle" data-bs-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Download <span class="caret"></span> </button> <ul class="dropdown-menu"> <li> <a class="dropdown-item" href="https://submission.dagstuhl.de/styles/download-tag/dagman/v2021.2.3/authors/zip"> as zip-file </a> </li> <li> <a class="dropdown-item" href="https://submission.dagstuhl.de/styles/download-tag/dagman/v2021.2.3/authors/tgz"> as tar.gz-file </a> </li> </ul> </div> <span class="btn btn-xs" onclick="window.open( 'https://submission.dagstuhl.de/styles/instructions/98', '_blank', 'width=1024, height='+screen.availHeight)"> Instructions for Authors </span> </aside> </div> </div> <p> For <a href="https://github.com/dagstuhl-publishing/styles/releases">older releases</a> and an <a href="https://github.com/dagstuhl-publishing/styles/issues">issue tracker</a>, see our <a href="https://github.com/dagstuhl-publishing/styles">GitHub archive</a>. </p> </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>Editorship / Authorship</h5> </div> <div class="col-sm-10"> <p>The organizers of the Dagstuhl Perspectives Workshop are going to act as editors of the manifesto. The authorship of each chapter/section written is appropriately mentioned in the manifesto.</p> </div> </div> <hr /> <div class="row"> <div class="col-sm-2"> <h5>FAQ</h5> </div> </div> <br> <div class="row"> <div class="col-sm-2"> <h5>Not found?</h5> </div> <div class="col-sm-10"> <p> Didn't find what you are looking for? Don't hesitate to leave us message at <a href="mailto:publishing@dagstuhl.de">publishing@dagstuhl.de</a>! </p> </div> </div> </div> <div class="tab-pane fade" id="faq" role="tabpanel" aria-labelledby="faq-tab"> <div class="row"> <div class="col-sm-2"> <h5>FAQ</h5> </div> </div> <div class="row"> <div class="col-sm-2"> <h5>General</h5> </div> <div class="col-sm-10"> <div class="accordion" id="accordion-General"> <div class="accordion-item faq-list-item"> <h2 class="accordion-header" id="heading-37-General-series"> <button class="accordion-button collapsed" type="button" data-bs-toggle="collapse" data-bs-target="#FAQ-37-General-series" style="background-color: #eee" aria-expanded="false" aria-controls="FAQ-37-General-series"> <span> <span class="label label-info">Report and Manifesto</span> <span class="question">Do perspectives workshops need to provide both a manifesto and a report?</span> </span> </button> </h2> <div id="FAQ-37-General-series" class="accordion-collapse collapse" aria-labelledby="heading-37-General-series" data-bs-parent="#accordion-General"> <div class="accordion-body"> <p>Yes, we expect our Perspective Workshops to prepare a Dagstuhl Report <b>and</b> a Dagstuhl Manifesto.</p> <p>The <i>Dagstuhl Reports</i> series aims at documenting a seminar/workshop; the report is not reviewed. See <a href="http://www.dagstuhl.de/dagrep">http://www.dagstuhl.de/dagrep</a>.<br /> (We expect the submission of the report 3 months after the workshop/seminar.)</p> <p>A <i>Dagstuhl Manifesto</i> aims at describing the state of the art of the field and proposing visions and perspectives. The manifesto is reviewed by the scientific directorate of Dagstuhl. The manifesto targets both the scientific community and "political" stakeholders (such as funding agencies, EU departments, ...). See <a href="http://www.dagstuhl.de/dagman">http://www.dagstuhl.de/dagman</a>.<br /> (We expect the submission of the manifesto ~6 months after the seminar.)</p> </div> <div class="card-footer"> <small><a href="https://submission.dagstuhl.de/documentation/faq/37"><span class="glyphicon glyphicon-new-window"></span> https://submission.dagstuhl.de/documentation/faq/37</a></small> </div> </div> </div> </div> </div> </div> <br> <div class="row"> <div class="col-sm-2"> <h5>Not found?</h5> </div> <div class="col-sm-10"> <p> Didn't find what you are looking for? Don't hesitate to leave us message at <a href="mailto:publishing@dagstuhl.de">publishing@dagstuhl.de</a>! </p> </div> </div> </div> <div class="tab-pane fade" id="contact" role="tabpanel" aria-labelledby="contact-tab"> <div class="row"> <div class="col-sm-2"> <h5>Contact Dagstuhl Publishing</h5> </div> <div class="col-sm-10"> <div class="card"> <div class="card-body"> <h5 class="card-title">Dagstuhl Publishing Team</h5> <div class="icons"> <a href="mailto:publishing@dagstuhl.de" class="card-link"><i class="bi bi-envelope"></i> publishing@dagstuhl.de</a> </div> </div> </div> </div> </div> </div> </div> </div> <div class="offcanvas offcanvas-bottom" tabindex="-1" id="statistics-offcanvas" aria-labelledby="statistics-offcanvas"> <div class="offcanvas-header"> <h5 class="offcanvas-title"></h5> <button type="button" class="btn-close text-reset" data-bs-dismiss="offcanvas" aria-label="Close"></button> </div> <div class="offcanvas-body small" data-context="Dagstuhl Manifestos"> <div style="margin-top: 20vh" class="centered-loader"><div class="loader"></div></div> <iframe class="-hidden"></iframe> </div> </div> </div> </div> <span class="_feedback-button"> <i class="bi bi-question-circle"></i> <span class="text">Questions / Remarks / Feedback</span> </span> <div class="_feedback-form -hidden"> <span class="_feedback-close">X</span> <p>Feedback for Dagstuhl Publishing</p> <div> <textarea class="form-control" name="_feedback"></textarea> <input class="form-control" type="text" name="name" autocomplete="off" placeholder="Name (optional)" maxlength="60" /> <input class="form-control" type="email" name="email" autocomplete="off" placeholder="Email (optional)" maxlength="60" /> <br/> <button class="btn btn-sm btn-default">Send</button> </div> </div> <div class="alert alert-success _feedback-success -hidden"> <span class="glyphicon glyphicon-ok"></span> <h3>Thanks for your feedback!</h3> <div>Feedback submitted</div> <button class="btn btn-white _feedback-done">OK</button> </div> <div class="alert alert-danger _feedback-error -hidden"> <span class="glyphicon glyphicon-remove"></span> <h3>Could not send message</h3> <div>Please try again later or send an <a href="mailto:publishing@dagstuhl.de">E-mail</a></div> <button class="btn btn-white _feedback-done">OK</button> </div> <a class="scroll-up-button -hidden" href="#_top-of-page"> <i class="bi bi-arrow-up-circle"></i> </a> <footer class="page-footer dark"> <div class="container"> <h5>About DROPS</h5> <p>Schloss Dagstuhl - Leibniz Center for Informatics has been operating the Dagstuhl Research Online Publication Server (short: DROPS) since 2004. DROPS enables publication of the latest research findings in a fast, uncomplicated manner, in addition to providing unimpeded, open access to them. All the requisite metadata on each publication is administered in accordance with general guidelines pertaining to online publications (cf. Dublin Core). This enables the online publications to be authorized for citation and made accessible to a wide readership on a permanent basis. Access is free of charge for readers following the open access idea which fosters unimpeded access to scientific publications. </p> </div> <div class="container"> <div class="row"> <div class="col-lg-6"> <h5>Instructions for Authors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#author">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#author">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#author">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#author">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#author">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#author">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#author">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#author">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> <div class="col-lg-6"> <h5>Instructions for Editors</h5> <div class="row"> <div class="col-sm-6"> <b>Dagstuhl Series</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/lipics#editor">LIPIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/oasics#editor">OASIcs</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dfu#editor">Dagstuhl Follow-Ups</a></li> </ul> </div> <div class="col-sm-6"> <b>Dagstuhl Journals</b><br> <ul> <li><a href="https://submission.dagstuhl.de/series/details/darts#editor">DARTS – Dagstuhl Artifacts Series</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagrep#editor">Dagstuhl Reports</a></li> <li><a href="https://submission.dagstuhl.de/series/details/dagman#editor">Dagstuhl Manifestos</a></li> <li><a href="https://submission.dagstuhl.de/series/details/lites#editor">LITES</a></li> <li><a href="https://submission.dagstuhl.de/series/details/tgdk#editor">TGDK – Transactions on Graph Data and Knowledge</a></li> </ul> </div> </div> </div> </div> </div> </footer> <div class="copyright"> © 2023-2024 <a href="https://www.dagstuhl.de">Schloss Dagstuhl – LZI GmbH</a> <a href="https://drops.dagstuhl.de/docs/imprint">Imprint</a> <a href="https://drops.dagstuhl.de/docs/privacy">Privacy</a> <a href="https://www.dagstuhl.de/en/publishing/team">Contact</a> </div> <script type="text/javascript" src="https://drops.dagstuhl.de/js/jquery-3.6.0.min.js"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/app.js?drops-core-2024-10-22"></script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/popper.min.js"></script> <script type="text/javascript"> $(document).ready(function() { const statistics = { statsServer: 'https://drops-stats.dagstuhl.de', showStatistics: function(e) { e.preventDefault(); const $offCanvas = $('#statistics-offcanvas'); const $iframe = $offCanvas.find('iframe'); const $loader = $offCanvas.find('.centered-loader'); $iframe.addClass('-hidden'); $loader.removeClass('-hidden'); $iframe[0].onload = function () { $iframe.removeClass('-hidden'); $loader.addClass('-hidden'); }.bind(this); const modeParameter = ''; const $target = $(e.currentTarget); const entityId = $target.attr('data-entity'); const title = $target.attr('data-title'); const embedUrl = statistics.statsServer + '/embed/external/drops2/' + entityId + modeParameter; let context = $offCanvas.find('.offcanvas-body').attr('data-context'); if (context === title) { context = ''; } if (context !== '') { context += '<br>'; } $offCanvas.find('.offcanvas-title').html(context + '<h2 style="font-weight: bold">' + title + '</h2>'); $offCanvas.offcanvas('show'); $offCanvas.find('iframe').attr('src', embedUrl); return false; }, initialize: function() { $('.btn-statistics').on('click', this.showStatistics); } }; statistics.initialize(); }); </script> <script type="text/javascript" src="https://drops.dagstuhl.de/js/circle-progress.js"></script> <script type="text/javascript"> $(document).ready(function() { const view = { statsServer: 'https://drops-stats.dagstuhl.de', animationStarted: false, isScrolledIntoView: function (elem) { const rect = elem.getBoundingClientRect(); const elemTop = rect.top; //const elemBottom = rect.bottom; // const elemHeight = rect.height; return (elemTop >= 0) && (elemTop <= window.innerHeight); }, progressCircle: function ($el) { $el.find('.circle').circleProgress({ value: 1, size: 80, fill: { color: '#555' }, animation: { duration: 1200 } }); }, countUp: function($el) { $el.find('.number').each(function() { const $this = $(this); const number = parseInt($this.attr('data-number')); let suffix = ''; if (number > 90000) { $this.text(Math.ceil(number/1000)+' k'); suffix = ' k'; } else if (number > 90000000) { $this.text(Math.ceil(number/1000000)+' m'); suffix = ' m'; } else { $this.text(Math.ceil(number)) } $({ Counter: 0 }).animate({ Counter: $this.text().replace(suffix, '').replace(',', '') }, { duration: 1000, easing: 'swing', step: function() { $this.text(Math.ceil(this.Counter).toString().replace(/\B(?=(\d{3})+(?!\d))/g, ",") + suffix); } }); }); }, checkVisibility: function() { const $container = $('.stats-total'); if (view.isScrolledIntoView($container[0])) { if (!view.animationStarted) { view.animationStarted = true; view.progressCircle($container); setTimeout(function() { view.countUp($container) }, 200); } } }, initialize: function() { $.ajax({ type: 'get', url: view.statsServer + '/api/external/drops2/journal/DagMan/-/stats', success: function (result) { $('.total-downloads .number').attr('data-number', result.total.downloads); $('.total-metadata-views .number').attr('data-number', result.total.clicks); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); }, error: function () { $('.total-downloads .number').text(0); $('.total-metadata-views .number').text(0); window.addEventListener('scroll', view.checkVisibility); view.checkVisibility(); } }); } }; view.initialize(); }); </script> <!-- Livewire Scripts --> <script src="/livewire/livewire.js?id=38dc8241" data-csrf="UfzGa83bVzTtPya2ON7IK4wm3I8lIHcv0XFDVtCh" data-update-uri="/livewire/update" data-navigate-once="true"></script> <script type="text/javascript"> $(document).ready(function() { var _faq = { initSingleFaq: function($this) { var id = $this.attr('data-faq-id'); if (id === undefined) { id = $this.attr('id').replace('_multi-faq-', ''); } $this.popover({ html: true, trigger: 'focus', placement: 'auto', container: 'body', title: function() { return $('[data-faq-stack-id="'+id+'"]').first().find('._title').html(); }, content: function() { return $('[data-faq-stack-id="'+id+'"]').first().find('._content').html(); } }); }, initialize: function() { // initialize single faqs $('[data-faq-id]').each(function() { _faq.initSingleFaq($(this)); }).on('click', function(e) { e.preventDefault(); // close multi faqs when clicking a single one // $('._multi-faq-close').click(); }); } }; _faq.initialize(); window._faq = _faq; }); </script> <script type="text/javascript"> function _enableFeedback() { var $feedbackButton = $('._feedback-button, .fixed-beta-button'); var $feedbackClose = $('._feedback-close'); var $feedbackForm = $('._feedback-form'); var $feedbackSubmit = $('._feedback-form button'); var $textarea = $feedbackForm.find('textarea'); var $feedbackSuccess = $('._feedback-success'); var $feedbackError = $('._feedback-error'); var $feedbackDoneButton = $('._feedback-done'); $feedbackButton.addClass('_show'); $feedbackButton.on('click', function () { $feedbackButton.addClass('-hidden'); $feedbackForm.removeClass('-hidden'); $textarea.focus(); }); $feedbackClose.on('click', function () { $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackDoneButton.on('click', function () { $feedbackError.addClass('-hidden'); $feedbackSuccess.addClass('-hidden'); $feedbackForm.addClass('-hidden'); $feedbackButton.removeClass('-hidden'); }); $feedbackSubmit.on('click', function () { var message = $textarea.val(); if (message === undefined) { message = ''; } if (message.trim() !== '') { $.ajax({ url: '/api/v1/feedback', type: 'post', data: { content: message, context: window.location.href, name: $('input[name="name"]').val(), email: $('input[name="email"]').val(), }, success: function (result) { if (result === 'success') { $textarea.val(''); $feedbackSuccess.removeClass('-hidden'); } else { $feedbackError.removeClass('-hidden'); } }, error: function () { $feedbackError.removeClass('-hidden'); } }); } }); } var _defer_counter = 0; function _defer(method) { if (window.jQuery) { method(); } else { if (_defer_counter < 20) { setTimeout(function () { _defer(method); console.log(_defer_counter); _defer_counter++; }, 500); } } } setTimeout(function() { _defer(_enableFeedback); }, 1000); </script> <script type="text/javascript"> $(document).ready(function() { const app = { maxScrollPos: window.innerWidth < 500 ? 100 // mobile : 400, // desktop $el : { navbarSearch: $('nav .navbar-search'), fixedSearchButton: $('.fixed-search-button'), copyToClipboard: $('.copy-to-clipboard') }, methods: { hideMenuOnScroll: function(scrollPos) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); if (scrollPos > app.maxScrollPos) { $menu.addClass('-hide'); $banner.addClass('-hide'); $stickySearch.addClass('-top'); $fixedSearchButton.addClass('-show'); } else { app.methods.showMenu(null, false); } }, showMenu: function(e, focus) { const $menu = $('nav.navbar.main'); const $stickySearch = $('.search.sticky'); const $banner = $('#_banner'); const $fixedSearchButton = $('.fixed-search-button'); $menu.removeClass('-hide'); $banner.removeClass('-hide'); $stickySearch.removeClass('-top'); $fixedSearchButton.removeClass('-show'); if (focus !== false) { $('.navbar-search').find('input[name="term"]').focus(); } }, showUpLinkOnScroll: function(scrollPos) { const $upLink = $('.scroll-up-button'); if (scrollPos > app.maxScrollPos) { $upLink.removeClass('-hidden'); } else { $upLink.addClass('-hidden'); } }, scrollHandler: function() { const scrollPos = $(document).scrollTop(); app.methods.hideMenuOnScroll(scrollPos); app.methods.showUpLinkOnScroll(scrollPos); }, copyToClipboard: function(e) { e.preventDefault(); const $current = $(e.currentTarget); // console.log($current.attr('data-selector')); const element = $('#'+$current.attr('data-selector'))[0]; console.log(element); element.select(); document.execCommand("copy"); const $success = $current.find('.bi-check'); $success.removeClass('-hidden'); setTimeout(function() { $success.addClass('-hidden'); }, 1000); }, initTooltips: function() { const tooltipTriggerList = [].slice.call(document.querySelectorAll('[data-bs-toggle="tooltip"]')) const tooltipList = tooltipTriggerList.map(function (tooltipTriggerEl) { return new bootstrap.Tooltip(tooltipTriggerEl) }); }, expandSearch: function() { app.$el.navbarSearch.addClass('expanded'); }, collapseSearch: function(e) { if (!$(e.currentTarget).is('button.btn-outline-success')) { app.$el.navbarSearch.removeClass('expanded'); } }, initDeepLinksTabs: function() { const innerAnchors = [ 'resource-articles', 'cfp-si-resources', 'cfp-si-autonomous-systems-and-knowledge-graphs' ]; let anchors = []; $('a[role="tab"]').each(function() { anchors.push($(this).attr('aria-controls')); }); innerAnchors.forEach(function(anchor) { if ($('#'+anchor).length > 0) { anchors.push(anchor); } }); if (anchors.length === 0) { return; } let selectedAnchor = window.location.hash.substring(1); if (anchors.indexOf(selectedAnchor) === -1) { $('#publications-tab').tab('show'); window.scrollTo(0,0); return; } if (selectedAnchor !== 'publications') { const innerAnchorIndex = innerAnchors.indexOf(selectedAnchor); // anchor sits inside tab -> open the tab first, then scroll to anchor if (innerAnchorIndex > -1) { const $tab = $('#'+selectedAnchor).closest('.tab-pane'); console.log($tab); try { $('#'+$tab.attr('id')+'-tab').tab('show'); } catch (e) { } setTimeout(function () { $('#' + selectedAnchor)[0].scrollIntoView(); }, 800); } else { try { $('#' + selectedAnchor + '-tab').tab('show'); } catch (e) { } window.scrollTo(0, 0); } } $('[data-tab-link]').on('click', function(e) { const $target = $(e.currentTarget); let href = $target.attr('href'); let scrollLink = null; if (href === '#cfp-si-list') { scrollLink = href; href = '#cfp'; } try { console.log(href); $(href+'-tab').tab('show'); } catch(e) { } console.log(scrollLink); if (scrollLink !== null) { setTimeout(function() { $(scrollLink)[0].scrollIntoView(); }, 200); } else { setTimeout(function() { window.scrollTo(0,0); }, 200); } }); } }, initialize: function() { $(window).on('scroll', app.methods.scrollHandler); $(window).on('scroll-to-top', function() { window.scrollTo(0,0) }); $(document).trigger('scroll'); // set correct status for scroll-related parts (navbar/back-to-top) on page reload app.$el.copyToClipboard.on('click', app.methods.copyToClipboard); app.$el.fixedSearchButton.on('click', app.methods.showMenu); app.$el.navbarSearch.find('input').on('click', app.methods.expandSearch) app.$el.navbarSearch.find('input').on('blur', app.methods.collapseSearch); app.methods.initTooltips(); app.methods.initDeepLinksTabs(); } }; app.initialize(); }); </script> </body> </html>