English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 活动 > 活动日历 > 专委

CCF形式化方法专委青年学术论坛：面向AI安全的形式化方法前沿应用

阅读量:22 2026-07-02 收藏本文

CCF形式化方法专委青年学术论坛：面向AI安全的形式化方法前沿应用

时间：2026-07-03

地点：上海市浦东新区上海市浦东新区南汇新城镇楠木路111号

联系人：王培新联系方式：pxwang@sei.ecnu.edu.cn

<<< 上一篇 CCF工业控制计算机发展研讨会

CCF2026中国工业工业计算机大会下一篇 >>>

<<< 下一篇 CCF2026中国工业工业计算机大会

CCFLink下载