Dagstuhl Reports

Keyphrases

Publications

volume 14, number 1, 2024

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

volume 14, number 2, 2024

volume 13, number 4, 2023

volume 13, number 5, 2023

volume 13, number 6, 2023

volume 13, number 7, 2023

volume 13, number 8, 2023

volume 13, number 9, 2023