-
26 Oct
CAM Seminar——Efficient presolving methods for influence maximization problem in social networks
时间：2021-10-26 10:30-11:30
报告人: Weikun Chen (Beijing Institute of Technology)
-
22 Oct
计算与应用数学拔尖博士生系列论坛——Learning invariance preserving moment closure model
时间：2021-10-22 12:00-13:10
报告人: ZhengYi Li (Peking University)
-
21 Oct
Information Sciences Seminar——Symbolic Execution Oriented Constraint Solving
时间：2021-10-21 10:00-12:00
报告人: Zhenbang Chen（National University of Defense Technology）
-
14 Oct
Information Sciences Seminar——Linear Approximation Approaches for Formal Verification of Deep Neural Networks and Their Tightness
时间：2021-10-14 10:00-12:00
报告人: Min Zhang (East China Normal University)
-
13 Oct
机器学习实验室博士生系列论坛（第十六期）—— Recent Progress on Non-Autoregressive Machine Translation
时间：2021-10-13 15:10-16:10
报告人: Hao Cheng (PKU)
-
11 Oct
Information Sciences Seminar——Latticed k-Induction with an Application to Probabilistic Programs
时间：2021-10-11 20:00-21:00
报告人: Mingshuai Chen (RWTH Aachen University)
-
30 Sep
Information Sciences Seminar——K程序语言框架的可信化
时间：2021-09-30 10:00-12:00
报告人: Xiaohong Chen (UIUC)
-
29 Sep
机器学习实验室博士生系列论坛（第十五期）—— Recent Progress on Generative Modeling
时间：2021-09-29 15:10-16:10
报告人: Weijian Luo (PKU)
-
28 Sep
CAM Seminar——非线性矩阵集中不等式的理论及应用
时间：2021-09-28 10:30-11:30
报告人: De Huang (Peking University)
-
23 Sep
Information Sciences Seminar——Identifying Privacy Weaknesses from IoT Trigger-action Platforms
时间：2021-09-23 10:00-11:00
报告人: Guangdong Bai (The University of Queensland)