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

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

CCF形式化方法专委走进贵州大学

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

CCF形式化方法专委走进贵州大学

时间：2026-05-16

地点：贵州省贵阳市花溪区花溪大道南段2708号

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

<<< 上一篇 2026第一次枫林论坛（总第15次）

CCF智能计算系统产业先进技术论坛下一篇 >>>

<<< 下一篇 CCF智能计算系统产业先进技术论坛

CCFLink下载