- Grace A. Lewis, Henry Muccini, Ipek Ozkaya, Karthik Vaidhyanathan, Roland Weiss, Liming Zhu 0001. Software Architecture and Machine Learning (Dagstuhl Seminar 23302). Dagstuhl Reports, 13(7):166-188, 2023.
- Hans Ehm, John W. Fowler, Lars Mönch, Daniel Sascha Schorn. Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362). Dagstuhl Reports, 13(9):69-102, 2023.
- Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, Kevin Gomez. Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242). Dagstuhl Reports, 13(6):22-54, 2023.
- Ori Lahav 0001, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev. Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports, 13(10):50-64, 2023.
- Andrej Bauer, Katja Bercic, Florian Rabe 0001, Nicolas M. Thiéry, Jure Taslak. Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). Dagstuhl Reports, 13(10):1-23, 2023.
- Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan. Foundations of WebAssembly (Dagstuhl Seminar 23101). Dagstuhl Reports, 13(3):1-16, March 2023.
- Michael Fisher 0001, Marija Slavkovik 0001, Anna Dobrosovestnova, Nick Schuster. Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). Dagstuhl Reports, 13(9):103-115, 2023.
- Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller 0001, Anna Becchi. Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports, 13(7):66-95, 2023.
- Rosa M. Badia, Laure Berti-Équille, Rafael Ferreira da Silva, Ulf Leser. Integrating HPC, AI, and Workflows for Scientific Data Analysis (Dagstuhl Seminar 23352). Dagstuhl Reports, 13(8):129-164, 2023.
- Eric Bodden, Sam Weber, Laurie A. Williams. Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). Dagstuhl Reports, 13(5):1-21, 2023.