Dagstuhl Reports, Volume 14, Issue 4,

• Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue 10.4230/DagRep.14.4
• Dagstuhl Reports, Table of Contents, Volume 14, Issue 4, 2024 10.4230/DagRep.14.4.i
• Steffen Bondorf, Anne Bouillard, Markus Fidler, Jörg Liebeherr, and Lisa Maile Network Calculus (Dagstuhl Seminar 24141) 10.4230/DagRep.14.4.1
• Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, and Mario Trapp Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151) 10.4230/DagRep.14.4.23
• Stephan Druskat, Lars Grunske, Caroline Jay, and Daniel S. Katz Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161) 10.4230/DagRep.14.4.42
• David F. Bacon, Carsten Binnig, David Patterson, and Margo Seltzer Hardware Support for Cloud Database Systems in the Post-Moore’s Law Era (Dagstuhl Seminar 24162) 10.4230/DagRep.14.4.54
• S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, and Arijit Shaw Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171) 10.4230/DagRep.14.4.85
• Satish Chandra, Michael Pradel, and Kathryn T. Stolee Code Search (Dagstuhl Seminar 24172) 10.4230/DagRep.14.4.108
• Timothy M. D. Ebbels, Soha Hassoun, Ewy A. Mathé, Justin J. J. van der Hooft, and Haley Chatelaine Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181) 10.4230/DagRep.14.4.124
• Simon Burton, Radu Calinescu, and Raffaela Mirandola Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182) 10.4230/DagRep.14.4.142