软件研究所

中国科学院软件研究所

我国首颗软件定义卫星“天智一号”发射成功

热烈祝贺孙家昶研究员荣获第七届“CSIAM苏步青应用数学奖”

中国首颗软件定义卫星“天智一号”将于下半年发射

软件所“恶意软件深度分析与检测关键技术及应用”项目获北...

“短波广播资源优化调度建模及算法应用”项目获 2017 年“...

国产P/E级高性能软件与算法库研究集体获2017年度中国科学院...

科研进展

2018-11-20[11-22] An Introduction to Automatic Structures
2018-11-13[11-16] 智能化电子病历分析及预后系统研究
2018-11-12[11-12] Towards a Form-independent Semantics for NLP
2018-09-13[09-13] A Verified Implementation of the Bounded List Con...
2018-08-15[08-16] The Limits of Symmetric Computation
2018-06-28[06-29] Conditional Congruence Closure Algorithms for Uni...

2018-11-02【11-19】First VIP meeting
2018-08-24【9-27】“量子软件：从理论到实现”研讨会
2018-07-26【8-24】CONFESTA 2018 并发理论和形式化方法领域联合大会通知
2018-04-13ICICS 2018 第20届国际信息与通信安全会议征稿通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2018-03-22【7-28】[CFP] 2018机器阅读理解技术竞赛

2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2018-05-14巡视公告
2018-10-23区块链技术与应用联合实验室开放课题申请指南
2018-09-03关于推荐申报“2018年度中国科学院关键技术人才”项目的公示
2018-08-23关于推荐申报科技部2018年创新人才推进计划的公示
2018-05-15中科院京区人口和计划生育工作政策解答
2018-04-12申报山东省科学技术奖项目的公示
2018-03-28推荐北京市科学技术奖候选项目公示
2018-01-182018年度国家科技进步奖提名项目公示

快速通道

专题专栏

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