Invited Speakers

Track A (Algorithmic Game Theory)

• EFX under Budget Constraint ---- Sijia Dai (Chinese Academy of Sciences)

• Verifiable Crowd Computing: Coping with Bounded Rationality ---- Lu Dong (Pace University)

• Two-Facility Location Games with Distance Requirement ---- Ling Gai (Donghua University)

• Practical Fixed-Parameter Algorithms for Defending Active Directory Style ---- Mingyu Guo (University of Adelaide)

• Optimally Integrating Ad Auction into E-Commerce Platforms ---- Weian Li (Peking University)

• Constrained Heterogeneous Two-facility Location Games with Max-variant Cost ---- Qi Zhao (Ocean University of China)

Track B (Game Theory in Blockchain)

• Keynote: How Crypto, Stablecoins, CBDCs and Web3 Will Reshape Competition ---- Christian Catalini (MIT Cryptoeconomics Lab and Research Scientist, MIT)

• FileInsurer: A Scalable and Reliable Protocol for Decentralized File Storage in Blockchain ---- Hongyin Chen (Peking University)

• Markets for Crypto Tokens, and Security under Proof of Stake ---- Ravi Jagadeesan (Stanford University)

• Eliciting Information without Verification ---- Yuqing Kong (Peking University)

• EIP-1559: Chaos and Efficiency in Ethereum's Transaction Fee Market ---- Stefanos Leonardos (King's College London)

• Token Design and Economic Incentives ---- Ye Li (University of Washington)

• Insightful Mining Equilibria ---- Mengqian Zhang (Shanghai Jiao Tong University)

• A Rational Protocol Treatment of 51% Attacks ---- Vassilis Zikas (Purdue University)

Track C (Multi-agent Learning, Multi-agent System, Multi-agent Games)

• A brief introduction to convergence analysis of reinforcement learning algorithms ---- Xingguo Chen (Nanjing University of Posts and Telecommunications)

• Decision Structure in Decentralized Multi-Agent Learning ---- Yali Du (King’s College London)

• Reverse Engineering Human Cooperation and Cultural Evolution ---- Joel Z Leibo (DeepMind)

• A Continuum of Solutions to Cooperative Multi-Agent Reinforcement Learning ---- Yaodong Yang (Peking University)

Track D (Learning Theory)

• Unified Theory of Explaining Heuristic Findings in Attribution, Robustness, Generalization, Visual Features in a DNN ---- Quanshi Zhang, Huiqi Deng (Shanghai Jiaotong University)

• More Than a Toy: Random Matrix Models Predict How Real-World Neural Representations Generalize ---- Wei Hu (UC Berkeley)

• Demystifying (Deep) Reinforcement Learning with Optimism and Pessimism---- Zhaoran Wang (Northwestern University)

Track E (Quantum Computing)

• Quantum Adiabatic Theorem Revisited ---- Runyao Duan (Baidu Research)

• Winning Mastermind Overwhelmingly on Quantum Computers ---- Lvzhou Li (Sun Yat-Sen University)

• Optimal quantum circuit constructions for quantum state preparation and general unitary synthesis ---- Shengyu Zhang (Tencent)

• Numerical Framework for Finite-size Security of Quantum Cryptography ---- Hongyi Zhou (Chinese Academy of Sciences)

Track F (Machine Learning and Formal Method)

• QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks ---- Yedi Zhang (ShanghaiTech University)

• Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models ---- Jingyi Wang (Zhejiang University)

• Adaptive Fairness Improvement based on Causality Analysis ---- Mengdi Zhang (Singapore Management University)

• Robustness Analysis for DNNs from the Perspective of Model Learning ---- Pengfei Yang (Chinese Academy of Sciences)

Track G (The 16th Conference on Frontiers of Algorithmic Wisdom)

Keynote Speaker

• Voronoi diagrams in the presence of obstacles ---- Hee-Kap Ahn (Pohang University of Science and Technology)

• Recent progress in online matching ---- Zhiyi Huang (University of Hong Kong)

Track H (EconCS)

Accepted Papers

• A Mechanism Design Approach for Multi-Party Machine Learning

• Budget-Feasible Sybil-Proof Mechanisms for Crowdsensing

• Possible and Necessary Winner Problems in Iterative Elections with Multiple Rules

Invited Speakers

• Truthful Cake Sharing ---- Xinhang Lu (University of New South Wales)

• An Efficient Algorithm for Approximating Nash Equilibrium in Zero-sum Imperfect-information Games ---- Ying Wen (Shanghai Jiao Tong University)

• Escaping Saddle Points: from Agent-based Models to Stochastic Gradient Descent ---- Fang-Yi Yu (George Mason University)

Track I (Conscious AI)

• Brainish: Formalizing A Multimodal Language for Intelligence and Consciousness ---- Paul Liang (Carnegie Mellon University)

Undergraduate Research Forum

• Nash Convergence of Mean-Based Learning Algorithms in First Price Auctions ---- Xinyan Hu (Peking University)

• Towards Data Efficiency in Offline Reinforcement Learning ---- Baihe Huang (Peking University)

• Characterizing Parametric and Convergence Stability in Nonconvex Nonsmooth Optimization ---- Hanyu Li (Peking University)

• Your Transformer May Not be as Powerful as You Expect ---- Shanda Li (Peking University)

• On the Feasibility of Unclonable Encryption, and More ---- Xingjian Li (Tsinghua University)

• Element Distinctness, Birthday Paradox, and 1-out Pseudorandom Graphs ---- Hongxun Wu (Tsinghua University)

Female Forum

• A Faster Interior-Point Method for Sum-of-Squares Optimization ---- Shunhua Jiang (Columbia University)

• Quantum Copy Protection and Unclonable Cryptography ---- Jiahui Liu (UT Austin)

• Graph limits and graph homomorphism inequalities ---- Fan Wei (Princeton University)

• Hardness Results for Weaver’s Discrepancy Problem ---- Peng Zhang (Rutgers University)

Young PhD Forum

• Optimal Private Payoff Manipulation against Commitment in Extensive-form Games ---- Yurong Chen (Peking University)

• Multiwinner Voting Using Favorite-Candidate Rule ---- Zeyu Ren (Renmin University of China)

• The Power of Multiple Choices in Online Stochastic Matching ---- Xinkai Shu (University of Hong Kong)

• Beyond Characteristic Function Method to Get Exponential Concentration Bound ---- Zhide Wei (Peking University)

• Optimal Rates of (Locally) Differentially Private Heavy-tailed Multi-Armed Bandits ---- Yulian Wu (KAUST)

Young Faculty in TCS

• Graphical Resource Allocation with Matching-Induced Utilities ---- Bo Li (Hong Kong Polytechnic University)

• An Optimal Separation between Two Property Testing Models for Bounded Degree Directed Graphs ---- Pan Peng (University of Science and Technology of China)

• Ordinal Approximation Algorithms for MMS Allocation of Chores ---- Xiaowei Wu (University of Macau )

• The Power of Uniform Sampling for Coresets ---- Xuan Wu (Huawei TCS Lab )

• A polynomial time algorithm for submodular 4-partition ---- Chao Xu (University of Electronic Science and Technology of China )

• Survivable Network Design: Group-Connectivity ---- Yuhao Zhang (Shanghai Jiao Tong University )

CSIAM Forum

• Blockchain-Based Private Provable Data Possession ---- Huaqun Wang (Nanjing University of Posts and Telecommunications)

• DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components ---- Jiangshan Yu (Monash University)