This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.

After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was...

Arno Siebes graduated in Mathematics from Utrecht University in 1983. He joined CWI in Amsterdam in 1985, and obtained his Ph.D. in 1990 from Twente University. In 2000, he joined Utrecht University, where he took up the chair for Large Distributed Databases, which was later renamed to Algorithmic Data Analysis. He supervised 15 Ph.D. students, some of whom themselves became professors. His key research work has been on data mining and inductive databases. His most impactful contribution is using the minimum description length (MDL) principle for pattern mining, the algorithm known as...

This book constitutes the proceedings from the workshops BRIDGE+DeCaF 2025, held at the 28th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place in Daejeon, South Korea in September 2025.

The 16 papers presented in this volume were carefully reviewed and selected from the total submissions from the following workshops:

• First International Workshop on Bridging Regulatory Science and Medical Imaging Evaluation (BRIDGE 2025)
• 6th MICCAI Workshop on Distributed, Collaborative and Federated Learning...