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

CCF形式化专委走进兴义民族师范学院

作者：时间：2024-05-23点击数：

2024年5月17日CCF形式化专委组织刘志明、董云卫、吴志林、刘关俊等四位专委委员，走进兴义民族师范学院，上午进行了学术报告，下午与计算机学院的领导老师进行了座谈。


上一条：CCF形式化专委走南方电网 下一条：上海市人工智能学会可信智能系统专委走进中船711所

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

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

Email：liuguanjun@tongji.edu.cn