中国科学院软件研究所

中国科学院软件研究所

“源图3.0”重磅发布开源软件供应链重大基础设施建设取得...

中国科学院传达2023年夏季党组扩大会议精神

“科苑杯”男篮联赛战况揭晓，软件所代表队夺魁！

中国科学院先导专项成果——“傲来”RISC-V 原生操作系统在...

中国科学院院长、党组书记侯建国在京区开展专项调研

中国科学院副院长、党组副书记阴和俊调研软件所

科研进展

2023-11-29中国科学院大学软件工程一级学科学位授权点合格评估专家评审...
2023-11-03软件所获中国计算机学会2023年度科技成果奖科技进步特等奖
2023-10-16院党组第一巡视组巡视软件研究所工作动员会召开
2023-09-28软件所成功举办2023年度新员工培训
2023-09-26软件所荣获精神文明建设巡礼“百优作品”奖
2023-09-22软件所举办2023年学术年会

2023-11-01[11-02]概率递归关系尾概率的自动化分析
2023-10-17[10-23]Linear Hybrid Systems are Hard: The Case of Linear...
2023-09-18[09-20] From Vision to Text: Data-driven Automated Bug Re...
2023-06-08[06-12]Model-based Analysis from Traditional to Intellige...
2023-05-17[05-26]Verification-in-the-loop: A Safe Reinforcement Lea...
2023-05-10[05-10]移动应用质量保障关键技术研究

2023-11-20第20届中国信息和通信安全学术会议（CCICS 2023）暨网络空间...
2023-04-06关于第三届RISC-V技术及生态研讨会征文延期的通知
2022-12-05第三届RISC-V技术及生态研讨会征文通知
2022-06-06【7-1】2022年度中国科学院软件研究所学术年会征稿通知
2022-01-28第二届RISC-V技术及生态研讨会征文通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知

2023-05-22【7-10】2023年度中国科学院软件研究所学术年会征稿通知
2022-06-06【7-1】2022年度中国科学院软件研究所学术年会征稿通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-05-25软件所“软件定义未来”亲子科普文章征稿
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知

2023-06-14中国科学院软件研究所关于征集建所40周年素材的通知
2022-05-26关于在科技奖励推荐过程中常见问题的诚信提醒
2022-02-17关于规范学术论著署名问题的负面行为清单
2023-11-29关于刘旭璐就业推荐表遗失的公示
2023-10-10巡视公告
2023-09-15软件所4号楼六层改造项目施工招标公告
2023-08-21关于参与2023年度密码科学技术奖励商用密码提名项目的公示
2023-08-192023年度密码科学技术奖励商用密码提名项目公示
2023-08-01“十四五”国家重点研发计划重点专项总体专家组拟聘专家公示
2023-07-06中国科学院软件研究所老旧小区综合整治项目全过程工程咨询服...

2016-08-202024招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2023-11-27软件所2024年春级硕转博拟录取名单公示
2023-10-16软件所2024年推免生拟录取名单
2023-08-07软件所2024年接收推免生预报名公告
2023-07-212023年“软件与网络”优秀营员名单
2023-07-112023年“软件与网络”夏令营营员名单
2023-05-17软件所2023年秋季硕博连读研究生拟录取名单补充公示
2023-05-10中国科学院软件研究所2023年全国大学生“软件与网络”夏令营...
2023-04-28软件所2023年秋季普通招考博士生、硕博连读研究生拟录取名单公示

快速通道

专题专栏

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