• 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”2023-06-12
• 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”2023-05-25
• 【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”2023-05-09
• 【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”2023-05-03
• 【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”2023-05-03
• 【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”2023-04-09
• 【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“2023-04-01
• 【2022-09-06】SKLCS Seminar on”人工智能安全攻防对抗”2023-01-11
• 【2022-12-16】SKLCS Seminar on “Latticed k-Induction with an Application to Probabilistic Programs“2022-12-04
• 【2022-12-01】SKLCS Seminar on “智能数字服务生态系统演化支撑理论与应用“2022-12-01
• 【2022-10-14】SKLCS Seminar on “Optimization, Generalization and Implicit bias of Gradient Methods in Deep Learning“2022-10-11
• 【2022-10-7】SKLCS Seminar on “基于算法模式合成高效程序”2022-10-01
• 【2022-09-30】SKLCS Seminar on “Stability analysis of time-delay systems”2022-09-28
• 【2022-09-22】SKLCS Seminar on”可信任的分布式隐私保护机器学习方法与应用”2022-09-22
• 【2022-08-26】SKLCS Seminar on”约束满足解的近线性时间采样算法”2022-08-21
• 【2022-08-19】SKLCS Seminar on “多项式优化：理论与实践”2022-08-11
• [2022-07-01] Local Search for SMT on Linear Integer Arithmetic2022-06-29
• [2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”2022-06-29
• [2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time2022-03-01
• 2022年开放课题申请工作正式开始2021-12-27