软件研究所

中国科学院软件研究所

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

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

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

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

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

我国SM2与SM9数字签名标准正式成为国际标准

科研进展

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-06-26[06-27] “软件智能分析”学术沙龙第六次活动
2018-06-25[06-27] Design and Analysis for Real-Time Mixed-Criticali...
2018-06-20[06-22] Historical and Futuristic Perspectives of Robotics

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机器阅读理解技术竞赛
2018-03-192018软件定义卫星高峰论坛会议通知

2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2017-02-13关于学习中央财政相关科研项目和资金管理系列文件的通知
2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2018-05-14巡视公告
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