计算机科学与beat365手机中文官方网站本周活动预告
（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博士 |
华东师范大学beat365手机中文官方网站
学院地址：上海中山北路3663号理科大楼
上海市浦东新区楠木路111号
院长信箱：yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
Copyright Software Engineering Institute