软件研究所

中国科学院软件研究所

软件所成果获2021年度CCF科学技术奖自然科学一等奖

2021年世界互联网大会“开源生态论坛”在乌镇成功举办 ...

可持续发展大数据国际研究中心成立软件所参与研制的“可...

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

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

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

科研进展

2022-06-30促进数字技术与制造业深度融合
2022-06-30助力量子计算技术进一步发展
2022-06-30中国这十年·系列主题新闻发布｜科技事业发生历史性、整体性...
2022-05-31在实施数字经济战略上抢新机——二〇二二中国国际大数据产业...
2022-05-31L3级自动驾驶近了，4D毫米波雷达火了
2022-05-05百公里！我国创造世界量子直接通信最远纪录

2022-06-29[07-01] Algorithmic Foundation of Blockchain: the Case of...
2022-06-29[07-01] Local Search for SMT on Linear Integer Arithmetic
2022-05-25[05-27] 数值程序分析、验证与修复
2022-04-27[04-28] 区块链发展形势与区块链服务网络（BSN）创新实践
2022-04-11[04-27] 片上系统的模块化规范与形式化验证
2022-04-02[04-08] Superposition for Higher-Order Logic

2022-06-06【7-1】2022年度中国科学院软件研究所学术年会征稿通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-05-25软件所“软件定义未来”亲子科普文章征稿
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-03-252019软件定义卫星高峰论坛征文通知

2016-08-202022招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2022-05-30中国科学院软件研究所2022年全国大学生“软件与网络”夏令营...
2022-05-22软件所2022年秋季普通招考博士生、硕博连读研究生拟录取名单公示
2022-04-282022年软件所硕士招生拟录取考生名单公示（补录/代招）
2022-04-282022年软件所硕士招生复试名单(补录/代招)
2022-04-092022年软件所硕士招生拟录取统考生名单公示
2022-03-25软件所2022年硕士研究生招生复试分数线及复试规程
2022-03-25软件所2022年硕士研究生招生复试考生名单
2022-03-21软件所2022年普通招考博士研究生综合考核规程

快速通道

专题专栏

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