Issue
Dagstuhl Reports, Volume 15, Issue 6
-
Part of:
Volume:
Dagstuhl Reports, Volume 15
Journal: Dagstuhl Reports (DagRep)
Event
- Dagstuhl Seminars 25231, 25232, 25241, 25242, 25261, 25271, 25272
Publication Details
- published at: 2026-02-17
- 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 6, June 2025, Complete Issue
Abstract
Dagstuhl Reports, Volume 15, Issue 6, June 2025, Complete Issue
Cite as
Dagstuhl Reports, Volume 15, Issue 6, pp. 1-206, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.6,
title = {{Dagstuhl Reports, Volume 15, Issue 6, June 2025, Complete Issue}},
pages = {1--206},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6},
URN = {urn:nbn:de:0030-drops-255801},
doi = {10.4230/DagRep.15.6},
annote = {Keywords: Dagstuhl Reports, Volume 15, Issue 6, June 2025, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 15, Issue 6, 2025
Abstract
Dagstuhl Reports, Table of Contents, Volume 15, Issue 6, 2025
Cite as
Dagstuhl Reports, Volume 15, Issue 6, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.6.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 15, Issue 6, 2025}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.i},
URN = {urn:nbn:de:0030-drops-255725},
doi = {10.4230/DagRep.15.6.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Certifying Algorithms for Automated Reasoning (Dagstuhl Seminar 25231)
Abstract
Modern automated reasoning has transformed large parts of industry and has also found numerous scientific applications. But many reasoning problems are computationally very challenging, or sometimes even undecidable. Because of this, the reasoning algorithms used are often very complex, and even the best current algorithms at times produce wrong results. As these tools are increasingly being used autonomously, sometimes even in life-critical applications, it is urgent to ensure that what they compute is valid. Software testing, while immensely useful, cannot guarantee correctness, and state-of-the-art algorithms are far beyond what techniques for producing formally verified software can handle.
The focus of this Dagstuhl Seminar was the approach of addressing such issues by designing certifying algorithms using so-called proof logging, meaning that algorithms output not only a result but also a machine-verifiable proof of correctness. This proof can then be fed to a dedicated proof checker for verification. Crucially, such proofs should require low overhead to generate and be easy to check, but still supply 100% correctness guarantees. Besides ensuring correctness of outputs for complex algorithms, proof logging can also provide new tools for algorithm development and analysis, software debugging, and even research into explainability in the context of AI.
Cite as
Nikolaj S. Bjørner, Marijn J. H. Heule, Daniela Kaufmann, Jakob Nordström, and Wietze Koops. Certifying Algorithms for Automated Reasoning (Dagstuhl Seminar 25231). In Dagstuhl Reports, Volume 15, Issue 6, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{bjorner_et_al:DagRep.15.6.1,
author = {Bj{\o}rner, Nikolaj S. and Heule, Marijn J. H. and Kaufmann, Daniela and Nordstr\"{o}m, Jakob and Koops, Wietze},
title = {{Certifying Algorithms for Automated Reasoning (Dagstuhl Seminar 25231)}},
pages = {1--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Bj{\o}rner, Nikolaj S. and Heule, Marijn J. H. and Kaufmann, Daniela and Nordstr\"{o}m, Jakob and Koops, Wietze},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.1},
URN = {urn:nbn:de:0030-drops-255798},
doi = {10.4230/DagRep.15.6.1},
annote = {Keywords: ATP, Computer Algebra, DRAT, DRUP, MIP, Propagation Redundancy, QBF, SAT, SMT}
}
Document
Navigating the Maze of Guidelines to Unify Visualization Design Recommendations (Dagstuhl Seminar 25232)
Abstract
The field of visualization suffers from a persistent problem: guidance for visualization design is abundant but fragmented, unevenly evidenced, difficult to generalize across contexts, and often hard to access or teach. Further, these guidelines come from diverse sources, including theoretical foundations, empirical studies, design studies, and practitioner expertise. However, turning this knowledge into actionable forms of best practice remains an open problem. The goal of this seminar was to examine how guidelines are produced, interpreted, and operationalized, especially under pressures from domain specificity, communication stakes (e.g., misinformation and decision support), and the emerging role of generative AI in visualization workflows. The seminar challenged assumptions about the validity, transferability, and values encoded in guidelines through working groups on AI and guidelines, characterizing guidelines, values and teaching, and the goals for effective guidance.
Cite as
Miriah Meyer, Ghulam Jilani Quadri, and Paul Rosen. Navigating the Maze of Guidelines to Unify Visualization Design Recommendations (Dagstuhl Seminar 25232). In Dagstuhl Reports, Volume 15, Issue 6, pp. 32-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{meyer_et_al:DagRep.15.6.32,
author = {Meyer, Miriah and Quadri, Ghulam Jilani and Rosen, Paul},
title = {{Navigating the Maze of Guidelines to Unify Visualization Design Recommendations (Dagstuhl Seminar 25232)}},
pages = {32--50},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Meyer, Miriah and Quadri, Ghulam Jilani and Rosen, Paul},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.32},
URN = {urn:nbn:de:0030-drops-255785},
doi = {10.4230/DagRep.15.6.32},
annote = {Keywords: design studies, qualitative evaluation, visualization design, visualization recommendations, visualization system and generative ai}
}
Document
Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)
Abstract
WebAssembly (Wasm) is a safe and portable, low level bytecode format used in browsers, IoT applications, cloud, edge, embedded systems and blockchains. Its popularity as a technology for both practically building and theoretically investigating verified and secure systems has been growing rapidly. This Dagstuhl Seminar brought together leading academics and industry representatives involved in Wasm, both as designers, implementers or clients of the technology, to exchange ideas around topics such as tools for formal specification, verified compilation, software fault isolation and language interoperability.
Cite as
Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, and Michelle Thalakottur. Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241). In Dagstuhl Reports, Volume 15, Issue 6, pp. 51-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{ahmed_et_al:DagRep.15.6.51,
author = {Ahmed, Amal and Rossberg, Andreas and Stefan, Deian and Watt, Conrad and Thalakottur, Michelle},
title = {{Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241)}},
pages = {51--68},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Ahmed, Amal and Rossberg, Andreas and Stefan, Deian and Watt, Conrad and Thalakottur, Michelle},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.51},
URN = {urn:nbn:de:0030-drops-255770},
doi = {10.4230/DagRep.15.6.51},
annote = {Keywords: Compilers, Formal Methods, JavaScript, Proof Assistants, Runtimes, Software Verification, Webassembly}
}
Document
Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25242 "Testing Program Analyzers and Verifiers". Program analyzers and verifiers are routinely employed during software development to prevent and detect faults. In this seminar, we examine the impact of faults within these tools, distinguishing between those that are critical and those that are less severe. We also explore and discuss state-of-the-art techniques for uncovering faults in program analyzers and verifiers, their connections to related domains such as compiler testing, and potential future directions for improving their reliability.
Cite as
Maria Christakis, Alastair F. Donaldson, John Regehr, and Thodoris Sotiropoulos. Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242). In Dagstuhl Reports, Volume 15, Issue 6, pp. 69-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{christakis_et_al:DagRep.15.6.69,
author = {Christakis, Maria and Donaldson, Alastair F. and Regehr, John and Sotiropoulos, Thodoris},
title = {{Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242)}},
pages = {69--83},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Christakis, Maria and Donaldson, Alastair F. and Regehr, John and Sotiropoulos, Thodoris},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.69},
URN = {urn:nbn:de:0030-drops-255761},
doi = {10.4230/DagRep.15.6.69},
annote = {Keywords: formal methods, program analysis, static analysis, testing, verification}
}
Document
Future of Human-Centered Privacy (Dagstuhl Seminar 25261)
Abstract
The Dagstuhl Seminar on The Future of Human-Centered Privacy (25261), held from June 22-27, 2025, brought together researchers from academia and industry to discuss key issues at the intersection of privacy and human-computer interaction (HCI) research. This article summarizes the main discussion topics, and presents the summary of the outputs of five working groups that discussed: i) Measurement, Methods, and Ethics; ii) Supporting Developers; iii) AI for Privacy/Privacy for AI; iv) Consent, Control, and Communication; and v) Collective Privacy. This seminar was a continuation of a previous seminar held at King’s College London on June 5-7, 2023 which laid the groundwork for the present seminar through it’s discussion on the topics of inclusive privacy, multiuser privacy, privacy and AI, and privacy communication.
Cite as
Zinaida Benenson, Simone Fischer-Hübner, Heather Richter Lipford, and William Seymour. Future of Human-Centered Privacy (Dagstuhl Seminar 25261). In Dagstuhl Reports, Volume 15, Issue 6, pp. 84-131, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{benenson_et_al:DagRep.15.6.84,
author = {Benenson, Zinaida and Fischer-H\"{u}bner, Simone and Lipford, Heather Richter and Seymour, William},
title = {{Future of Human-Centered Privacy (Dagstuhl Seminar 25261)}},
pages = {84--131},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Benenson, Zinaida and Fischer-H\"{u}bner, Simone and Lipford, Heather Richter and Seymour, William},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.84},
URN = {urn:nbn:de:0030-drops-255755},
doi = {10.4230/DagRep.15.6.84},
annote = {Keywords: Privacy, Human-computer Interaction, AI}
}
Document
Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25271 "Policy Modeling and Reasoning in Sociotechnical Systems". This seminar brought together researchers from academia and industry who are interested in studying the intersection between computer science, philosophy, logic, ethics, and law to discuss policy modelling and reasoning in a world where computers and humans need to work together. After lightning talks, two invited talks, and an open space topic gathering activity, we settled on four topics for deeper discussion in working groups, interspersed by primer talks from the various communities. The four topics were: 1) Concepts: What are the underlying aspects of this interdisciplinary field, and can they be defined consistently? 2) Agentic AI: How can we enable agents to interact and reason with human users through large language models? 3) Standardisation: How can we facilitate data sharing and compliance in international work with competing business interests? 4) Coevolution: How can we make sure that sociotechnical systems evolve with the societies they operate in? This report provides the abstracts of the talks, including participants' lightning talks, the two invited talks, and four primers, along with short reports from each working group detailing their discussions, including challenges and future opportunities.
Cite as
Marina De Vos, Nicoletta Fornara, Munindar P. Singh, Leon van der Torre, and Jessica Woodgate. Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271). In Dagstuhl Reports, Volume 15, Issue 6, pp. 132-188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{devos_et_al:DagRep.15.6.132,
author = {De Vos, Marina and Fornara, Nicoletta and Singh, Munindar P. and van der Torre, Leon and Woodgate, Jessica},
title = {{Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271)}},
pages = {132--188},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {De Vos, Marina and Fornara, Nicoletta and Singh, Munindar P. and van der Torre, Leon and Woodgate, Jessica},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.132},
URN = {urn:nbn:de:0030-drops-255747},
doi = {10.4230/DagRep.15.6.132},
annote = {Keywords: Multi-agent Systems, Norms and Values, Policy Modelling, Standardisation}
}
Document
Challenges of Human Oversight: Achieving Human Control of AI-Based Systems (Dagstuhl Seminar 25272)
Abstract
Human oversight is a key safeguard for AI systems, intended to mitigate risks by adding a human layer of safety and control. Oversight personnel should, for example, detect malfunctions or violations of fundamental rights such as discriminatory decision-making and intervene accordingly. Human oversight is also central to AI governance and ethics, and is mandated by Articles 14 and 26 of the EU AI Act for high-risk AI. This Dagstuhl Seminar brought together experts from artificial intelligence, human-computer interaction, human factors and psychology, philosophy and ethics, and law to explore conceptual, technical, legal, and practical dimensions of human oversight of AI. Across the seminar, participants provided perspective talks from the different disciplines and engaged in working groups and use-case specific discussions in order to establish a science of human oversight of AI systems. The main outcome of this seminar is a general framework that outlines the architecture, processes, and sociotechnical design dimensions of human oversight of AI systems.
Cite as
Markus Langer, Raimund Dachselt, Q. Vera Liao, Tim Miller, and Nava Tintarev. Challenges of Human Oversight: Achieving Human Control of AI-Based Systems (Dagstuhl Seminar 25272). In Dagstuhl Reports, Volume 15, Issue 6, pp. 189-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{langer_et_al:DagRep.15.6.189,
author = {Langer, Markus and Dachselt, Raimund and Liao, Q. Vera and Miller, Tim and Tintarev, Nava},
title = {{Challenges of Human Oversight: Achieving Human Control of AI-Based Systems (Dagstuhl Seminar 25272)}},
pages = {189--204},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {6},
editor = {Langer, Markus and Dachselt, Raimund and Liao, Q. Vera and Miller, Tim and Tintarev, Nava},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.189},
URN = {urn:nbn:de:0030-drops-255735},
doi = {10.4230/DagRep.15.6.189},
annote = {Keywords: artifical intelligence, explainable ai, human oversight, norms and regulations, safety}
}