题目:Machine Learning in Business
报告人:Yichao Jin
时间: 2021-01-08 14:00-15:00
地点:腾讯会议 884 196 073
题目:并发反应式系统组合验证:框架、语言集成及应用
报告人:赵永望
时间: 2021-01-05 14:00-16:00
地点:计算机学院509会议室(腾讯会议号314 866 636)
题目:Interval Counterexamples for Loop Invariant Learning
报告人:贺飞
时间: 2020-12-30 9:00-12:00
地点:计算机学院509会议室(腾讯会议号:546 998 690)
题目:类脑计算完备性与类脑计算机 / Brain-inspired Computational Completeness and Brain-inspired Computers
报告人:张悠慧
时间: 2020-12-26 下午15:00
地点:计算机学院113会议室
题目:“人工智能+民航特色”交叉学科研讨会
报告人:司海清、张洪海、孙见忠、马宗民、陈钢、黄圣君、袁伟伟
时间: 2020-05-15
地点:计算机学院楼113会议室