• 中国科学院软件所基础软件与系统重点实验室招聘启事2026-09-16
• 中国科学院软件所基础软件与系统重点实验室招聘启事2026-09-16
• 【09-17 PIFI talk】 KLSS Seminar on “Metamorphic Testing Beyond Testing (蜕变测试踰测试)”2026-09-14
• 沉痛悼念董韫美先生！2026-01-28
• 【12-31】知行融创论坛：面向自动驾驶的测试场景智能生成技术2025-12-30
• 【12-31】知行融创论坛：A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic2025-12-30
• 【12-31】知行融创论坛：基于子空间的多视图聚类融合算法研究2025-12-30
• 【12-31】知行融创论坛：带噪声量子电路的模拟与等价性检验2025-12-30
• 【11-26】知行融创论坛：Termination Analysis of Probabilistic Programs2025-11-25
• 【11-26】知行融创论坛：Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization2025-11-25
• 张昕荻荣获国际SAT协会2025最佳博士学位论文奖2025-10-10
• 【09-24】知行融创论坛：A Formally Verified Procedure for Width Inference in FIRRTL2025-09-24
• 【09-24】知行融创论坛：TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models2025-09-24
• 【09-24】知行融创论坛：Shadowcast: Stealthy Data Poisoning Attacks against Vision-Language Models2025-09-24
• 【08-27】知行融创论坛：Separation between Walksat and DPLL2025-08-26