软件研究所

中国科学院软件研究所

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

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

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

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

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

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

科研进展

2021-12-21[12-23] JIZHI: A Fast and Cost-Effective Model-As-A-Servi...
2021-11-08[11-09] Constructive Bidirectional Programming
2021-10-18[10-20] 机器学习公理化
2021-06-29[07-01] Satisfiability Modulo Ordering Consistency Theory...
2021-06-29[06-29] 智能化软件工程和智能软件工程：人工智能和软件工程...
2021-06-10[06-16] Deductive Verification of Smart Contracts

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

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软件所乘车路线和附近宾馆
2021-10-21软件所2022年推免生拟录取名单
2021-09-30软件所关于补录推免生的通知
2021-09-27软件所2022年推免生拟录取名单
2021-08-19软件所2022年接收推免生预报名公告
2021-08-192021年“软件与网络”优秀营员名单
2021-07-202021年“软件与网络”夏令营营员名单
2021-06-11中国科学院软件研究所2021年全国大学生“软件与网络”夏令营通知
2021-05-10软件所2021年秋季普通招考、硕博连读、直博研究生拟录取名单公示

快速通道

专题专栏

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