Issue
Dagstuhl Reports, Volume 15, Issue 9
-
Part of:
Volume:
Dagstuhl Reports, Volume 15
Journal: Dagstuhl Reports (DagRep)
Event
- Dagstuhl Seminars 25371, 25372, 25381, 25382, 25391, 25392, 25401
Publication Details
- published at: 2026-05-08
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Access Numbers
- Detailed Access Statistics available here
-
Total Accesses (updated on a weekly basis)
0Documents
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 15, Issue 9, September 2025, Complete Issue
Abstract
Dagstuhl Reports, Volume 15, Issue 9, September 2025, Complete Issue
Cite as
Dagstuhl Reports, Volume 15, Issue 9, pp. 1-202, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.9,
title = {{Dagstuhl Reports, Volume 15, Issue 9, September 2025, Complete Issue}},
pages = {1--202},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9},
URN = {urn:nbn:de:0030-drops-259155},
doi = {10.4230/DagRep.15.9},
annote = {Keywords: Dagstuhl Reports, Volume 15, Issue 9, September 2025, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 15, Issue 9, 2025
Abstract
Dagstuhl Reports, Table of Contents, Volume 15, Issue 9, 2025
Cite as
Dagstuhl Reports, Volume 15, Issue 9, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.9.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 15, Issue 9, 2025}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.i},
URN = {urn:nbn:de:0030-drops-249743},
doi = {10.4230/DagRep.15.9.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Interactions in Constraint Optimization (Dagstuhl Seminar 25371)
Abstract
This report documents the Dagstuhl Seminar 25371 "Interactions in Constraint Optimization". Our Dagstuhl Seminar gathered 41 researchers from 15 countries, working on different constraint optimization paradigms. The report consists of an executive summary, and abstracts on tutorials, research talks, and panel discussions.
Cite as
Katalin Fazekas, Matti Järvisalo, Nina Narodytska, Peter J. Stuckey, and Christoph Jabs. Interactions in Constraint Optimization (Dagstuhl Seminar 25371). In Dagstuhl Reports, Volume 15, Issue 9, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{fazekas_et_al:DagRep.15.9.1,
author = {Fazekas, Katalin and J\"{a}rvisalo, Matti and Narodytska, Nina and Stuckey, Peter J. and Jabs, Christoph},
title = {{Interactions in Constraint Optimization (Dagstuhl Seminar 25371)}},
pages = {1--20},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Fazekas, Katalin and J\"{a}rvisalo, Matti and Narodytska, Nina and Stuckey, Peter J. and Jabs, Christoph},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.1},
URN = {urn:nbn:de:0030-drops-249811},
doi = {10.4230/DagRep.15.9.1},
annote = {Keywords: constraint programming, maximum satisfiability, mixed integer linear programming, optimization modulo theories, pseudo-boolean optimization}
}
Document
Precision in Geometric Algorithms (Dagstuhl Seminar 25372)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25372 "Precision in Geometric Algorithms". This seminar was an opportunity for a get together of researchers interested in geometric problems that require high precision of the coordinates to find a correct solution.
Cite as
Mikkel Abrahamsen, Sándor Kisfaludi-Bak, Linda Kleist, and Till Miltzow. Precision in Geometric Algorithms (Dagstuhl Seminar 25372). In Dagstuhl Reports, Volume 15, Issue 9, pp. 21-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{abrahamsen_et_al:DagRep.15.9.21,
author = {Abrahamsen, Mikkel and Kisfaludi-Bak, S\'{a}ndor and Kleist, Linda and Miltzow, Till},
title = {{Precision in Geometric Algorithms (Dagstuhl Seminar 25372)}},
pages = {21--37},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Abrahamsen, Mikkel and Kisfaludi-Bak, S\'{a}ndor and Kleist, Linda and Miltzow, Till},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.21},
URN = {urn:nbn:de:0030-drops-249807},
doi = {10.4230/DagRep.15.9.21},
annote = {Keywords: Computational Geometry, Real Complexity Theory}
}
Document
Open Scholarly Information Systems: Status Quo, Challenges, Opportunities (Dagstuhl Seminar 25381)
Abstract
Over the past 30 years, a rich ecosystem of scholarly information systems has developed that openly provide their services to the scientific community. These systems include aggregators of bibliographic metadata (e.g., DBLP, OpenCitations, OpenAIRE Graph, OpenAlex, ORKG, Semantic Scholar, CiteSeerX, and CORE); publication, data, and software repositories (e.g., Arxiv.org, Figshare, Zenodo, Software Heritage, and Dataverse); and PID authorities (e.g., ORCID, ROR, Crossref, and DataCite). This interdisciplinary Dagstuhl Seminar "Open Scholarly Information Systems: Status Quo, Challenges, Opportunities" (25381) was the first of its kind to bring together practitioners from this ecosystem, as well as researchers investigating related questions or relying on these systems in their own research. It provided a unique opportunity for dialogue, sharing insights, building new networks, and fostering collaboration.
Cite as
Hannah Bast, Guillaume Cabanac, Paolo Manghi, Jian Wu, and Marcel R. Ackermann. Open Scholarly Information Systems: Status Quo, Challenges, Opportunities (Dagstuhl Seminar 25381). In Dagstuhl Reports, Volume 15, Issue 9, pp. 38-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{bast_et_al:DagRep.15.9.38,
author = {Bast, Hannah and Cabanac, Guillaume and Manghi, Paolo and Wu, Jian and Ackermann, Marcel R.},
title = {{Open Scholarly Information Systems: Status Quo, Challenges, Opportunities (Dagstuhl Seminar 25381)}},
pages = {38--57},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Bast, Hannah and Cabanac, Guillaume and Manghi, Paolo and Wu, Jian and Ackermann, Marcel R.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.38},
URN = {urn:nbn:de:0030-drops-249797},
doi = {10.4230/DagRep.15.9.38},
annote = {Keywords: artificial intelligence, knowledge graphs, open infrastructures, scholarly big data, scholarly information systems, semantic search}
}
Document
Quantum Error Correction Meets ZX-Calculus (Dagstuhl Seminar 25382)
Abstract
This report documents the Dagstuhl Seminar 25382 "Quantum Error Correction Meets ZX-Calculus". The report consists of an executive summary, as well as abstracts on talks, working groups, panel discussions, and open problems.
Cite as
Miriam Backens, Aleks Kissinger, John van de Wetering, Michael Vasmer, and Sarah Meng Li. Quantum Error Correction Meets ZX-Calculus (Dagstuhl Seminar 25382). In Dagstuhl Reports, Volume 15, Issue 9, pp. 58-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{backens_et_al:DagRep.15.9.58,
author = {Backens, Miriam and Kissinger, Aleks and van de Wetering, John and Vasmer, Michael and Li, Sarah Meng},
title = {{Quantum Error Correction Meets ZX-Calculus (Dagstuhl Seminar 25382)}},
pages = {58--70},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Backens, Miriam and Kissinger, Aleks and van de Wetering, John and Vasmer, Michael and Li, Sarah Meng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.58},
URN = {urn:nbn:de:0030-drops-249787},
doi = {10.4230/DagRep.15.9.58},
annote = {Keywords: fault-tolerance, quantum error correction, ZX-calculus}
}
Document
Retrieval-Augmented Generation - The Future of Search? (Dagstuhl Seminar 25391)
Abstract
Dagstuhl Seminar 25391 "Retrieval-Augmented Generation - The Future of Search?" was held in the week of September 21-26, 2025. Thirty-nine researchers, most of whom came from the fields of information retrieval and web search as well as natural language processing, were invited to share the latest developments in the area of retrieval-augmented generation and discuss its research agenda and future directions. The 5-day program of the seminar consisted of four introductory and background sessions, two short talks sessions about technology and demos, one industry talk session, one afternoon hackathon, and nine working groups and reporting sessions. The seminar also had three social events during the program. This report provides the executive summary, overview of invited talks, and findings from the five working groups which cover the potential and limitations, information behavior and result presentation, the system side, societal and ethical aspects, and the evaluation of retrieval-augmented generation. The ideas and findings presented in this report should serve as one of the main sources for diverse research programs on retrieval-augmented generation.
Cite as
Matthias Hagen, Josiane Mothe, Smaranda Muresan, Martin Potthast, Min Zhang, Benno Stein, and Sebastian Heineking. Retrieval-Augmented Generation - The Future of Search? (Dagstuhl Seminar 25391). In Dagstuhl Reports, Volume 15, Issue 9, pp. 71-159, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{hagen_et_al:DagRep.15.9.71,
author = {Hagen, Matthias and Mothe, Josiane and Muresan, Smaranda and Potthast, Martin and Zhang, Min and Stein, Benno and Heineking, Sebastian},
title = {{Retrieval-Augmented Generation - The Future of Search? (Dagstuhl Seminar 25391)}},
pages = {71--159},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Hagen, Matthias and Mothe, Josiane and Muresan, Smaranda and Potthast, Martin and Zhang, Min and Stein, Benno and Heineking, Sebastian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.71},
URN = {urn:nbn:de:0030-drops-249771},
doi = {10.4230/DagRep.15.9.71},
annote = {Keywords: Retrieval-Augmented Generation, Information Retrieval, Dagstuhl Seminar}
}
Document
Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25392 "Specification Engineering: Foundations for the Future of Software Development". Specifications are an essential component in a variety of tasks in software engineering, including software verification, testing, modeling, requirements engineering, and program synthesis. While producing quality specifications has been a longstanding problem, recent advances in AI technologies, such as large-language models (LLMs), make it a timely problem to address from new perspectives. Automatically generating code from a high-level specification will likely emerge as a dominant paradigm for software development in the future. Thus, being able to write, maintain and evolve high quality specifications - the process of specification engineering - will become an essential skill for software engineers. This Dagstuhl Seminar brought together leading researchers in software engineering and formal methods to identify foundational problems and build a roadmap for specification engineering as a central activity in future development processes.
Cite as
Marsha Chechik, Eunsuk Kang, Shahar Maoz, Jan Oliver Ringert, and Allison Sullivan. Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392). In Dagstuhl Reports, Volume 15, Issue 9, pp. 160-182, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{chechik_et_al:DagRep.15.9.160,
author = {Chechik, Marsha and Kang, Eunsuk and Maoz, Shahar and Ringert, Jan Oliver and Sullivan, Allison},
title = {{Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)}},
pages = {160--182},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Chechik, Marsha and Kang, Eunsuk and Maoz, Shahar and Ringert, Jan Oliver and Sullivan, Allison},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160},
URN = {urn:nbn:de:0030-drops-249761},
doi = {10.4230/DagRep.15.9.160},
annote = {Keywords: formal methods, software assurance, software specification, specification engineering}
}
Document
Societal Impact of Computational Social Choice (Dagstuhl Seminar 25401)
Abstract
Computational Social Choice (COMSOC) is an interdisciplinary field between social choice theory in economics and theoretical computer science. The focus is to study algorithms for collective decision-making problems, such as political elections, the allocation of resources, and so on. In this Dagstuhl Seminar "Societal Impact of Computational Social Choice" (25401), we focused on three main topics. The first one was data, which has become an essential element for COMSOC research. In fact, thanks to the availability of open libraries, datasets and tools, researchers can now implement and test their algorithms for collective decision-making on real-life data, complementing their theoretical results. The second one was participation, as in recent years many municipalities and public institutions have moved towards various forms of participatory and digital democracy, with the goal of increasing the citizens' engagement in the public life of their communities. The third one was time, as although many collective decision-making problems have an underlying repeated nature, this dimension had thus far not received the deserved attention within standard COMSOC models. We addressed these topics under the two overarching themes of domain restrictions and societal impact: while domain restrictions can be seen as a methodological question over the input of our problems, societal impact can be seen as part of their output, i.e., the applications originating from theoretical research.
Cite as
Martin Lackner, Nicholas Mattei, Arianna Novaro, Clemens Puppe, and Ratip Emin Berker. Societal Impact of Computational Social Choice (Dagstuhl Seminar 25401). In Dagstuhl Reports, Volume 15, Issue 9, pp. 183-200, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{lackner_et_al:DagRep.15.9.183,
author = {Lackner, Martin and Mattei, Nicholas and Novaro, Arianna and Puppe, Clemens and Berker, Ratip Emin},
title = {{Societal Impact of Computational Social Choice (Dagstuhl Seminar 25401)}},
pages = {183--200},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {9},
editor = {Lackner, Martin and Mattei, Nicholas and Novaro, Arianna and Puppe, Clemens and Berker, Ratip Emin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.183},
URN = {urn:nbn:de:0030-drops-249753},
doi = {10.4230/DagRep.15.9.183},
annote = {Keywords: computational social choice, data, participation, time}
}