- 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…
- 2025-10-192025年信息科学学术论坛（十六）——How to Publish High-Quality Papers
- 2025-10-162025年信息科学学术论坛（十五）——On the Optimal Combination of Elliptically Distributed Biomarker…
- 2025-10-152025年信息科学学术论坛（十四）——Data and Its Effect on Statistics
- 2025-09-102025年信息科学学术论坛（十三）——Maximum Cohesive Subgraph Search Algorithms
- 2025-07-212025年信息科学学术论坛（十二）——Efficient Abductive Explanations for Tree Ensembles: From Struct…
- 2025-07-212025年信息科学学术论坛（十一）——Preprocessing Techniques for Model Counting: From Logical Equiva…
