学术报告 更多>>
- 2022-06-29[2022-07-01] Local Search for SMT on Linear Integer Arithmetic
- 2022-06-29[2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”
- 2022-03-01[2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
- 2021-12-21[2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu
- 2021-12-21【2021-11-9】Constructive Bidirectional Programming
- 2021-10-18【2021-10-20】SKLCS Seminar on “机器学习公理化”
- 2021-10-18【2021-06-29】SKLCS Seminar on “智能化软件工程和智能软件工程：人工智能和软件工程的交叉融合”
- 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] 软件定义卫星与天智工程
学术会议 更多>>
- 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教授来访