Dagstuhl Reports, Volume 13, Issue 3,

• Dagstuhl Reports, Volume 13, Issue 3, March 2023, Complete Issue 10.4230/DagRep.13.3
• Dagstuhl Reports, Table of Contents, Volume 13, Issue 3, 2023 10.4230/DagRep.13.3.i
• Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, and Deian Stefan Foundations of WebAssembly (Dagstuhl Seminar 23101) 10.4230/DagRep.13.3.1
• Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau, and Manaswi Paraashar Computational Complexity of Discrete Problems (Dagstuhl Seminar 23111) 10.4230/DagRep.13.3.17
• Swen Jacobs, Kenneth McMillan, Roopsha Samanta, and Ilya Sergey Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112) 10.4230/DagRep.13.3.32
• David Bevan, Miklós Bóna, and István Miklós Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121) 10.4230/DagRep.13.3.49
• Tinne Tuytelaars, Bing Liu, Vincenzo Lomonaco, Gido van de Ven, and Andrea Cossu Deep Continual Learning (Dagstuhl Seminar 23122) 10.4230/DagRep.13.3.74
• Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) 10.4230/DagRep.13.3.92
• Peer-Timo Bremer, Brian Spears, Tom Gibbs, and Michael Bussmann AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132) 10.4230/DagRep.13.3.106