学术报告 更多>>
- 2023-12-22【12-29】SKLCS seminar on “AIA：AI辅助算法设计的若干尝试”
- 2023-12-20【12-27】SKLCS seminar on “知识图谱的关键技术”
- 2023-12-01【12-11】SKLCS seminar on “An FPRAS for two terminal reliability in directed acyclic graphs”
- 2023-11-01【11-02】SKLCS Seminar on”概率递归关系尾概率的自动化分析”
- 2023-10-20【10-31】2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
- 2023-10-20【10-31】1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
- 2023-10-10【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”
- 2023-08-15【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”
- 2023-07-31【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)
- 2023-06-12【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”
学术会议 更多>>
- 2011-08-08ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
开放资源 更多>>
- 2019-07-15计算机科学国家重点实验室计算资源管理条例（试行）
- 2019-07-14计算机科学国家重点实验室三维扫描仪软硬资源管理规定（试行）
- 2019-07-12相关表格下载
学术交流 更多>>
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
- 2015-11-03图灵奖获得者Leslie Lamport博士访问计算机科学国家重点实验室
- 2013-10-22中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访
- 2011-03-08图灵奖获得者Joseph Sifakis教授来访
- 2008-12-02图灵奖获得者Amir Pnueli教授来访
- 2008-11-05图灵奖获得者C.A.R. Hoare教授来访