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

CCF形式化专委走进海南大学

作者：时间：2023-03-27点击数：

2023年3月24日至25日，CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院。


上一条：美国Monmouth大学王加存教授来实验室交流 下一条：重点项目在国防科技大学召开阶段性成果研讨

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

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

Email：liuguanjun@tongji.edu.cn