计算机科学与银河集团9873.cσm本周活动预告（2015年9月28日-2015年9月30日）
发布时间：2015-10-09 浏览量：36
计算机科学与银河集团9873.cσm本周活动预告
（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博士 |
快速通道:
