Program

	morning	afternoon
2024.4.15	Prof. Zhiming Liu：Preparatory Course: Introduction to Mathematical Logic and Program Logic	Prof. Cláudio Gomes: Introduction to Digital Twins
2024.4.16	Prof. Jean-Pierre Talpin：Theories of Contracts and Their Applications	Prof. Martin Georg Fränzle: AI Components for High Integrity, Safety-Critical Cyber-Physical Systems: Chances and Risks
2024.4.17	Prof. Moshe Y. Vardi(Online): What Came First, Math or Computing? Prof. Martin Georg Fränzle: AI Components for High Integrity, Safety-Critical Cyber-Physical Systems: Chances and Risks	Prof. Jean-Pierre Talpin：Theories of Contracts and Their Applications
2024.4.18	Prof. Youcheng Sun: 1. Software Engineering for Explainable AI. 2. Automated Repair of AI	Prof. Kuldeep Meel：Distribution Testing: The New Frontier for Formal Methods
2024.4.19	Prof. Kuldeep Meel：Distribution Testing: The New Frontier for Formal Methods	Prof. Cláudio Gomes: Building and Deploying a Digital Twin Service
2024.4.20	Workshop: Session 1 Reconfigurable Cyber-Physical Systems	Workshop: Session 2 Large Language Models
2024.4.21	Workshop: Session 3 (Autonomous) Control