2024年7月9日至7月12日，第20届华东师范大学可信软件国际暑期学校在滴水湖国际软件学院成功举办。
2004年，中国科学院院士、华东师范大学软件工程学院创院院长何积丰教授倡导并主持开办了“可信软件国际暑期学校”，每年暑假在中国上海召开，为相关领域研究生和青年科研工作者搭建学习交流平台，以此推动可信软件领域先进技术的传播与进步。
本期暑期学校以“可信人工智能系统的形式化验证”为主题，共吸引了来自瑞典乌普萨拉大学、港中文、港科大以及北大、上交、浙大、南大、中科大、国防科大、电子科大、中科院软件所、南方科大等高校和单位的104名师生参加。奥地利科学技术研究所的Thomas A. Henzinger教授、以色列工业大学的Ofer Strichman教授、比利时鲁汶天主教大学的Danny Weyns教授、北京大学的詹乃军教授和新加坡管理大学的Djordje Zikelic助理教授受邀为学生授课。
五位授课教师围绕“可信人工智能系统的形式化验证”这一主题，对相关理论知识和实操方法进行了深化与拓展。
Thomas A. Henzinger对控制论、多智能推理（multi-agent reasoning）、和运行时验证相关（Runtime Verification）等议题进行阐述。
Thomas A. Henzinger授课
Ofer Strichman介绍了SAT求解的原理和算法背后的内在直觉。
Ofer Strichman授课
Danny Weyns对自适应系统相关知识进行了详细的说明。
Danny Weyns授课
詹乃军着重阐释了嵌入式系统的安全关键性，并对MARS工具链展开了讲解。
詹乃军授课
Djordje Zikelic首先介绍了鞅相关的理论知识，进而基于“训练-验证”的随机系统对可信控制器合成训练框架进行详细讲解。
Djordje Zikelic授课
暑期学校期间，还进行了“CAV 2024报告预演”。7位在2024年CAV上发表长文的作者对他们的成果进行了分享。分享结束后，参会观众积极提问，论坛现场学术讨论气氛热烈。
CAV 2024报告预演现场
今年正值暑期学校二十周年，7月10日晚，现场举办了“华东师范大学可信软件国际暑期学校开办二十周年”庆祝会。师生们欢聚一堂，分享精美蛋糕，大屏幕上一张张照片记录下20年的精彩历程，更是对传承和开拓精神的最好诠释。
可信软件国际暑期学校二十周年庆祝会
暑期学校首次在滴水湖国际软件学院举办。师生们还共同前往滴水湖AI创新港展厅和上海天文馆参观学习。在AI创新港展厅，大家领略了数字城市、智能汽车的未来前景；上海天文馆则展示了宇宙的广阔和奥秘，也体现出一代代科学家对于真理的执着追求，激发大家的好奇心和探索欲。
参观AI创新港和上海天文馆
未来，可信软件国际暑期学校将秉持初心，聚焦海内外先进软件技术发展，持续打造可信软件人才培养和国际交流新高地。
