软件研究所

中国科学院软件研究所

可持续发展大数据国际研究中心成立软件所参与研制的“可...

软件所“开源软件供应链重大基础设施建设”启动会暨实施方...

软件所等提出国际首个完全实用的异步共识算法“小飞象” ...

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

软件所举行新一届领导班子宣布会议

开源软件供应链2020峰会成功举行

科研进展

2021-09-12软件所召开理论学习中心组学习会
2021-09-10软件所举办2021年度学术年会
2021-09-07可持续发展大数据国际研究中心成立软件所参与研制的“可持...
2021-08-20软件所获得2021年度国家自然科学基金重点项目和优秀青年科学...
2021-08-17【中国科学报】中国自主研发求解器首获国际SMT比赛冠军
2021-08-17蔡少伟团队研发求解器首获SMT国际比赛冠军

2021-08-302021年上半年中国各省市区、各副省级城市软件和信息技术服务...
2021-08-30安捷中科：国产基础软件破局工业数字化转型
2021-08-301—7月我国软件业务收入同比增长21.4%
2021-07-30揭秘勒索软件威胁“新套路”
2021-07-30全球数字经济大会|与虚拟主播跨时空共话数字经济
2021-07-302020年中国EDA行业发展概况：市场规模持续增长，但与发达国家...

2021-06-29[07-01] Satisfiability Modulo Ordering Consistency Theory...
2021-06-29[06-29] 智能化软件工程和智能软件工程：人工智能和软件工程...
2021-06-10[06-16] Deductive Verification of Smart Contracts
2021-05-06[05-07] Safety Design and Verification of Learning-Enable...
2021-01-20[01-22] 软件定义卫星与天智工程
2020-12-15[2021-01-08] 基于定理证明的分离逻辑验证工具

2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2020-09-24【11-4】开源软件供应链2020峰会
2020-04-26开源软件供应链点亮计划-暑期2020通知
2020-04-26天智星云杯第三届软件定义卫星创新大赛
2020-03-162020年度中国科学院软件研究所学术年会征稿通知

2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-05-25软件所“软件定义未来”亲子科普文章征稿
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-03-252019软件定义卫星高峰论坛征文通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知

2016-08-202021招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2021-08-19软件所2022年接收推免生预报名公告
2021-08-192021年“软件与网络”优秀营员名单
2021-07-202021年“软件与网络”夏令营营员名单
2021-06-11中国科学院软件研究所2021年全国大学生“软件与网络”夏令营通知
2021-05-10软件所2021年秋季普通招考、硕博连读、直博研究生拟录取名单公示
2021-04-22国科大南京学院关于2021年硕士调剂考生拟录取名单公示（挂靠...
2021-04-222021年中国科学院软件研究所硕士招生拟录取统考生名单公示
2021-04-162021年硕士研究生招生调剂复试考生名单

快速通道

专题专栏

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