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), 讨论班停一次 |
往年讨论班信息