软件研究所

中国科学院软件研究所

中科院软件所马翠霞研究员首获2019“牛顿奖”中国奖

软件所发布国内首个量子程序设计平台——isQ

软件所召开“十四五”规划工作首场战略研讨会

软件所与华为公司签署合作协议

中科院软件所控股企业中科软登陆上交所主板

2019软件定义卫星高峰论坛在日照召开 ——软件定义卫星，智...

科研进展

2020-01-13[2020-01-14]Groebner Bases: Universality, Parametricity a...
2020-01-02[2020-01-03] On the complexity of Holant problems
2019-12-26[2019-12-30] Uncertainty-wise Software Engineering
2019-12-26[2019-12-26] Interaction with Large and Multiple Displays
2019-12-20[12-20] Proving that Programs are Differentially Private"...
2019-12-18[12-20] Smart Development of Mobile Apps with Deep Learning

2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-04-19【04-23】 Toward Smarter Continuous Integration: Automate...
2019-04-10【4-18】邀请函——中国电子学会软件定义推进委员会启动会暨...
2018-11-02【11-19】First VIP meeting
2018-08-24【9-27】“量子软件：从理论到实现”研讨会
2018-07-26【8-24】CONFESTA 2018 并发理论和形式化方法领域联合大会通知

2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2020-01-17关于“清源链医疗废弃物处置溯源系统V1.0”和“基于区块链的...
2020-01-062020年国家技术发明奖提名项目公示
2020-01-022020年度国家自然科学奖提名项目公示
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2019-01-142019年度国家科技进步奖提名项目公示
2019-01-032019年度国家自然科学奖提名项目公示
2018-10-23区块链技术与应用联合实验室开放课题申请指南

快速通道

专题专栏

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中国科学院软件研究所　京ICP备05046678号　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn