• [07-24］：北太天元，逆数而行 2026-07-21
• [07-07］Scalable Current-State Estimation of Discrete-Timed Automata 2026-07-06
• [06-02］AID: 从计算机辅助设计到人工智能引导设计 2026-06-01
• [05-26］空间认知增强的具身导航与操作 2026-05-25
• [05-25］AI-物理联合驱动的大气海洋环境建模技术 2026-05-22
• [05-21］低轨星座通导感算融合空间网络架构、发展及实践 2026-05-20
• [04-14］KLSS Seminar on “开源智能EDA（iEDA & AiEDA） 2026-04-13
• [03-24］KLSS Workshop on Automated Formal Verification 2026-03-20
• [03-19］高效时序预测：从数值模式到文本语义 2026-03-17
• [03-13］Mission Planning and Scheduling for Agile Earth Observation Satellites:Challenges and Optimization Approaches 2026-03-12
• [03-10］地缘环境系统演变机制与风险预警 2026-03-09
• [03-05］多架构建模语言研发与航天领域应用 2026-03-04
• [02-27］Stateful Differential Operators for Incremental Computing 2026-02-25
• ［12-8］大模型的社会科学--领域结构的识别与分析 2025-12-05
• ［11-27］超越“工具理性”：大语言模型如何重塑我们应对疫情复杂性的管理决策新范式 2025-11-25
• ［11-12］多模态黎曼几何学习关键技术 2025-11-11
• 【11-10】SKLCS Seminar on "Local Search for Clustering in Almost-linear Time" 2025-11-07
• ［10-28］低轨大规模星座组网与运行控制关键技术 2025-10-28
• 【09-09】Workshop on SAT/SMT and Model Checking 2025-08-28
• 【08-08】市政环卫服务机器人研发与产业运营实践 2025-08-08