-
29 Oct
CAM Seminar——Challenges of solving nonlinear DC circuits in circuit simulation
时间：2021-10-29 10:30-11:30
报告人: Zhou Jin（China University of Petroleum,Beijing）
-
28 Oct
Information Sciences Seminar——On-the-fly Synthesis for LTL over Finite Traces
时间：2021-10-28 10:00-12:00
报告人: Jianwen Li (East China Normal University)
-
27 Oct
机器学习实验室博士生系列论坛（第十七期）——Recent Progress on Machine Learning Approaches for Combinatorial Optimization
时间：2021-10-27 15:10-16:10
报告人: Yang Peng (PKU)
-
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)