网站地图
联系我们
所长信箱
English
中国科学院
网站地图
联系我们
所长信箱
English
中国科学院
MENU
Toggle navigation
首 页
研究所概况
本所简介
现任领导
历任领导
学术委员会
学位评定委员会
组织机构
院士名人
历史沿革
院所风貌
联系我们
机构设置
科研部门
管理部门
支撑部门
科研创新
学科方向
科研成果
获奖
专利
论文
专著
规章制度
成果转化
参股企业
院地合作
国际合作
人才队伍
院士专家
研究员(正高级工程师)
副研究员(高级工程师)
博士后流动站
人才招聘
研究生教育
招生信息
导师信息
培养管理
学位管理
就业指导
优秀毕业生
下载区
党群文化
党委
纪委
工会
党建工作
纪监审工作
廉洁文化
青年工作
文化活动
健康之友
离退休生活
形象标识
科学传播
科普动态
科普文章
视频图片
科普场馆
学术期刊
期刊
信息公开
信息公开规定
信息公开指南
信息公开目录
依申请公开
信息公开年度报告
信息公开联系方式
首页
>
学术活动
>
学术报告
学术报告
[2022-06-29]
[07-01] Local Search for SMT on Linear Integer Arithmetic
[2022-05-25]
[05-27] 数值程序分析、验证与修复
[2022-04-27]
[04-28] 区块链发展形势与区块链服务网络(BSN)创新实践
[2022-04-11]
[04-27] 片上系统的模块化规范与形式化验证
[2022-04-02]
[04-08] Superposition for Higher-Order Logic
[2022-03-01]
[03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
[2021-12-21]
[12-23] JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inferenc...
[2021-11-08]
[11-09] Constructive Bidirectional Programming
[2021-10-18]
[10-20] 机器学习公理化
[2021-06-29]
[07-01] Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
[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-Enabled Cyber-Physical Systems
[2021-01-20]
[01-22] 软件定义卫星与天智工程
[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 Tape Turing Machines)
[2020-11-26]
[11-26] 彻底解决针对操作系统的超越授权攻击
[2020-11-24]
[12-02] Verified Separate Compilation of C Programs into Binary Object Files
[2020-11-17]
[11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法
[2020-11-10]
[11-10] 智能物联网的研究挑战与探索
[2020-10-22]
[10-21] 新型活体光学分子影像技术研发及临床转化
[2020-10-22]
[10-14] 地理信息系统
[2020-09-23]
[09-23] 贝叶斯深度学习理论、算法和编程库
[2020-01-13]
[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity
«
1
2
3
4
5
»
下5页
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