软件研究所

中国科学院软件研究所

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

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

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

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

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

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

科研进展

2022-04-27软件所发布“澜湄次区域虫媒传染病联防联控平台”2.0版
2022-04-14软件所召开党委理论学习中心组学习会
2022-03-28软件所举行2021年度工作总结考核交流会
2022-03-24软件所召开党委理论学习中心组学习会
2022-03-11“弘扬科学家精神，砥砺初心担使命” 软件所召开首任所长许孔...
2022-01-24软件所召开2021年度党史学习教育专题民主生活会

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
2021-11-08[11-09] Constructive Bidirectional Programming
2021-10-18[10-20] 机器学习公理化

2022-01-28第二届RISC-V技术及生态研讨会征文通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2020-09-24【11-4】开源软件供应链2020峰会
2020-04-26开源软件供应链点亮计划-暑期2020通知
2020-04-26天智星云杯第三届软件定义卫星创新大赛

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

2016-08-202022招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
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年普通招考博士研究生综合考核规程
2022-02-222022软件所硕士统考考生相关通知

快速通道

专题专栏

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