下载中心
会议室预定
电子邮箱
学术交流 更多>>
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
学术活动 更多>>
- 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
- 2025-08-26【08-27】知行融创论坛：含整数类型的字符串约束求解
- 2025-08-26【08-27】知行融创论坛：A Divide-and-Conquer Approach for Global Orientation of Non-Watertight Scene-Level Point Clouds Using 0-1 Integer Optimization
- 2025-08-26【08-27】知行融创论坛：Efficient Formal Verification of Quantum Error Correcting Programs
- 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