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 |
知无涯-313 |
基于验证技术的深度神经网络可信保障 Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP |
Xiaoyong Xue Ziyun Xu |
16 |
2024.5.22 |
知无涯-313 |
Towards General Conceptual Model Editing via Adversarial Representation Engineering |
Yihao Zhang |
17 |
2024.5.28 (14:00-16:00) |
几何-209 |
基于验证技术的深度神经网络可信保障（博士论文答辩） |
Xiaoyong Xue |
18 |
2024.5.29 |
知无涯-313 |
MSL到定理证明器Isabelle的翻译及验证
|
Hao Bu |
19 |
2024.6.5 |
知无涯-313 |
SeL4 Microkernal
|
Xiangyu Li |
20 |
2024.6.12 |
知无涯-313 |
Mutation Testing in UTP
|
Ziyun Xu |
21 |
2024.9.4 |
知无涯-313 |
seminar plan
|
|
22 |
2024.9.11 |
出差暂停一次。
|
||
23 |
2024.9.18 |
知无涯-313 |
开题报告
|
XIaokun Luan & Xiangyu Li |
24 |
2024.9.25 |
知无涯-313 |
GCL Semantics
|
Ziyun Xu |
25 |
2024.10.2 |
国庆节放假，暂停一次。
|
||
26 |
2024.10.9 |
知无涯-313 |
Permutation Watermark for Transformers
|
Xiaokun Luan |
27 |
2024.10.16 |
知无涯-313 |
Xiaohong Chen (Pi Squared Inc.) |
|
28 |
2024.10.23 |
知无涯-313 |
Semantic-aware Sledgehammer for Isabelle/HOL
|
Xiaokun Luan |
29 |
2024.10.30 |
暂停一次
|
||
30 |
2024.11.6 |
知无涯-313 |
MedTiny Semantics
|
Xiangyu Li |
31 |
2024.11.13 |
知无涯-313 |
Kailong Wang (HUST) |
|
32 |
2024.11.20 |
知无涯-313 |
中国软件大会论坛报告介绍（1）
|
Xiangyu Li, Xiaokun Luan and Yihao Zhang |
33 |
2024.11.26 |
三教206 |
面向关键系统软件的约束求解技术研究
|
Chuan Luo (BUAA) |
34 |
2024.11.27 |
知无涯-313 |
中国软件大会论坛报告介绍（2）
|
Ziyun Xu, Kaicheng Shao and Yuxin Lin |
35 |
2024.12.4 |
出差暂停一次
|
||
36 |
2024.12.11 |
知无涯-313 |
Fu Song (ISCAS) |
|
37 |
2024.12.18 |
知无涯-313 |
深度神经网络的语义鲁棒性（博士论文预答辩试讲）
|
Hao Bu |
38 |
2024.12.25 |
知无涯-313 |
A Neuralsymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
|
Yihao Zhang |
往年讨论班信息