- Chengdu A&L Seminars: A series of monthly held seminars organized by our group. We invite experts to report on a broad range of topics related to theoretical computer science.
- Weekly Seminars: A series of seminars that are held weekly. It is often arranged as an open discussion.
- Other Seminars: We also provide information of some related seminars, some of which may be held by other organizers.
Chengdu A&L Seminars
- Jie Xue: Fine-Grained Bounds for Courcelle’s Theorem
- Wenfei Fan: Beyond LLMs: A Multi-Paradigm AI Approach
- Ce Jin: New Algorithms for Pigeonhole Equal Subset Sum
- 蔡少伟: SAT与EDA形式化验证
- Tian Bai: A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset Feedback Arc Set in Tournaments
- Sk Samim Islam: Multipacking in Graphs: Hardness Results and Approximation Algorithms on Graph Subclasses
- Yiding Feng: Calibration and Decision Making:An Information Design Perspective
- Yibin Zhao: Closing the Gap Between Undirected and Eulerian Spectral Sparsification
- Angsheng Li: 谋算智能：模型、原理与方法
- Zhiyi Huang: Optimal 4-Approximation for the Correlated Pandora’s Problem
Weekly Seminars
- Yike Chen: Discrete Unimodal-Cost p-Median on a Line.
- Kangyi Tian: Representative Family and Its Applications
- Yiping Liu: A Reduction-Driven Local Search for the Generalized Independent Set Problem
- Chao Xu: AI-Assisted Mathematics in Practice: Tools, Workflows, and a Case Study
- Xiaoyang Gong: Maltsev Constraints are tractable
- Xinyao Wang: A journey through constraint satisfication problem.
- Xiaoyang Gong: Word structures and their automatic presentations
- Yike Chen: An Optimal Algorithm for the Stacker Crane Problem on Fixed Topologies
- Chunyu Luo: A Faster Branching Algorithm for the Maximum $k$-Defective Clique Problem
- Toru Takisaka: Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Other Seminars
- Chao Xu: An Optimal Algorithm for the Stacker Crane Problem on Fixed Topologies
- Bakh Khoussainov: Deciding Regular Games: A Playground for Exponential Time Algorithms
- 肖鸣宇: 智能决策中的打分融合问题/ Score Aggregation in Intelligent Decision-Making
- 肖鸣宇: 图多路分割问题的快速精确算法
- Bakh Khoussainov: On Finitely Presented Expansions of Semigroups, Groups, and Algebras
- Claire Hanen: Fixed Parameter Tractability of scheduling dependent typed tasks with time windows
- Chao Xu: 自动化仓储系统的调度问题
- Chao Xu: Minimum Violation Vertex Maps and Their Applications to Cut Problems
- Chao Xu: A polynomial time algorithm for submodular 4-partition
- Mingyu Xiao: Solving hard problems with theoretical guarantee