Conference Programme
| GMT+8 | Session | August 16th / Monday |
|---|---|---|
| 8:30 - 9:30 | Opening Ceremony | |
| 9:30 - 10:30 | Keynote Speech | Xi Chen: Recent developments in property testing of Boolean functions |
| 10:30 - 11:00 | Tea Break | |
| 11:00 - 12:00 | Keynote Speech | Yijia Chen: AC^0 circuits, first-order logic, and well-structured graphs |
| 12:00 - 13:30 | Lunch Time | |
| 13:30 - 14:00 | Algorithmic Game Theory | Hu Fu: Learning Utilities and Equilibria in Non-Truthful Auctions. |
| 14:00 - 14:30 | Algorithmic Game Theory | Zhigang Cao: Abstract Market Games with Gross Substitutes/Complements |
| 14:30 - 15:00 | Algorithmic Game Theory | Ye Du: Strongly Robust Exotic Option Pricing Via No-Regret Learning |
| 15:00 - 15:30 | Algorithmic Game Theory | Changjun Wang: Assortment Games under Markov Chain Choice Model |
| 15:30 - 16:00 | Tea Break | |
| 16:00 - 17:00 | Industry Forum: Ruohan Qian, Kaijiang Chen, Hui Li, Zhihua Zhu, and Lilin Sun | |
| 17:00 - 17:30 | Break | |
| 17:30 - 18:30 | Dinner Time | |
| 18:30 - 19:00 | Break | |
| 19:00 - 19:30 | Women in EconCS | Shuran Zheng: Optimal Advertising for Information Products |
| 19:30 - 20:00 | Women in EconCS | Jingyan Wang: Debiasing Evaluations That Are Biased by Evaluations |
| 20:00 - 20:30 | Women in EconCS | Xintong Wang: Designing a Combinatorial Financial Options Market |
| 20:30 - 21:30 | Women in EconCS | Panel ---- Yuqing Kong, Jingyan Wang, Xintong Wang, Jialin Zhang, and Shuran Zheng |
| 21:30 - 22:00 | Young PhD Forum | Zehao Dou: Making Method of Moments Great Again? -- How can GANs learn distributions |
| 22:00 - 22:30 | Young PhD Forum | Juntao Wang: Cursed yet Satisfied Agents |
| 22:30 - 23:00 | Young PhD Forum | Zhe Feng: Convergence Analysis of No-Regret Bidding Algorithms in Repeated Auctions |
| GMT+8 | Session | August 17th / Tuesday |
|---|---|---|
| 9:00 - 9:30 | Multi-agent Learning, Multi-agent System, Multi-agent Games |
Zhiqiang Pu: Integrating knowledge-based and data-driven paradigms for collective intelligence decision making: algorithms and experiments |
| 9:30 - 10:00 | Multi-agent Learning, Multi-agent System, Multi-agent Games |
Ying Wen: MALib: A Parallel Framework for Population-based Multi-agent Reinforcement Learning |
| 10:00 - 10:30 | Multi-agent Learning, Multi-agent System, Multi-agent Games |
Chao Yu: Reinforcement Learning for Incomplete Information Games |
| 10:30 - 11:00 | Tea Break | |
| 11:00 - 11:30 | Game Theory in Blockchain | Xu Wang: Framework and algorithms for identifying honest blocks in blockchain |
| 11:30 - 12:00 | Young PhD Forum | Kuan Yang: Counting solutions to random CNF formulas |
| 12:00 - 13:30 | Lunch Time | |
| 13:30 - 14:00 | Quantum Computing | 孙麓岩: 基于玻色模式的量子纠错与容错 |
| 14:00 - 14:30 | Quantum Computing | Dongling Deng: Quantum Artificial Intelligence — The Recent Advances |
| 14:30 - 15:00 | Quantum Computing / Young faculty in TCS at CFCS | Xiao Yuan: Perturbative quantum simulation |
| 15:00 - 15:30 | Quantum Computing / Young faculty in TCS at CFCS | Tongyang Li: Quantum Algorithms for Semidefinite Programs with Applications to Machine Learning |
| 15:30 - 16:00 | Tea Break | |
| 16:00 - 16:30 | Young faculty in TCS at CFCS | Shaofeng Jiang: Streaming Algorithms for Geometric Steiner Forest |
| 16:30 - 17:00 | Young faculty in TCS at CFCS | Kuan Cheng: Efficient Document Exchange and Error Correcting Codes with Asymmetric Information |
| 17:00 - 17:30 | Young faculty in TCS at CFCS | Yuqing Kong: Optimizing Multi-task Peer Prediction |
| 17:30 - 18:30 | Dinner Time | |
| 18:30 - 19:00 | Machine Learning and Formal Methods | Youcheng Sun: Explaining Deep Neural Networks using Statistical Fault Localization |
| 19:00 - 19:30 | Machine Learning and Formal Methods | Chao Huang: Safety Verification of Neural-Network Controlled Systems |
| 19:30 - 20:00 | Machine Learning and Formal Methods | Cheng-chao Huang: Robustness Analysis for DNNs from the Perspective of Model Learning |
| 20:00 - 20:30 | Machine Learning and Formal Methods | Fu Song: BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks |
| 20:30 - 21:30 | Machine Learning and Formal Methods | Holger Hermanns: Model-based Digital Engineering and Verification of Intelligent Systems |
| 21:30 - 22:00 | Learning Theory | Simon S. Du: Provable Representation Learning |
| 22:00 - 22:30 | Learning Theory | Lin Yang: Settling the Horizon-Dependence of Sample Complexity in Reinforcement Learning |
| 22:30 - 23:00 | Learning Theory | Chi Jin: The Power of Exploiter: Provable Multi-Agent RL in Large State Spaces |
| GMT+8 | Session | August 18th / Wednesday |
|---|---|---|
| 9:00 - 10:00 | Keynote Speech | Manuel Blum and Lenore Blum: Insights from the Conscious Turing Machine |
| 10:00 - 10:30 | Conscious Turing Machine | Rui Ding and Lingxiao Zheng: Mathematical Foundations of CTM |
| 10:30 - 11:00 | Conscious Turing Machine | Lan Lyu, Chang Ma and Bowen Su: Doorway CTM: Explaning forgetting via Conscious Turing Machine |
| 11:00 - 11:30 | Conscious Turing Machine | Shuchen Li: MusiCTM: On Music Composing by CTM |
| 11:30 - 12:00 | Young PhD Forum | Zongchen Chen: Optimal Mixing of Glauber Dynamics via Spectral Independence Approach |
| 12:00 - 13:30 | Lunch Time | |
| 13:30 - 14:00 | Undergraduate Research Forum | Weiqiang Zheng: The Smoothed Complexity of Computing Kemeny and Slater Rankings |
| 14:00 - 14:30 | Undergraduate Research Forum | Xin Lyu: Inverse-Exponential Correlation Bounds and Extremely Rigid Matrices from a New Derandomized XOR Lemma |
| 14:30 - 15:00 | Undergraduate Research Forum | Chenkai Yu: Timely Information from Prediction Markets |
| 15:00 - 15:30 | Undergraduate Research Forum | Jinzhao Wu: Random Order Vertex Arrival Contention Resolution Schemes For Matching, With Applications |
| 15:30 - 16:00 | Undergraduate Research Forum | Zhihuan Huang: Maximizing Surprise with a Bonus |
| 16:00 - 16:30 | Undergraduate Research Forum | Jiaqi Yang: Recent Progress on Bandits and RL with Nonlinear Function Approximation |
| 16:30 - 17:00 | Undergraduate Research Forum | Zixin Zhou: Optimal Multi-Dimensional Mechanisms are not Local |
| 17:00 - 17:30 | Undergraduate Research Forum | Hanlin Ren: Faster algorithms for distance sensitivity oracles |
| 17:30 - 18:30 | Dinner Time | |
| 18:30 - 19:00 | Break |
|
| 19:00 - 20:00 | The 15th Frontiers of Algorithmics Workshop - Keynote Speech | Yitong Yin: Fast sampling constraint satisfaction solutions via the Lovász local lemma |
| 20:00 - 21:00 | The 15th Frontiers of Algorithmics Workshop - Keynote Speech | Shi Li: Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions |
| 21:00 - 21:30 | The 15th Frontiers of Algorithmics Workshop | Manolis Vasilakis: Faster Algorithms for k-Subset Sum and Variations |
| 21:30 - 22:00 | The 15th Frontiers of Algorithmics Workshop | Mingyang Gong: Improved approximation algorithms for multiprocessor scheduling with testing |
| 22:00 - 22:30 | The 15th Frontiers of Algorithmics Workshop | Yong Chen: Approximation algorithms for the directed path partition problems |
| 22:30 - 23:00 | The 15th Frontiers of Algorithmics Workshop | Liangde Tao: Hardness and Algorithms for Electoral Manipulation under Media Influence |
