Dagstuhl Reports, Volume 14, Issue 1,

• Dagstuhl Reports, Volume 14, Issue 1, January 2024, Complete Issue 10.4230/DagRep.14.1
• Dagstuhl Reports, Table of Contents, Volume 14, Issue 1, 2024 10.4230/DagRep.14.1.i
• Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, and Gabriele Buriola From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021) 10.4230/DagRep.14.1.1
• Alessandro Cimatti, Ingo Pill, and Alexander Diedrich Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031) 10.4230/DagRep.14.1.25
• Pablo Barcelo, Pierre Bourhis, Stefan Mengel, and Sudeepa Roy Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032) 10.4230/DagRep.14.1.49
• Christof Beierle, Bart Mennink, María Naya-Plasencia, Yu Sasaki, and Rachelle Heim Boissier Symmetric Cryptography (Dagstuhl Seminar 24041) 10.4230/DagRep.14.1.72
• Jianxu Chen, Florian Jug, Susanne Rafelski, and Shanghang Zhang The Emerging Issues in Bioimaging AI Publications and Research (Dagstuhl Seminar 24042) 10.4230/DagRep.14.1.90
• Stephanie Balzer, Marco Carbone, Roland Kuhn, and Peter Thiemann Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051) 10.4230/DagRep.14.1.108
• Iryna Gurevych, Anna Rogers, Nihar B. Shah, and Jingyan Wang Reviewer No. 2: Old and New Problems in Peer Review (Dagstuhl Seminar 24052) 10.4230/DagRep.14.1.130