学术报告 更多>>
- 2021-06-11[06-16] Deductive Verification of Smart Contracts
- 2021-05-07[05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
- 2021-01-20[01-20] 软件定义卫星与天智工程
- 2021-01-07[01-08] 基于定理证明的分离逻辑验证工具
- 2020-12-07[12-09] A Dynamical Aspect of D-finite Power Series
- 2020-12-07[12-09] SKLCS seminar on “单带图灵机的时空转换（Time Versus Space on Single Tape Turing Machines）”
- 2020-11-30[12-02] Verified Separate Compilation of C Programs into Binary Object Files
- 2020-11-01[11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法
- 2020-11-01[11-10] 智能物联网的研究挑战与探索
- 2020-10-12[10-14] SKLCS seminar on “地理信息系统”
学术会议 更多>>
- 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教授来访