下载中心
会议室预定
电子邮箱
学术交流 更多>>
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
学术活动 更多>>
- 2025-12-30【12-31】知行融创论坛：面向自动驾驶的测试场景智能生成技术
- 2025-12-30【12-31】知行融创论坛：A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
- 2025-12-30【12-31】知行融创论坛：基于子空间的多视图聚类融合算法研究
- 2025-12-30【12-31】知行融创论坛：带噪声量子电路的模拟与等价性检验
- 2025-11-25【11-26】知行融创论坛：Termination Analysis of Probabilistic Programs
- 2025-11-25【11-26】知行融创论坛：Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization
- 2025-09-24【09-24】知行融创论坛：A Formally Verified Procedure for Width Inference in FIRRTL
- 2025-09-24【09-24】知行融创论坛：TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
- 2025-09-24【09-24】知行融创论坛：Shadowcast: Stealthy Data Poisoning Attacks against Vision-Language Models
- 2025-08-26【08-27】知行融创论坛：Separation between Walksat and DPLL