• 中国科学院党组召开2024年夏季扩大会议2024-08-01
• 软件所举办创新文化论坛报告会—百年未有之大变局与建设现代化强国的优势和底气2024-07-31
• 中共中央印发《中国共产党巡视工作条例》2024-07-31
• 拒绝学术评议中的“跨界”“挂名”“一言堂”行为！中国科学院发布8条诚信提醒2024-07-31
• 软件所分布式SMT求解器研究工作获CAV杰出论文奖（中国首次）2024-07-29
• 中国科学院软件研究所基础软件与系统重点实验室招聘启事2024-05-09
• 中国科学院软件研究所基础软件与系统重点实验室2024年优秀人才招聘启事2024-01-25
• AIA：AI辅助算法设计的若干尝试2023-12-22
• 知识图谱的关键技术2023-12-20
• An FPRAS for two terminal reliability in directed acyclic graphs2023-12-01
• 概率递归关系尾概率的自动化分析2023-11-01
• 2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”2023-10-20
• 1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”2023-10-20
• TrustInSoft Analyzer: a formal methods-based software for industry2023-10-10
• 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”2023-08-15