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

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

CCF形式化方法专委青年学术论坛：形式化方法与AI的双向赋能

阅读量:54 2026-04-17 收藏本文

CCF形式化方法专委青年学术论坛：形式化方法与AI的双向赋能

时间：2026-05-24

地点：浙江省杭州市浙江大学

联系人：吴志林联系方式：wuzl@ios.ac.cn

<<< 上一篇 2026委员单位需求对接会

2026区块链专委会党小组活动下一篇 >>>

<<< 下一篇 2026区块链专委会党小组活动

CCFLink下载