• 2022-10-01【2022-10-7】SKLCS Seminar on “基于算法模式合成高效程序”
• 2022-09-28【2022-09-30】SKLCS Seminar on “Stability analysis of time-delay systems”
• 2022-09-22【2022-09-22】SKLCS Seminar on”可信任的分布式隐私保护机器学习方法与应用”
• 2022-08-21【2022-08-26】SKLCS Seminar on”约束满足解的近线性时间采样算法”
• 2022-08-11【2022-08-19】SKLCS Seminar on “多项式优化：理论与实践”
• 2022-06-29[2022-07-01] Local Search for SMT on Linear Integer Arithmetic
• 2022-06-29[2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”
• 2022-03-01[2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
• 2021-12-21[2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu
• 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架构的逻辑综合和工艺映射方法