学术报告----中国科学院软件研究所

中国科学院软件研究所

学术报告

[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

«123 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