软件研究所

中国科学院软件研究所

软件所“开源软件供应链重大基础设施建设”启动会暨实施方...

软件所等提出国际首个完全实用的异步共识算法“小飞象” ...

中国科学院副院长、党组副书记阴和俊调研软件所

软件所举行新一届领导班子宣布会议

开源软件供应链2020峰会成功举行

吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”

科研进展

2021-05-06[05-07] Safety Design and Verification of Learning-Enable...
2021-01-20[01-22] 软件定义卫星与天智工程
2020-12-15[2021-01-08] 基于定理证明的分离逻辑验证工具
2020-12-08[12-09] A Dynamical Aspect of D-finite Power Series
2020-12-08[12-09] 单带图灵机的时空转换（Time Versus Space on Single...
2020-11-26[11-26] 彻底解决针对操作系统的超越授权攻击

2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-03-252019软件定义卫星高峰论坛征文通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2018-03-22【8-14】[CFP] 2018年全国知识图谱与语义计算大会（CCKS 2018）
2018-03-22【10-19】第十七届全国计算语言学学术会议（CCL 2018）及第六...

2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2021-05-15中国科学院软件研究所监理项目比选招标文件
2021-04-21软件所4号楼4层办公室局部装修工程项目比选招标文件
2021-04-20软件所4、5、6号楼及动力间屋顶防水修缮工程项目比选招标文件
2020-12-152020年市场监管科研成果奖推荐项目公示
2020-10-292020年北京市科学技术奖拟提名项目公示
2020-10-222020年北京市科学技术奖拟提名项目公示
2020-06-30首届“开源软件供应链点亮计划-暑期2020”中选名单公布
2020-06-20中国科学院软件研究所声明

2016-08-202021招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2021-05-10软件所2021年秋季普通招考、硕博连读、直博研究生拟录取名单公示
2021-04-22国科大南京学院关于2021年硕士调剂考生拟录取名单公示（挂靠...
2021-04-222021年中国科学院软件研究所硕士招生拟录取统考生名单公示
2021-04-162021年硕士研究生招生调剂复试考生名单
2021-03-26软件所2021年硕士研究生招生复试考生名单
2021-03-26软件所2021年硕士生招生复试分数线及复试规程
2021-03-16软件所2021年普通招考博士研究生综合考核规程
2021-02-042021年(秋)软件所普通招考博士研究生初评结果公示

快速通道

专题专栏

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中国科学院软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn