下载中心
会议室预定
电子邮箱
学术交流 更多>>
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
学术活动 更多>>
- 2025-06-25【06-25】知行融创论坛：Reachability Computation via Set Boundary Analysis
- 2025-06-25【06-25】知行融创论坛：From an odd arity signature to a Holant dichotomy
- 2025-06-25【06-25】知行融创论坛：Quantum Speedup for Sampling Random Spanning Trees
- 2025-06-25【06-25】知行融创论坛：Parallel MIP Solving with Dynamic Task Decomposition
- 2025-05-22【05-28】知行融创论坛：Towards Large Language Model Guided Kernel Direct Fuzzing
- 2025-05-22【05-28】知行融创论坛：Patch Synthesis for Property Repair of Deep Neural Networks
- 2025-05-16【05-28】知行融创论坛：Complete Quantum Relational Hoare Logics from Optimal Transport Duality
- 2025-05-16【05-28】知行融创论坛：Polynomial time algorithms for typical #EO problems
- 2025-04-27【04-27】知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
- 2025-04-27【04-27】知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction