中文 English 收藏本站
计算机科学国家重点实验室
菜单 搜索
  • 首页
  • 实验室概况
    • 实验室介绍
    • 组织管理
    • 学术委员会
  • 科学研究
    • 研究方向
    • 科研进展
    • 获奖情况
    • 学术专著
    • 学术论文
    • 发明专利
    • 软件著作
  • 党建工作
    • 办事指南
    • 反腐倡廉
      • 党纪党规
      • 警示教育
    • 媒体转载
    • 工作动态
    • 心得体会
    • 支部活动
    • 科研攻坚
  • 人才队伍
    • 院士专家
    • 研究员
    • 副研究员
    • 助理研究员
    • 博士后
  • 研究生教育
    • 招生指南
    • 导师信息
    • 活动展示
  • 合作交流
    • 学术交流
    • 学术报告
    • 学术会议
    • 开放资源
  • 开放课题
    • 通知
    • 申请指南
    • 管理办法
    • 经费细则
    • 申请表格
  • 招贤纳士
    • 科研职位
    • 博士后
  • 联系我们
新闻动态
新闻动态
当前位置: 首页  新闻动态
  • 2014-11-18“软件与网络安全” 科学与技术前沿论坛成功召开
  • 2014-10-24中国科学院学部“软件与网络安全”科学与技术前沿论坛
  • 2014-08-21实验室2014年9月初进行推免生的招生工作
  • 2014-03-122014年开放课题申请工作正式开始
  • 2013-10-22中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访
  • 2013-01-062013年开放课题申请工作正式开始
  • 2012-04-05实验室研究生龙震岳的论文获ETAPS Best Paper Award
  • 2012-01-12Turing Year in China
  • 2011-12-022012年开放课题申请工作正式开始
  • 2011-09-24实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
  • 2011-08-08ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
  • 2011-03-08图灵奖获得者Joseph Sifakis教授来访
  • 2008-12-02图灵奖获得者Amir Pnueli教授来访
  • 2008-11-05图灵奖获得者C.A.R. Hoare教授来访
|<<12...

中华人民共和国科学技术部          国家自然科学基金委员会          中国科学院         北京分院         软件研究所         软件所图书馆    

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1