华东师范大学第22届可信软件暑期学校|截止6月30日

一、活动基本概况

华东师范大学第22届可信软件国际暑期学校

主办方：华东师范大学软件工程学院  滴水湖国际软件学院

主题：形式化验证与可信 AI：Formal Verification and Trustworthy AI

报名截止时间：2026 年 6 月 30 日

时间：2026 年 7 月 7 日 - 7 月 10 日

地点：上海市浦东新区楠木路 111 号滴水湖国际软件学院

背景：该暑期学校自 2004 年发起，已连续成功举办 21 届，面向计算机科学或软件工程领域的研究生与青年科研工作者，每年邀请国际专家授课，提供可信软件领域前沿技术学习平台。

招生人数：120人左右

官网https://seisummerschool.github.io/2026/

报名方式：点击文末阅读原文进入报名系统

二、活动亮点

国际知名专家齐聚，分享可信软件与 AI 领域前沿技术研究动态；聚焦高可信软件解析，开展跨学科研讨交流。

三、特邀讲者阵容

四、详细议程安排

点击文末阅读原文，进入报名系统