Am 28. Februar 2025 fand das mit vielen nationalen und internationalen Gästen hochkarätig besetzte Festkolloquium “Design and Verification of Cyber-Physical Systems: From Theory to Applications” statt. Dieses wurde anlässlich des 60. Geburtstags von Prof. Dr. Martin Fränzle organisiert und spiegelt seine vielfältigen Beiträge im Bereich der Entwicklung, Verifikation und Umsetzung cyber-physischer Systeme wider. Die Beiträge sind auf folgender Webseite zusammengefasst: Link