Dagstuhl Reports, Volume 13, Issue 7,

• Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue 10.4230/DagRep.13.7
• Dagstuhl Reports, Table of Contents, Volume 13, Issue 7, 2023 10.4230/DagRep.13.7.i
• Claudio Di Ciccio, Silvia Miksch, Pnina Soffer, Barbara Weber, and Giovanni Meroni Human in the (Process) Mines (Dagstuhl Seminar 23271) 10.4230/DagRep.13.7.1
• Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, and Ulrich Schmid Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272) 10.4230/DagRep.13.7.34
• Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, and Anna Becchi Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281) 10.4230/DagRep.13.7.66
• Karthik C. S., Parinya Chalermsook, Joachim Spoerhase, Meirav Zehavi, and Martin Herold Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291) 10.4230/DagRep.13.7.96
• Florian `Floyd' Mueller, Carine Lallemand, Dennis Reidsma, Elise van den Hoven, and Maria F. Montoya SportsHCI (Dagstuhl Seminar 23292) 10.4230/DagRep.13.7.108
• Rebekah Gundry, Lennart Martens, and Magnus Palmblad Computational Proteomics (Dagstuhl Seminar 23301) 10.4230/DagRep.13.7.152
• Grace A. Lewis, Henry Muccini, Ipek Ozkaya, Karthik Vaidhyanathan, Roland Weiss, and Liming Zhu Software Architecture and Machine Learning (Dagstuhl Seminar 23302) 10.4230/DagRep.13.7.166