Dagstuhl Reports, Volume 13, Issue 6,

• Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue 10.4230/DagRep.13.6
• Dagstuhl Reports, Table of Contents, Volume 13, Issue 6, 2023 10.4230/DagRep.13.6.i
• Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, and Bahare Salmani Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241) 10.4230/DagRep.13.6.1
• Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, and Kevin Gomez Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242) 10.4230/DagRep.13.6.22
• Anne Auger, Peter A. N. Bosman, Pascal Kerschke, Darrell Whitley, and Lennart Schäpermeier Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251) 10.4230/DagRep.13.6.55
• Bongshin Lee, Kim Marriott, Danielle Szafir, and Gerhard Weber Inclusive Data Visualization (Dagstuhl Seminar 23252) 10.4230/DagRep.13.6.81
• Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler SAT Encodings and Beyond (Dagstuhl Seminar 23261) 10.4230/DagRep.13.6.106