-
12 Nov
Distinguished Colloquium——High-order Unfitted Finite Element Methods for Elliptic and Maxwell Interface Problems
时间：2021-11-12 15:00-16:00
报告人: Zhiming Chen (Academy of Mathematics and System Science, Chinese Academy of Sciences)
-
10 Nov
机器学习实验室博士生系列论坛（第十八期）——Recent Progress on the Explicit Superlinear Convergence Rates of Quasi-Newton Methods
时间：2021-11-10 15:10-16:10
报告人: Dachao Lin (PKU)
-
05 Nov
Information Sciences Seminar——Extracting automata from neural networks using active learning
时间：2021-11-05 13:00-14:00
报告人: Zhiwu Xu（Shenzhen University）
-
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)