软件研究所

中国科学院软件研究所

中国科学院副院长张亚平一行调研澜湄次区域虫媒传染病联防...

中国科学院软件研究所亮相2019数博会

软件所成功举办首届智能软件国际论坛

中科院软件所牵头成立中国电子学会软件定义推进委员会助力...

中国电子学会软件定义推进委员会在京成立

天智一号卫星自主请求式管控在轨试验获得成功

科研进展

2019-06-10中国科学院副院长张亚平一行调研澜湄次区域虫媒传染病联防联...
2019-06-05中国科学院软件研究所亮相2019数博会
2019-05-22软件所举办“软件定义未来”公众开放日
2019-05-20软件所成功举办2019年度学术年会
2019-05-20软件所四项成果被自然语言处理顶级会议ACL 2019接收
2019-04-29软件所成功举办首届智能软件国际论坛

2019-06-06[06-12] Classification Program for Counting Problems
2019-05-28[05-30] The mCRL2 behavioural specification language and ...
2019-05-16[05-21] Symbolic semantics for Open Systems and their Bis...
2019-04-30[05-17] Matching mu-logic: A powerful logic for specifyin...
2019-04-30[05-20] Developing Game-Changing Embedded Intelligence
2019-04-28[05-06] Towards Safety Verification of Autonomous Systems

2019-04-242019年度中国科学院软件研究所学术年会征稿通知
2019-04-19【04-23】 Toward Smarter Continuous Integration: Automate...
2019-04-10【4-18】邀请函——中国电子学会软件定义推进委员会启动会暨...
2018-11-02【11-19】First VIP meeting
2018-08-24【9-27】“量子软件：从理论到实现”研讨会
2018-07-26【8-24】CONFESTA 2018 并发理论和形式化方法领域联合大会通知

2019-03-252019软件定义卫星高峰论坛征文通知
2018-03-222018年度中国科学院软件研究所学术年会征稿通知
2018-03-22【8-14】[CFP] 2018年全国知识图谱与语义计算大会（CCKS 2018）
2018-03-22【10-19】第十七届全国计算语言学学术会议（CCL 2018）及第六...
2017-08-09第19届国际信息与通信安全会议(ICICS 2017)征文通知
2017-03-21中国科学院软件研究所学术年会'2017 征稿通知

2016-08-202019招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2019-05-08软件所2019年秋季普通招考、硕博连读、直博研究生拟录取名单公示
2019-04-242019年全国大学生“软件与网络”夏令营（软件所）
2019-04-11软件所“2019年度大学生创新实践训练计划”启动通知
2019-03-292019年硕士招生拟录取统考生名单公示
2019-03-192019年硕士研究生招生复试考生公示名单
2019-03-192019年硕士研究生招生复试分数线及复试规程
2019-02-25软件所2019年普通招考博士研究生综合考核规程
2019-02-14关于2019年硕士生招生考试初试成绩查询时间的通知

快速通道

专题专栏

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