学术报告 更多>>
- 2023-05-25【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”
- 2023-05-09【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”
- 2023-05-03【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”
- 2023-05-03【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”
- 2023-04-09【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”
- 2023-04-01【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“
- 2023-01-11【2022-09-06】SKLCS Seminar on”人工智能安全攻防对抗”
- 2022-12-04【2022-12-16】SKLCS Seminar on “Latticed k-Induction with an Application to Probabilistic Programs“
- 2022-12-01【2022-12-01】SKLCS Seminar on “智能数字服务生态系统演化支撑理论与应用“
- 2022-10-11【2022-10-14】SKLCS Seminar on “Optimization, Generalization and Implicit bias of Gradient Methods in Deep Learning“
学术会议 更多>>
- 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教授来访