设为首页 | 加入收藏
首页 > 正文

征稿通知:CCF ChinaSoft 2022 “形式化方法与应用“Track

作者：时间：2022-03-02点击数：

征文通知：CCF ChinaSoft 2022 “形式化方法与应用“Track征稿通知: http://chinasoft2022.ccf.org.cn/papers/4.html


上一条：王加存教授与唐瑛教授报告会 下一条：2022年拟招收1-2名硕士研究生

版权所有：同济大学 形式逻辑与机器学习实验室

地址：上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email：liuguanjun@tongji.edu.cn