软件研究所

中国科学院软件研究所

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

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

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

中国科学院副院长张亚平一行调研澜湄次区域虫媒传染病联防...

中国科学院软件研究所亮相2019数博会

软件所成功举办首届智能软件国际论坛

科研进展

2019-11-18[11-20] Logipedia: towards a Wikipedia of formal proofs
2019-11-13[11-14] SafeHidden: 通过持续随机化来确保信息隐藏的高效性...
2019-10-23[10-23] 联邦学习在金融行业的实践：问题，方法及应用
2019-10-15[10-25] Software Engineering Issues in Cyber-Physical Sys...
2019-09-20[09-23] View-Centric Performance Optimization for Databas...
2019-09-16[09-17] On Solving String Constraints

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关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2019-01-142019年度国家科技进步奖提名项目公示
2019-01-032019年度国家自然科学奖提名项目公示
2018-10-23区块链技术与应用联合实验室开放课题申请指南
2018-09-03关于推荐申报“2018年度中国科学院关键技术人才”项目的公示
2019-09-02关于推选全国保密工作先进集体的公示
2018-08-23关于推荐申报科技部2018年创新人才推进计划的公示

快速通道

专题专栏

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