- 2026-06-09庆祝计算机建系40周年暨信息科学学术论坛系列报告（九）——生成式连续空间优化：离散组合特征工程的统一…
- 2026-06-09庆祝计算机建系40周年暨信息科学学术论坛系列报告（八）——意图与结构之间：从表格特征转换到 LLM Agent…
- 2026-06-09庆祝计算机建系40周年暨信息科学学术论坛系列报告（七）——深层局部搜索方法在核心化算法中的运用
- 2026-06-03庆祝计算机建系40周年暨信息科学学术论坛系列报告（六）——3D基因组分析方法和数据资源库
- 2026-05-23庆祝计算机建系40周年暨信息科学学术论坛系列报告（五）——Parameterized Algorithms for the Spanning …
- 2026-05-18庆祝计算机建系40周年暨信息科学学术论坛系列报告（四）——Pricing with a hidden sample
- 2026-04-13庆祝计算机建系40周年暨信息科学学术研讨会（一）——Seminar on Frontiers in Automated Reasoning
- 2026-04-10庆祝计算机建系40周年暨信息科学学术论坛系列报告（三）——Knowledge Representation and its Applicati…
- 2026-04-09庆祝计算机建系40周年暨信息科学学术论坛系列报告（二）——Introduction of Boolean Satisfiability Pro…
- 2026-04-072026年信息科学学术论坛（一）——Hybrid Computing: Bridging DiverseArchitectures for Smarter System…
- 2025-12-052025年信息科学学术论坛（二十二）——Constant approximation for Nash SocialWelfare under additive v…
- 2025-12-022025年信息科学学术论坛（二十一）——精确高效的抽象解释技术研究
- 2025-12-012025年信息科学学术论坛（二十）——简单博弈问题的算法与复杂性
- 2025-11-182025年信息科学学术论坛（十九）——混合整数规划求解器发展与思考
- 2025-10-272025年信息科学学术论坛（十八）——基于SAT的EDA形式化技术简述
- 2025-10-222025年信息科学学术论坛（十七）——The Future of Statistics, Statisticians, and Statistical Educati…
