中国科学院软件研究所

中国科学院软件研究所

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

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

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

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

侯建国在京区开展专项调研

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

科研进展

2023-09-22软件所举办2023年学术年会
2023-09-26软件所荣获精神文明建设巡礼“百优作品”奖
2023-08-31软件所召开主题教育专题民主生活会
2023-09-08软件所博士生韩凯荣获“中国科学院院长特别奖”
2023-09-08黄沛、高钰博士论文入选2023年度中国科学院优秀博士学位论文
2023-08-30软件所召开学习贯彻中国科学院2023年夏季党组扩大会议精神研讨会

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-05-10[05-17]ENCORE: Efficient Architecture Verification Framew...
2023-05-04[05-08]SKLCS Seminar on “ 模糊测试的种子输入生成技术”

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年度学术年会征稿通知
2021-01-28第一届RISC-V技术及生态研讨会征文通知

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年度中国科学院软件研究所学术年会征稿通知

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