计算机科学与尊龙凯吋官方网站本周活动预告(2015年9月28日-2015年9月30日)
发布时间:2015-10-09 浏览量:36
计算机科学与尊龙凯吋官方网站本周活动预告
(2015年9月28日-2015年9月30日)
类别 | 主题 | 时间 | 地点 | 主讲人/主办部门/出席对象 |
会议 | 党政联席会议 | 9月28日10:00 | 理科楼B211 |
|
学术报告 | Automata-Based Abstraction Refinement for muHORS Model Checking | 9月28日14:00 | 理科楼B1002 | Xin Li博士 |
快速通道: