Seminars

Weili (Lily) Wu: The Art of Big Data: Accomplishments and Research Needs

Boting Yang: On the One-Visibility Cops and Robber Game

Qingyun Chen: Survivable Network Design Revisited: Group-Connectivity

Toru Takisaka: Lexicographic Ranking Supermartingales with Lazy Lower Bounds

Andre Nies: Prime numbers, factorisation, and algorithms

Alexander Zapryagaev: Presburger arithmetic and related theories

Junqiang Peng: A Fast Algorithm for MaxSAT Above Half Number of Clauses

Yinyu Ye: Online Market Design: Dynamic Equilibrium Pricing

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