- 2021-12-21【2021-11-9】Constructive Bidirectional Programming
- 2021-10-18【2021-10-20】SKLCS Seminar on “机器学习公理化”
- 2021-10-18【2021-06-29】SKLCS Seminar on “智能化软件工程和智能软件工程:人工智能和软件工程的交叉融合”
- 2021-06-11[06-16] Deductive Verification of Smart Contracts
- 2021-05-07[05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
- 2021-01-20[01-20] 软件定义卫星与天智工程
- 2021-01-07[01-08] 基于定理证明的分离逻辑验证工具
- 2020-12-07[12-09] A Dynamical Aspect of D-finite Power Series
- 2020-12-07[12-09] SKLCS seminar on “单带图灵机的时空转换(Time Versus Space on Single Tape Turing Machines)”
- 2020-11-30[12-02] Verified Separate Compilation of C Programs into Binary Object Files
- 2020-11-01[11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法
- 2020-11-01[11-10] 智能物联网的研究挑战与探索
- 2020-10-12[10-14] SKLCS seminar on “地理信息系统”
- 2020-10-11[10-21] 新型活体光学分子影像技术研发及临床转化
- 2019-12-23[12-30] Uncertainty-wise Software Engineering
- 2019-12-19[12-20]SKLCS seminar on 2 talks-“Proving that Programs are Differentially Private” “Quantitative information flow: when is one leak worse than another?”
- 2019-12-09[12-18]Quantum Computing Engineering: Challenges and Opportunities
- 2019-12-09[12-10]Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures
- 2019-11-11[11-14]SafeHidden: 通过持续随机化来确保信息隐藏的高效性和安全性
- 2019-10-15[10-25]Software Engineering Issues in Cyber-Physical Systems