软件研究所

中国科学院软件研究所

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

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

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

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

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

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

科研进展

2022-08-01软件所召开党委中心组学习会深入学习中科院人才会议精神和...
2022-07-28胡忠雄会见中国科学院软件研究所所长赵琛
2022-07-01软件所举行2022届研究生毕业典礼
2022-06-28软件所举行庆祝中国共产党成立101周年大会
2022-06-02软件所召开第九届二次工会会员代表大会
2022-06-02软件所召开2022年度工作会议暨第九届第二次职工代表大会

2022-07-29软件再定义手机
2022-07-29世界互联网大会成立
2022-07-29基础科学国际年强调促进可持续发展
2022-06-30促进数字技术与制造业深度融合
2022-06-30助力量子计算技术进一步发展
2022-06-30中国这十年·系列主题新闻发布｜科技事业发生历史性、整体性...

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-08-02软件所2023年接收推免生预报名公告
2022-07-292022年“软件与网络”优秀营员名单
2022-07-152022年“软件与网络”夏令营营员名单
2022-05-30中国科学院软件研究所2022年全国大学生“软件与网络”夏令营...
2022-05-22软件所2022年秋季普通招考博士生、硕博连读研究生拟录取名单公示
2022-04-282022年软件所硕士招生拟录取考生名单公示（补录/代招）
2022-04-282022年软件所硕士招生复试名单(补录/代招)
2022-04-092022年软件所硕士招生拟录取统考生名单公示

快速通道

专题专栏

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