2021年秋软件理论讨论班日程安排
注： 自9月9日起，除特殊说明外，每次讨论班时间为周四上午10-12点。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2021.9.9 |
1304 |
Semester Plan |
|
|
2
|
2021.9.16 |
online（1304） |
Fu Song (Shanghai Tech Univ.) |
|
|
3
|
2021.9.23 |
online（1304） |
Guangdong Bai (Univ. of Queensland) |
|
|
4
|
2021.9.30 |
online（1304） |
XIaohong Chen (UIUC) |
|
|
5
|
2021.10.7 |
CSIAM年会（10.7-10.10，合肥），讨论班停一次 |
||
|
6
|
2021.10.14 |
online（1304） |
Min Zhang (ECNU) |
|
|
7
|
2021.10.21 |
online（1304） |
Zhenbang Chen (NUDT) |
|
|
8
|
2021.10.28 |
online（1304） |
Jianwen Li (ECNU) |
|
|
9
|
2021.11.5（13:00-14:00） |
online（1304） |
Zhiwu Xu (Shenzhen Univ.) |
|
|
10
|
2021.11.11 |
1304 |
1. Mutation Testing of Reinforcement Learning Systems 2. Mutation Testing of Machine Learning Systems 3. Towards Trustworthiness Guarantee of Deep Learning Systems |
Yuteng Lu Xiyue Zhang |
|
11 |
2021.11.18 |
1304 |
1. DeepGlobal: a Global Robustness Verifiable FNN Framework 2. Coverage Testing for DNNs 3. Modeling and Verification of CKB Consensus Protocol in Coq |
Weidi Sun Xiaokun Luan |
|
12 |
2021.11.25 |
FM (11.20-26) & SETTA (11.25-27), 讨论班停一次 |
||
|
13
|
2021.12.2 |
DNN Repair |
Hao Bu |
|
|
14
|
2021.12.9 |
QRS（12.6-10）, 讨论班停一次 |
||
|
15
|
2021.12.16 |
DNN Verification |
Xiaoyong Xue (TBC) |
|
|
16
|
2021.12.23 |
Chinasoft（12.23-26）, 讨论班停一次 |
往年讨论班信息