• 2023-12-22【12-29】SKLCS seminar on “AIA：AI辅助算法设计的若干尝试”
• 2023-12-20【12-27】SKLCS seminar on “知识图谱的关键技术”
• 2023-12-01【12-11】SKLCS seminar on “An FPRAS for two terminal reliability in directed acyclic graphs”
• 2023-11-01【11-02】SKLCS Seminar on”概率递归关系尾概率的自动化分析”
• 2023-10-20【10-31】2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
• 2023-10-20【10-31】1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
• 2023-10-10【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”
• 2023-08-15【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”
• 2023-07-31【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)
• 2023-06-12【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”
• 2023-05-25【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”
• 2023-05-09【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”
• 2023-05-03【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”
• 2023-05-03【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”
• 2023-04-09【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”
• 2023-04-01【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“
• 2023-01-11【2022-09-06】SKLCS Seminar on”人工智能安全攻防对抗”
• 2022-12-04【2022-12-16】SKLCS Seminar on “Latticed k-Induction with an Application to Probabilistic Programs“
• 2022-12-01【2022-12-01】SKLCS Seminar on “智能数字服务生态系统演化支撑理论与应用“
• 2022-10-11【2022-10-14】SKLCS Seminar on “Optimization, Generalization and Implicit bias of Gradient Methods in Deep Learning“