2024年软件理论讨论班日程安排
注1:2024年春季学期讨论班时间未特别说明均为周三上午10:00-12:00。
注2:有意在讨论班做学术报告的校外学者请直接email联系:sunmeng@math.pku.edu.cn。
|
时间(Date)
|
地点(Place) |
报告题目(Title)
|
报告人 |
1 |
2024.1.3 |
几何-209 |
Jingling Sun(UESTC) |
|
2 |
2024.1.10 |
几何-209 |
Cuiyun Gao(HITSZ) |
|
3 |
2024.2.21 |
知无涯-313 |
How to Make Your PhD Successful / Failed? |
Meng Sun |
4 |
2024.2.28 |
知无涯-313 |
基于定理证明的MedTiny形式化验证 |
Hao Bu |
5 |
2024.3.6 |
知无涯-313 |
The Missing Part of MedTiny and Smart Contracts Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing |
Xiangyu Li Kaicheng Shao |
6 |
2024.3.13 |
知无涯-313 |
Model-based Analysis for Neural Networks |
Xiaoyong Xue |
7 |
2024.3.20 |
知无涯-313 |
Ai Liu (NUAA) |
|
8 |
2024.3.27 |
出差暂停一次。 |
||
9 |
2024.4.3 |
线上 |
定理证明公开课 |
Jean-François Monin(Verimag) |
10 |
2024.4.10 |
线上 |
定理证明公开课 |
Jean-François Monin(Verimag) |
11 |
2024.4.17 |
线上 |
定理证明公开课 |
Jean-François Monin(Verimag) |
12 |
2024.4.24 |
项目中期报告,暂停一次。 |
||
13 |
2024.5.1 |
出差暂停一次。 |
||
14 |
2024.5.8 |
知无涯-313 |
Xiyue Zhang (Univ. of Oxford) |
|
15 |
2024.5.15 |
|||
15 |
2024.5.22 |
往年讨论班信息