本所简介
所长致辞
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
计算机科学国家重点实验室
综合信息系统技术国家级重点实验室
基础软件国家工程研究中心
卫星导航应用国家工程中心分中心
并行软件与计算科学实验室
可信计算与信息保障实验室
软件工程技术研究开发中心
人机交互技术与智能信息处理实验室
互联网软件技术实验室
无锡分部
重庆分部
哈尔滨分部
广州分部
青岛分部
软件所召开党的群众路线教育实践活动领导班子第三次集中学习扩大会议
11-07
软件所召开2013年度研究生教育工作研讨会
11-04
第三届“中科杯”全国软件设计大赛决赛暨颁奖典礼举行
11-01
软件所与日本NTT Data公司签署联合研究协议
09-30
2014年度国家科学技术奖励推荐项目公示
12-06
软件所青联举办家庭数据中心应用模式研讨会
12-03
软件所团委、学生会在首届中科院移动互联网应用青年创意大赛中..
12-02
冰岛雷克雅未克大学Luca Aceto和Anna Ingolfsdottir教授到软件..
11-28
法国国家信息学与自动化研究院Paris-Rocquencourt研究中心Xavi..
11-19
HelloGCC 2013 Workshop
11-15
美国阿贡国家实验室Pavan Balaji研究员访问软件所
爱沙尼亚塔尔图大学Dietmar Pfahl副教授到软件所交流
[12-12]“与顶级会议作者面对面系列”之六: Heming Cui, Colum..
11-25
[12-10]“与顶级会议作者面对面系列”之五: Qi Huang, Cornell..
[12-3]“与顶级会议作者面对面系列”之四: Haoyuan Li, UC Ber..
[11-29]软件所青年联合会第11期学术活动
[11-28]When is a formula invariant?
11-26
[11-28]互联网软件技术实验室学术报告
[11-25]一种基于分布式结构的并行数据集群管理方法
11-21
[11-22]Symbolic-Numeric Algorithms for Verified Computations
11-14
计算机科学国家重点实验室
