软件研究所

中国科学院软件研究所

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

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

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

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

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

软件所杨超荣膺2017年度CCF-IEEE CS青年科学家奖

科研进展

2018-05-23[05-25] Title: LARS: A Logic-Based Framework for Analytic...
2018-05-23[05-23] Data-To-Text: Generating Textual Summaries of Com...
2018-04-23[04-24] CDSAT: Conflict-Driven SATisfiability modulo theo...
2018-04-16[04-19] SKLCS Seminar:Towards a syntax for higher dimensi...
2018-04-08[04-09] Perturbation analysis in probabilistic verification
2018-04-03[04-03] 高精度缺陷修复

2018-04-13ICICS 2018 第20届国际信息与通信安全会议征稿通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2018-03-22【7-28】[CFP] 2018机器阅读理解技术竞赛
2018-03-192018软件定义卫星高峰论坛会议通知
2018-01-04首届电子数据取证前瞻技术高端论坛
2017-08-09[12-6]The 19th International Conference on Communications...

2017-02-27关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2017-02-13关于学习中央财政相关科研项目和资金管理系列文件的通知
2018-04-25关于在学术论文署名中常见问题或错误的诚信提醒
2018-05-14巡视公告
2018-05-15中科院京区人口和计划生育工作政策解答
2018-04-12申报山东省科学技术奖项目的公示
2018-03-28推荐北京市科学技术奖候选项目公示
2018-01-182018年度国家科技进步奖提名项目公示
2018-01-032018年度国家自然科学基金项目指南
2017-12-20关于2018年度国家自然科学基金项目申请与结题等有关事项的通告

2016-08-202018招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2018-04-282018年全国大学生“软件与网络”夏令营通知
2018-04-192018年秋季软件所普通招考、硕博连读、直博研究生拟录取名单公示
2018-03-26关于对2018年拟录取推免生近期学习情况进行审核的通知
2018-03-262018年硕士招生拟录取统考生名单公示
2018-03-162018年硕士研究生招生复试考生公示名单
2018-03-142018年硕士生招生复试分数线及复试规程（new）
2018-03-05软件所2018年普通招考博士研究生综合考核安排
2018-02-13CAS-TWAS President’s Fellowship Programme for Doctoral C...

快速通道

专题专栏

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