Dagstuhl Reports, Volume 13, Issue 10,

• Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue 10.4230/DagRep.13.10
• Dagstuhl Reports, Table of Contents, Volume 13, Issue 10, 2023 10.4230/DagRep.13.10.i
• Andrej Bauer, Katja Berčič, Florian Rabe, Nicolas Thiéry, and Jure Taslak Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401) 10.4230/DagRep.13.10.1
• Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, and Filip Cano Córdoba Accountable Software Systems (Dagstuhl Seminar 23411) 10.4230/DagRep.13.10.24
• Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, and Anton Podkopaev Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412) 10.4230/DagRep.13.10.50
• Gorjan Alagic, Maria Naya-Plasencia, Rainer Steinwandt, and Manasi Shingane Quantum Cryptanalysis (Dagstuhl Seminar 23421) 10.4230/DagRep.13.10.65
• Jason Li, Debmalya Panigrahi, Laura Sanita, and Thatchaphol Saranurak Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422) 10.4230/DagRep.13.10.76
• Sven Dietrich, Frank Kargl, Hartmut König, Pavel Laskov, and Artur Hermann Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431) 10.4230/DagRep.13.10.90
• Aaron Ding, Eyal de Lara, Schahram Dustdar, Ella Peltonen, and Tobias Meuser Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432) 10.4230/DagRep.13.10.130
• Hannes Mühleisen, Danica Porobic, and Manuel Rigger Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441) 10.4230/DagRep.13.10.139
• Luc De Raedt, Ute Schmid, and Johannes Langer Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442) 10.4230/DagRep.13.10.182