Issue
Dagstuhl Reports, Volume 15, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 15
Journal: Dagstuhl Reports (DagRep)
Event
- Dagstuhl Seminars 25411, 25412 (Perspectives Workshop), 25421, 25422, 25431, 25432, 25441, 25442
Publication Details
- published at: 2026-06-23
- 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 10, October 2025, Complete Issue
Abstract
Dagstuhl Reports, Volume 15, Issue 10, October 2025, Complete Issue
Cite as
Dagstuhl Reports, Volume 15, Issue 10, pp. 1-174, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.10,
title = {{Dagstuhl Reports, Volume 15, Issue 10, October 2025, Complete Issue}},
pages = {1--174},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10},
URN = {urn:nbn:de:0030-drops-267854},
doi = {10.4230/DagRep.15.10},
annote = {Keywords: Dagstuhl Reports, Volume 15, Issue 10, October 2025, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 15, Issue 10, 2025
Abstract
Dagstuhl Reports, Table of Contents, Volume 15, Issue 10, 2025
Cite as
Dagstuhl Reports, Volume 15, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 15, Issue 10, 2025}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.i},
URN = {urn:nbn:de:0030-drops-254097},
doi = {10.4230/DagRep.15.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Trustworthy Evidence-Based Elections (Dagstuhl Seminar 25411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25411 "Trustworthy Evidence-Based Elections". The seminar brought together 41 participants mainly from computer science, but also sociology and statistics, including members of organizations, industry, and national agencies; all experts on elections and secure voting. The five-day seminar had a full program primarily with talks presenting the latest research results, challenges, and observations including ample time for discussions. However, the presentation sessions were complemented with demo sessions and daily breakout groups continuing the most interesting discussions that emerged from the talks.
Cite as
Josh Benaloh, Peter Rønne, and Melanie Volkamer. Trustworthy Evidence-Based Elections (Dagstuhl Seminar 25411). In Dagstuhl Reports, Volume 15, Issue 10, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{benaloh_et_al:DagRep.15.10.1,
author = {Benaloh, Josh and R{\o}nne, Peter and Volkamer, Melanie},
title = {{Trustworthy Evidence-Based Elections (Dagstuhl Seminar 25411)}},
pages = {1--22},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Benaloh, Josh and R{\o}nne, Peter and Volkamer, Melanie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.1},
URN = {urn:nbn:de:0030-drops-254171},
doi = {10.4230/DagRep.15.10.1},
annote = {Keywords: elections, risk-limiting audits, Trust, usable security, verifiable voting, voting}
}
Document
Creativity, GenAI, and Software Development: A Future Together (Dagstuhl Perspectives Workshop 25412)
Abstract
This report introduces the goals of the Dagstuhl Perspectives Workshop 25412 "Creativity, GenAI, and Software Development: A Future Together", provides an overview of the workshop and how it was conducted, details the activities that took place to identify significant future themes concerning research in creativity, GenAI, and software development, and foreshadows key outcomes that will be included in the associated Dagstuhl Manifesto.
Cite as
Victoria Jackson, Rafael Prikladnicki, Daniel Russo, Margaret-Anne Storey, and André van der Hoek. Creativity, GenAI, and Software Development: A Future Together (Dagstuhl Perspectives Workshop 25412). In Dagstuhl Reports, Volume 15, Issue 10, pp. 23-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{jackson_et_al:DagRep.15.10.23,
author = {Jackson, Victoria and Prikladnicki, Rafael and Russo, Daniel and Storey, Margaret-Anne and van der Hoek, Andr\'{e}},
title = {{Creativity, GenAI, and Software Development: A Future Together (Dagstuhl Perspectives Workshop 25412)}},
pages = {23--36},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Jackson, Victoria and Prikladnicki, Rafael and Russo, Daniel and Storey, Margaret-Anne and van der Hoek, Andr\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.23},
URN = {urn:nbn:de:0030-drops-254167},
doi = {10.4230/DagRep.15.10.23},
annote = {Keywords: Creativity, Generative AI, Software Development, Dagstuhl Perspectives Workshop}
}
Document
Sound Static Program Analysis in Modern Software Engineering (Dagstuhl Seminar 25421)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25421 "Sound Static Program Analysis in Modern Software Engineering".
Sound Static Program Analysis (SSPA) has historically been effective in proving the absence of runtime errors and security vulnerabilities, notably in safety-critical embedded software. However, it has seen limited adoption in desktop applications until its revival for Web application security (e.g., to prove the absence of SQL injection vulnerabilities). Modern software development, characterized by architectures like microservices, serverless computing, and the increasing use of scripting languages, presents challenges to SSPA due to the integration of multiple languages and complex semantics, while also posing new problems related to soundness, precision, and scalability stemming from the machine learning revolution in code development. Despite these new opportunities for SSPA to offer structured feedback and address serious flaws often overlooked by the shallow analyses currently favored by the industry, there has not been a significant resurgence in its industrial application. This Dagstuhl Seminar aimed to bridge the SSPA and software engineering communities to extend existing theories to these new trends, foster integration with modern practices like DevOps, and discuss the formal methods challenges arising from contemporary software architectures.
Cite as
Pietro Ferrara, Liana Hadarean, Jorge A. Navas, Caterina Urban, and Greta Dolcetti. Sound Static Program Analysis in Modern Software Engineering (Dagstuhl Seminar 25421). In Dagstuhl Reports, Volume 15, Issue 10, pp. 37-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{ferrara_et_al:DagRep.15.10.37,
author = {Ferrara, Pietro and Hadarean, Liana and Navas, Jorge A. and Urban, Caterina and Dolcetti, Greta},
title = {{Sound Static Program Analysis in Modern Software Engineering (Dagstuhl Seminar 25421)}},
pages = {37--74},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Ferrara, Pietro and Hadarean, Liana and Navas, Jorge A. and Urban, Caterina and Dolcetti, Greta},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.37},
URN = {urn:nbn:de:0030-drops-254154},
doi = {10.4230/DagRep.15.10.37},
annote = {Keywords: Abstract interpretation, Formal methods, Software engineering, Software verification, Sound static program analysis}
}
Document
Cognitive Sensing and Interaction (Dagstuhl Seminar 25422)
Abstract
This report documents the Dagstuhl Seminar "Cognitive Sensing and Interaction" (25422). The report consists of an executive summary, as well as abstracts on talks, working groups, panel discussions, and open problems sessions.
Cite as
Thomas Kosch, Kai Kunze, Christina Schneegass, and Thad Starner. Cognitive Sensing and Interaction (Dagstuhl Seminar 25422). In Dagstuhl Reports, Volume 15, Issue 10, pp. 75-104, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{kosch_et_al:DagRep.15.10.75,
author = {Kosch, Thomas and Kunze, Kai and Schneegass, Christina and Starner, Thad},
title = {{Cognitive Sensing and Interaction (Dagstuhl Seminar 25422)}},
pages = {75--104},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Kosch, Thomas and Kunze, Kai and Schneegass, Christina and Starner, Thad},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.75},
URN = {urn:nbn:de:0030-drops-254146},
doi = {10.4230/DagRep.15.10.75},
annote = {Keywords: cognition-awareness, cognitive augmentation, cognitive interaction, physiological interaction, wearable technology}
}
Document
Quantum Cryptanalysis (Dagstuhl Seminar 25431)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25431 "Quantum Cryptanalysis". The seminar took place as an in-person event in October 2025 and was the eighth installment of the Dagstuhl Seminar series on Quantum Cryptanalysis. This report describes the motivation and technical scope of the seminar as well as the (updated) organizational structure of this week-long event. We also include abstracts of the seminar presentations given by participants and a description of the activities of the working groups.
Cite as
Gorjan Alagic, Simona Etinski, Stacey Jeffery, and Rainer Steinwandt. Quantum Cryptanalysis (Dagstuhl Seminar 25431). In Dagstuhl Reports, Volume 15, Issue 10, pp. 105-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{alagic_et_al:DagRep.15.10.105,
author = {Alagic, Gorjan and Etinski, Simona and Jeffery, Stacey and Steinwandt, Rainer},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 25431)}},
pages = {105--118},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Alagic, Gorjan and Etinski, Simona and Jeffery, Stacey and Steinwandt, Rainer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.105},
URN = {urn:nbn:de:0030-drops-254138},
doi = {10.4230/DagRep.15.10.105},
annote = {Keywords: computational algebra, cryptanalysis, post-quantum cryptography, quantum algorithms, quantum resource estimation}
}
Document
Deep Continual Learning in the Foundation Model Era (Dagstuhl Seminar 25432)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25432 "Deep Continual Learning in the Foundation Model Era". This seminar brought together 23 researchers to discuss research at the intersection of continual learning and foundation models. The discussion centered on the major challenges arising from continual training of foundation models, including the need for new benchmarks, new opportunities for memory-based continual learning, emerging application domains, and the development of efficient metrics to quantify forgetting of foundation model knowledge. In addition, the report contains a summery of the talks of the partipants.
Cite as
Christopher Kanan, Martin Mundt, Tinne Tuytelaars, Joost van de Weijer, and Timm Felix Hess. Deep Continual Learning in the Foundation Model Era (Dagstuhl Seminar 25432). In Dagstuhl Reports, Volume 15, Issue 10, pp. 119-134, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{kanan_et_al:DagRep.15.10.119,
author = {Kanan, Christopher and Mundt, Martin and Tuytelaars, Tinne and van de Weijer, Joost and Hess, Timm Felix},
title = {{Deep Continual Learning in the Foundation Model Era (Dagstuhl Seminar 25432)}},
pages = {119--134},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Kanan, Christopher and Mundt, Martin and Tuytelaars, Tinne and van de Weijer, Joost and Hess, Timm Felix},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.119},
URN = {urn:nbn:de:0030-drops-254123},
doi = {10.4230/DagRep.15.10.119},
annote = {Keywords: continual learning, deep learning, foundation models}
}
Document
Competitions and Empirical Evaluations in Automated Reasoning (Dagstuhl Seminar 25441)
Abstract
Solver competitions and practical problem solving challenges are a cornerstone in the field of Automated Reasoning (AR). They drive innovation by providing a platform for benchmarking, empirical evaluation, standardization of robust tools and methodologies, and identify challenges from research and industry. These events not only showcase the latest advancements in solver technology but also help to establish best practices for reliability and performance assessment. Organizing such competitions presents significant challenges, including the selection of representative benchmarks, the development of fair evaluation metrics, and ensuring result reproducibility. It is widely acknowledged that continued community engagement is essential for tackling these challenges and strengthening collaboration among organizers, developers, users, and reviewers. This report documents the program and the outcomes of Dagstuhl Seminar "Competitions and Empirical Evaluations in Automated Reasoning" (25441), which centered around competition challenges, discussed questions and solutions with the aim to build a community of practice of competition organization and empirical evaluation in AR.
Cite as
Johannes K. Fichte, Matti Järvisalo, Aina Niemetz, Andreas Niskanen, and Guido Tack. Competitions and Empirical Evaluations in Automated Reasoning (Dagstuhl Seminar 25441). In Dagstuhl Reports, Volume 15, Issue 10, pp. 135-154, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{fichte_et_al:DagRep.15.10.135,
author = {Fichte, Johannes K. and J\"{a}rvisalo, Matti and Niemetz, Aina and Niskanen, Andreas and Tack, Guido},
title = {{Competitions and Empirical Evaluations in Automated Reasoning (Dagstuhl Seminar 25441)}},
pages = {135--154},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Fichte, Johannes K. and J\"{a}rvisalo, Matti and Niemetz, Aina and Niskanen, Andreas and Tack, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.135},
URN = {urn:nbn:de:0030-drops-254112},
doi = {10.4230/DagRep.15.10.135},
annote = {Keywords: automated reasoning, competitions, constraint solving, design of empirical experiments, empirical evaluation}
}
Document
Augmenting Human Creativity with AI (Dagstuhl Seminar 25442)
Abstract
The advancements of available generative AI tools have the potential to change the creative processes of writers, artists, programmers, and designers. The Dagstuhl Seminar "Augmenting Human Creativity with AI" (25442) explored the grand challenges these tools pose to the discipline of design and human creativity more generally. Over the course of three days, academic researchers and Industry experts from the fields of Human-Computer Interaction, AI, and design came together to discuss how these technologies challenge accepted ideas of human creativity and what are the implications for the creative class when AI tools are used to augment creativity on a broader scale. The discussions revolved around three core themes: critical evaluation of AI-powered creative tasks, ethical implications of integrating AI into creative processes, focusing on ensuring the responsible and equitable use of these technologies, and the societal impact of delegating creative tasks to AI systems, including the potential consequences for the creative professions and cultural landscape. The seminar’s outcomes articulated a shared research agenda that moves beyond tool-building to focus on the design of infrastructure, practice, and educational frameworks that preserve creative agency and support diverse forms of expression. The seminar produced a collective vision, one that looks beyond building better tools and discusses an agenda towards cultivating the systems, norms, and learning environments needed to keep human creativity at the centre.
Cite as
Tilman Dingler, Elisa Giaccardi, Steven Rick, Irina Shklovski, and Samangi Wadinambiarachchi. Augmenting Human Creativity with AI (Dagstuhl Seminar 25442). In Dagstuhl Reports, Volume 15, Issue 10, pp. 155-172, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{dingler_et_al:DagRep.15.10.155,
author = {Dingler, Tilman and Giaccardi, Elisa and Rick, Steven and Shklovski, Irina and Wadinambiarachchi, Samangi},
title = {{Augmenting Human Creativity with AI (Dagstuhl Seminar 25442)}},
pages = {155--172},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {10},
editor = {Dingler, Tilman and Giaccardi, Elisa and Rick, Steven and Shklovski, Irina and Wadinambiarachchi, Samangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.10.155},
URN = {urn:nbn:de:0030-drops-254100},
doi = {10.4230/DagRep.15.10.155},
annote = {Keywords: Design, Generative AI, Human Creativity, Human-AI Interaction}
}