Issue
Dagstuhl Reports, Volume 15, Issue 8
-
Part of:
Volume:
Dagstuhl Reports, Volume 15
Journal: Dagstuhl Reports (DagRep)
Event
- Dagstuhl Seminars 25341, 25342, 25351, 25361, 25362
Publication Details
- published at: 2026-04-30
- 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 8, August 2025, Complete Issue
Abstract
Dagstuhl Reports, Volume 15, Issue 8, August 2025, Complete Issue
Cite as
Dagstuhl Reports, Volume 15, Issue 8, pp. 1-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.8,
title = {{Dagstuhl Reports, Volume 15, Issue 8, August 2025, Complete Issue}},
pages = {1--96},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8},
URN = {urn:nbn:de:0030-drops-257763},
doi = {10.4230/DagRep.15.8},
annote = {Keywords: Dagstuhl Reports, Volume 15, Issue 8, August 2025, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 15, Issue 8, 2025
Abstract
Dagstuhl Reports, Table of Contents, Volume 15, Issue 8, 2025
Cite as
Dagstuhl Reports, Volume 15, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{DagRep.15.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 15, Issue 8, 2025}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.i},
URN = {urn:nbn:de:0030-drops-257724},
doi = {10.4230/DagRep.15.8.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Software Performance Engineering (Dagstuhl Seminar 25341)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25341 on software performance engineering. This seminar convened researchers from diverse intellectual communities across computer science to synthesize a collective understanding of this fragmented discipline and advance software performance engineering as a rigorous and principled scientific field in its own right. With connections established by this seminar, we are creating a unique arena for computer science researchers to cross-fertilize by sharing performance-engineering tools, techniques, opportunities, challenges, and open problems in their own domains of expertise. The major activities included 29 talks on recent research, five working groups that discussed topics like tools, community-building, education, and LLMs, and three "world cafe" sessions with in-depth conversations among participants on guiding questions for advancing software performance engineering.
Cite as
Chen Ding, Charles E. Leiserson, Yihan Sun, and Bruce Hoppe. Software Performance Engineering (Dagstuhl Seminar 25341). In Dagstuhl Reports, Volume 15, Issue 8, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{ding_et_al:DagRep.15.8.1,
author = {Ding, Chen and Leiserson, Charles E. and Sun, Yihan and Hoppe, Bruce},
title = {{Software Performance Engineering (Dagstuhl Seminar 25341)}},
pages = {1--28},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
editor = {Ding, Chen and Leiserson, Charles E. and Sun, Yihan and Hoppe, Bruce},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.1},
URN = {urn:nbn:de:0030-drops-257759},
doi = {10.4230/DagRep.15.8.1},
annote = {Keywords: applications, productivity tools, software performance engineering, theory and practice}
}
Document
Frontiers of Parameterized Algorithmics of Matching under Preferences (Dagstuhl Seminar 25342)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25342 "Frontiers of Parameterized Algorithmics of Matching under Preferences", held from August 17-22, 2025. The seminar brought together researchers from the Matching Under Preferences (MATCH-UP) and Parameterized Complexity Theory (PCT) communities to systematically apply parameterized techniques to computationally hard matching problems. The program included tutorials on parameterized algorithmics, surveys on MATCH-UP complexity and structure of stable matchings, contributed talks, and intensive working group sessions that explored fundamental open problems. This seminar represents the first focused effort to comprehensively map the parameterized complexity landscape of matching markets, establishing frameworks for ongoing collaboration between these communities. The report presents abstracts of talks, tutorials, working groups, and open problems in alphabetical order by speaker.
Cite as
Jiehua Chen, Christine Cheng, David Manlove, Ildikó Schlotter, and Manuel Sorge. Frontiers of Parameterized Algorithmics of Matching under Preferences (Dagstuhl Seminar 25342). In Dagstuhl Reports, Volume 15, Issue 8, pp. 29-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{chen_et_al:DagRep.15.8.29,
author = {Chen, Jiehua and Cheng, Christine and Manlove, David and Schlotter, Ildik\'{o} and Sorge, Manuel},
title = {{Frontiers of Parameterized Algorithmics of Matching under Preferences (Dagstuhl Seminar 25342)}},
pages = {29--45},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
editor = {Chen, Jiehua and Cheng, Christine and Manlove, David and Schlotter, Ildik\'{o} and Sorge, Manuel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.29},
URN = {urn:nbn:de:0030-drops-257744},
doi = {10.4230/DagRep.15.8.29},
annote = {Keywords: Algorithmic design and complexity analysis, Matching markets, Matching theory, Parameterizec complexity analysis}
}
Document
Computational Proteomics (Dagstuhl Seminar 25351)
Abstract
In 2025 the Dagstuhl Seminar "Computational Proteomics" (25351), part of a series of Dagstuhl Seminars with the same name, brought together experts from proteomics, glycomics and machine learning to address key challenges in the field. Discussions emphasized the need for scalable and interoperable data infrastructures, a new initiative to generate large, AI-ready proteomics datasets, and community standards for reproducible and interpretable machine learning and harmonized glycomics workflows. Participants identified several barriers in clinical translation, multi-omics integration, and quantitative glyco-proteomics, highlighting limited data interoperability, heterogeneous experimental designs, and insufficient statistical and reporting frameworks. The seminar concluded with concrete action plans toward new standards, best practices, and collaborative initiatives to advance reproducible, sustainable and clinically relevant proteomics.
Cite as
Rebekah Gundry, Magnus Palmblad, and Mathias Wilhelm. Computational Proteomics (Dagstuhl Seminar 25351). In Dagstuhl Reports, Volume 15, Issue 8, pp. 46-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{gundry_et_al:DagRep.15.8.46,
author = {Gundry, Rebekah and Palmblad, Magnus and Wilhelm, Mathias},
title = {{Computational Proteomics (Dagstuhl Seminar 25351)}},
pages = {46--61},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
editor = {Gundry, Rebekah and Palmblad, Magnus and Wilhelm, Mathias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.46},
URN = {urn:nbn:de:0030-drops-257737},
doi = {10.4230/DagRep.15.8.46},
annote = {Keywords: proteomics, glycomics, glycoproteomics, machine learning, mass spectrometry}
}
Document
Natural Language Processing for Mental Health (Dagstuhl Seminar 25361)
Abstract
NLP has made remarkable progress in recent years, driven by breakthroughs in large language models (LLMs) and the availability of large-scale datasets such as social media posts, online forums, and patient records. These advances have made NLP models highly capable of extracting valuable insights from text data related to mental health. This development raises two natural questions: (1) How well, if at all, can NLP enable early detection, diagnosis, and intervention - not only for patients or support seekers but also for therapists or support providers? (2) Can NLP-driven solutions help bridge the gap between the escalating demand for mental health resources and the limited availability of mental health professionals, providing scalable and immediate support through chatbots, virtual therapists, and data-driven interventions? Both questions address the technical feasibility and the ethical concerns about using a developing technology in a sensitive application. This Dagstuhl Seminar brought together researchers across NLP, clinical science, human–computer interaction, and digital mental health to reflect on how NLP and AI can support mental health outcomes. Over the course of the week, we looked at key areas where NLP has the potential to transform mental health: understanding how mental states change and how therapeutic change occurs; exploring how NLP can help therapist training and feedback; identifying technological gaps and multilingual challenges in building reliable mental health models; and addressing pressing concerns around evaluation, validation, privacy, and ethics. Through vision talks, lightning sessions, and breakout groups, participants explored both the opportunities and limitations of deploying NLP for mental health, laying the groundwork for responsible, interdisciplinary research in this vital direction.
Cite as
Dana Atzil-Slonim, Iryna Gurevych, Dirk Hovy, and Diyi Yang. Natural Language Processing for Mental Health (Dagstuhl Seminar 25361). In Dagstuhl Reports, Volume 15, Issue 8, pp. 62-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{atzilslonim_et_al:DagRep.15.8.62,
author = {Atzil-Slonim, Dana and Gurevych, Iryna and Hovy, Dirk and Yang, Diyi},
title = {{Natural Language Processing for Mental Health (Dagstuhl Seminar 25361)}},
pages = {62--79},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
editor = {Atzil-Slonim, Dana and Gurevych, Iryna and Hovy, Dirk and Yang, Diyi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.62},
URN = {urn:nbn:de:0030-drops-257784},
doi = {10.4230/DagRep.15.8.62},
annote = {Keywords: Mental Health, NLP, Human-Centered AI, Large Language Models}
}
Document
Optimization and Automated Reasoning for Designing Future Space Missions (Dagstuhl Seminar 25362)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25362 Optimization and Automated Reasoning for Designing Future Space Missions, which explored fundamental optimization and reasoning tasks that arise in early stages of designing complex space missions. Such tasks include selecting and scheduling the bodies that should be encountered, routing a spacecraft across multiple bodies optimally, or strategically placing facilities to support future missions. Many of these problems are still solved by hand, as current missions only contain a few celestial objects. However, with larger and increasingly complex missions, these problems become more relevant and, thus, there is an increasing need to solve space-related optimization, scheduling, and planning problems automatically.
Despite the promising opportunities for collaboration, the entry barrier to many of these problems remains high for those without a background in celestial mechanics. Conversely, modern tools and techniques from constraint reasoning and optimization are still largely unfamiliar to many aerospace researchers. The Dagstuhl Seminar 25362 successfully established a bridge between computer scientists working in automated reasoning and experts from the space domain focused on mission analysis and operations. This Dagstuhl Seminar brought together researchers from academia, industry, and space agencies, fostering interdisciplinary dialogue. Problems and tools from both communities were presented in a language accessible to the other, laying the groundwork for future joint research and development.
Cite as
Max Bannach, Johannes Klaus Fichte, Dario Izzo, Inês Lynce, and Giacomo Acciarini. Optimization and Automated Reasoning for Designing Future Space Missions (Dagstuhl Seminar 25362). In Dagstuhl Reports, Volume 15, Issue 8, pp. 80-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
Copy BibTex To Clipboard
@Article{bannach_et_al:DagRep.15.8.80,
author = {Bannach, Max and Fichte, Johannes Klaus and Izzo, Dario and Lynce, In\^{e}s and Acciarini, Giacomo},
title = {{Optimization and Automated Reasoning for Designing Future Space Missions (Dagstuhl Seminar 25362)}},
pages = {80--94},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2026},
volume = {15},
number = {8},
editor = {Bannach, Max and Fichte, Johannes Klaus and Izzo, Dario and Lynce, In\^{e}s and Acciarini, Giacomo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.8.80},
URN = {urn:nbn:de:0030-drops-257771},
doi = {10.4230/DagRep.15.8.80},
annote = {Keywords: Automated Reasoning, Satellite Constellation Design, Space Logistics, Trajectory Optimization, Astrodynamics, Global Trajectory Optimization}
}