- 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
- Andre Nies: Prime numbers, factorisation, and algorithms
- Yinyu Ye: Online Market Design: Dynamic Equilibrium Pricing
- Guanghao Ye: Nested Dissection Meets IPMs: Fast Algorithms for Flows and LPs in Separable Graphs
- 2023 UESTC Algorithms and Logic Workshop
- 尹一通:计算采样的理论基础(Theoretical Foundations of Computational Sampling)
- Fang Kong: Bandit Learning with Side Information
- 曹皖林: 形式化技术及其应用
- Ton Kloks: Excluding a long double path minor
- Ton Kloks: Excluding a long double path minor
- Huairui Chu: FPT Approximation Using Treewidth
Weekly Seminars
- Alexander Zapryagaev: Presburger arithmetic and related theories
- Junqiang Peng: A Fast Algorithm for MaxSAT Above Half Number of Clauses
- Zihui Liang: Two new algorithms for solving Muller games and their applications
- Lu Liu: A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
- Yi Zhou: Recent advances in algorithms for k-plex problems
- Zile Jiang: Computing Better Approximate Pure Nash Equilibria in Cut Games via Semidefinite Programming
- Zihui Liang: Connectivity in the presence of an opponent
- Kangyi Tian: Parameterized Algorithms for Cluster Vertex Deletion on Degree-4 Graphs and General Graphs
- Haidong Yang: Topological network-control games
- Pengpeng Wang: 基于树割映射的网络健壮性增强算法
Other Seminars
- Bakhodyr 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
- Yi Zhou: Finding Large Relaxed Cliques: Theory and Practice
- AAAI2022约束求解与启发式算法相关论文报告
- Differential Evolution Algorithm for Global Optimization Problems
- A Quest for Hybrid SAT Solvers