网站地图
联系我们
所长信箱
English
中国科学院
网站地图
联系我们
所长信箱
English
中国科学院
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
软件著作权
论文
专著
规章制度
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
人才招聘
研究生教育
招生信息
导师信息
培养管理
学位管理
就业指导
优秀毕业生
博士后流动站
下载区
党群文化
党委
纪委
工会
党建工作
纪监审工作
青年工作
文化活动
健康之友
离退休生活
规章制度
形象标识
科学传播
科普动态
科普文章
科普场馆
科普站点
科学图片
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开年度报告
信息公开联系方式
软件所举行新一届领导班子宣布会议
开源软件供应链2020峰会成功举行
吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”
软件所四项成果荣获2019年度北京市科学技术奖
软件所举办2020年度学术年会
软件所成果荣获2019年度云南省科学技术奖
科研进展
量子软件
软件定义
智能软件
随机微分系统的无穷时间安全性验证
基于LORA信号的远距离非接触感知
基于注意力卷积二叉神经树的细粒度视觉分类
基于非对称多核处理器的低功耗负载均衡方法
基于可进化尺度的搜索测试与动态符号执行的结合
dAMP: 可微分抽象机混合编程系统
机械臂编程语言和运行系统
新闻动态
科技动态
项目申请
2020-12-29
软件所加入openEuler社区理事会 加速操作系统开源生态...
2020-12-29
软件所召开“基层组织建设年”活动党支部达标评估暨支部年度...
2020-12-28
软件所召开2020年警示教育大会
2020-12-22
软件所参加中国—东盟信息通信创新论坛
2020-12-18
软件所发布最大零售场景目标检测计数联合任务数据集——Locount
2020-12-15
软件所年轻干部理论学习小组召开“学习新思想 青春勇担当”学...
更多 +
2020-12-08
天津人工智能试验区:加速部署算力生态 构建计算“合力”
2020-12-08
中国软件产品业务收入逐年增长,2020年将朝着网络化、平台化...
2020-12-08
2019年中国工业软件市场规模为1720亿元,占全球市场规模比重...
2020-11-17
我国科学家研制出国际上首台量子直接通信样机
2020-11-17
2019年中国工业自动化控制系统市场规模及工业自动化信息安全...
2020-11-17
数字时代下嵌入式软件行业加速发展,企业相继布局嵌入式软件行业
更多 +
2019-07-15
国家自然科学基金委员会关于发布“十三五”第四批重大项目指...
2019-05-09
关于2019年度北京市自然科学基金重点研究专题项目申报的通知
2019-01-02
国家自然科学基金委员会2019年项目指南
2018-11-06
科技部关于发布国家重点研发计划“变革性技术关键科学问题”...
2018-11-06
科技部关于发布科技创新2030—“新一代人工智能”重大项目201...
2018-10-24
关于2018年度北京市自然科学基金对外合作交流活动基金项目申...
更多 +
学术报告
学术会议
CALL FOR PAPER
2020-12-15
[2021-01-08] 基于定理证明的分离逻辑验证工具
2020-12-08
[12-09] A Dynamical Aspect of D-finite Power Series
2020-12-08
[12-09] 单带图灵机的时空转换(Time Versus Space on Single...
2020-11-26
[11-26] 彻底解决针对操作系统的超越授权攻击
2020-11-24
[12-02] Verified Separate Compilation of C Programs into ...
2020-11-17
[11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法
更多 +
2020-09-24
【11-4】开源软件供应链2020峰会
2020-04-26
开源软件供应链点亮计划-暑期2020通知
2020-04-26
天智星云杯第三届软件定义卫星创新大赛
2020-03-16
2020年度中国科学院软件研究所学术年会征稿通知
2019-04-24
2019年度中国科学院软件研究所学术年会征稿通知
2019-04-19
【04-23】 Toward Smarter Continuous Integration: Automate...
更多 +
2019-04-24
2019年度中国科学院软件研究所学术年会征稿通知
2019-03-25
2019软件定义卫星高峰论坛征文通知
2018-03-22
2018年度中国科学院软件研究所学术年会征稿通知
2018-03-22
【8-14】[CFP] 2018年全国知识图谱与语义计算大会(CCKS 2018)
2018-03-22
【10-19】第十七届全国计算语言学学术会议(CCL 2018)及第六...
2017-08-09
第19届国际信息与通信安全会议(ICICS 2017)征文通知
更多 +
通知公告
人才招聘
招生信息
内部公告
关于在学术论文署名中常见问题或错误的诚信提醒
关于学习北京大学等七家单位落实《若干意见》的实践案例的通知
2020-12-15
2020年市场监管科研成果奖推荐项目公示
2020-10-29
2020年北京市科学技术奖拟提名项目公示
2020-10-22
2020年北京市科学技术奖拟提名项目公示
2020-06-30
首届“开源软件供应链点亮计划-暑期2020”中选名单公布
2020-06-20
中国科学院软件研究所声明
2020-04-26
开源软件供应链点亮计划-暑期2020通知
2020-01-17
关于“清源链医疗废弃物处置溯源系统V1.0”和“基于区块链的...
更多 +
2019-06-18
中国科学院软件研究所诚聘海内外杰出人才
2019-06-18
中国科学院软件研究所所级优秀人才项目及岗位招聘启事
2020-09-03
中国科学院软件研究所2021年度校园招聘启事
2019-08-30
中科院软件所特别研究助理招聘启事
2021-01-13
中科院软件所智能软件研究中心招聘启事
2021-01-04
中科院软件所中层管理人员招聘启事
2020-12-18
中科院软件所计算机科学国家重点实验室招聘启事
2020-12-15
中科院软件所软件工程技术研究开发中心招聘启事
2020-12-11
中科院软件所人机交互技术与智能信息处理实验室招聘启事
2020-11-24
中科院软件所时空数据管理与数据科学研究中心招聘启事
更多 +
2016-08-20
2021招生简章及招生目录
2015-03-13
软件所乘车路线和附近宾馆
2020-12-07
中国科学院大学2021年秋季入学博士研究生招生网上报名公告
2020-11-16
软件所2021年春博拟录取名单公示
2020-10-16
中国科学院软件研究所关于补录推免生的通知
2020-09-28
软件所2021年推免生拟录取名单
2020-09-01
软件所“2020年度大学生创新实践训练计划”启动通知
2020-08-26
软件所2021年接收推免生预报名公告
2020-08-26
软件所2021年拟录取推免生名单(第一批)
2020-08-10
2020年“软件与网络”夏令营优秀营员名单
更多 +
更多 +
快速通道
专题专栏
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