软件研究所

中国科学院软件研究所

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

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

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

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

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

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

科研进展

2021-05-28欧盟推出实现人工智能卓越和信任新规则
2021-05-28华为张顺茂：破解工业数据应用的六道难关
2021-05-282020年中国工业软件行业发展现状及未来发展趋势分析：工业软...
2021-03-302020年中国软件行业收入、企业数量及未来前景分析
2021-03-30互联网医疗，让看病更轻松
2021-03-30打破“数据孤岛“ 智能交通基础设施有了新样板

2021-06-10[06-16] Deductive Verification of Smart Contracts
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...

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年度中国科学院软件研究所学术年会征稿通知

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-06-11中国科学院软件研究所2021年全国大学生“软件与网络”夏令营通知
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年普通招考博士研究生综合考核规程

快速通道

专题专栏

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