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

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

CCF形式化方法专委青年学术论坛：约束求解及形式化前沿应用

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

CCF形式化方法专委青年学术论坛：约束求解及形式化前沿应用

时间：2026-06-06

地点：北京市海淀区中国科学院软件园区

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

<<< 上一篇 CCF秀湖会议（Agent服务规模化落地的核心挑战

CCF 走进闽江大学下一篇 >>>

<<< 下一篇 CCF 走进闽江大学

CCFLink下载