新闻动态 更多
- 2021-12-272022年开放课题申请工作正式开始
- 2020-10-28吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”
- 2020-07-14蔡少伟团队获得SAT 2020国际比赛冠军
- 2020-01-022020年开放课题申请工作正式开始
- 2019-12-25软件所发布国内首个量子程序设计平台—isQ
- 2019-12-03实验室吴恩华研究员获ACM服务奖
- 2019-11-06计算机科学国家重点实验室召开2019年学术委员会年度会议
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
科研进展 更多
- 2019-07-18计算复杂性问题
- 2019-07-18量子程序终止性算法分析
- 2019-07-18基于自动机的程序终止性检验
- 2019-07-18Android 堆栈机模型
- 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
- 2019-07-18带边缘感知的改进的纹理滤波
- 2019-07-17实时自动机的不透明性
- 2019-07-17密钥封装机制的抗量子安全性设计理论
学术交流 更多
- 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教授来访
学术报告 更多
- 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“
- 2022-10-01【2022-10-7】SKLCS Seminar on “基于算法模式合成高效程序”
- 2022-09-28【2022-09-30】SKLCS Seminar on “Stability analysis of time-delay systems”
- 2022-09-22【2022-09-22】SKLCS Seminar on”可信任的分布式隐私保护机器学习方法与应用”
- 2022-08-21【2022-08-26】SKLCS Seminar on”约束满足解的近线性时间采样算法”