软件研究所

中国科学院软件研究所

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

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

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

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

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

软件所四项成果荣获2019年度北京市科学技术奖

科研进展

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...
2020-11-26[11-26] 彻底解决针对操作系统的超越授权攻击
2020-11-24[12-02] Verified Separate Compilation of C Programs into ...

2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-03-252019软件定义卫星高峰论坛征文通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2018-03-22【8-14】[CFP] 2018年全国知识图谱与语义计算大会（CCKS 2018）
2018-03-22【10-19】第十七届全国计算语言学学术会议（CCL 2018）及第六...

2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2020-12-152020年市场监管科研成果奖推荐项目公示
2020-10-292020年北京市科学技术奖拟提名项目公示
2020-10-222020年北京市科学技术奖拟提名项目公示
2020-06-30首届“开源软件供应链点亮计划-暑期2020”中选名单公布
2020-06-20中国科学院软件研究所声明
2020-04-26开源软件供应链点亮计划-暑期2020通知
2020-01-17关于“清源链医疗废弃物处置溯源系统V1.0”和“基于区块链的...
2020-01-062020年国家技术发明奖提名项目公示

快速通道

专题专栏

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