Dagstuhl Reports, Volume 14, Issue 9,

• Dagstuhl Reports, Volume 14, Issue 9, September 2024, Complete Issue 10.4230/DagRep.14.9
• Dagstuhl Reports, Table of Contents, Volume 14, Issue 9, 2024 10.4230/DagRep.14.9.i
• Nils Jansen, Mykel Kochenderfer, Jan Kretinsky, Jana Tumova, and Maris Galesloot Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361) 10.4230/DagRep.14.9.1
• Aniket Kate, Julian Loss, and Kartik Nayak Next-Generation Secure Distributed Computing (Dagstuhl Seminar 24362) 10.4230/DagRep.14.9.22
• Gerd Bruder, Thies Pfeiffer, Jeanine Stefanucci, and Dylan Fox Extended Reality Accessibility (Dagstuhl Seminar 24371) 10.4230/DagRep.14.9.45
• Hendrik Baier, Mark T. Keane, Sarath Sreedharan, Silvia Tulli, Abhinav Verma, and Stylianos Loukas Vasileiou Explainable AI for Sequential Decision Making (Dagstuhl Seminar 24372) 10.4230/DagRep.14.9.67
• Markus Bläser, Shubhangi Saraf, Ronen Shaltiel, Jacobo Torán, and Kilian Rothmund Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 24381) 10.4230/DagRep.14.9.104
• Aristides Gionis, Matteo Riondato, and Eli Upfal Statistical and Probabilistic Methods in Algorithmic Data Analysis (Dagstuhl Seminar 24391) 10.4230/DagRep.14.9.127
• Evangelos Markakis, Ruta Mehta, and Yair Zick Fair Division: Algorithms, Solution Concepts, and Applications (Dagstuhl Seminar 24401) 10.4230/DagRep.14.9.145
• Alexander Clemm, Dirk Kutscher, Michael Welzl, Cedric Westphal, Noa Zilberman, and Simone Ferlin-Reiter Greening Networking: Toward a Net Zero Internet (Dagstuhl Seminar 24402) 10.4230/DagRep.14.9.167