On 28 February 2025, the top-class colloquium "Design and Verification of Cyber-Physical Systems: From Theory to Applications" took place with many national and international guests. This was organised on the occasion of Prof. Dr Martin Fränzle 's 60th birthday and reflects his diverse contributions in the field of development, verification and implementation of cyber-physical systems. The contributions are summarised on the following website: Link