International Joint Conference On Theoretical Computer Science

August 16-20, 2021, Peking University, Beijing

 

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 WangDebiasing 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 HuangRobustness 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 LiTight 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






GMT+8 Session August 19th / Thursday
9:00 - 10:00 Keynote Speech Wei Chen: Optimization from Structured Samples - An Effective Approach for Data-driven Optimization
10:00 - 11:00 Keynote Speech Jing Chen: Speculative Smart Contracts
11:00 - 11:30 Game Theory in Blockchain Artem Barger: Enabling an alternative trust model with Blockchain DB
11:30 - 12:00 Game Theory in Blockchain Georgios Piliouras: Dynamical Analysis of the EIP-1559 Ethereum Fee Market
12:00 - 13:30
Lunch Time
13:30 - 14:00 Game Theory in Blockchain Bo Li: Maximal Information Propagation via Lotteries
14:00 - 14:30 Game Theory in Blockchain Hubert Chan: Sublinear-Round Byzantine Agreement under Corrupt Majority
14:30 - 15:00 Game Theory in Blockchain Chenhao Wang: Pool Block Withholding Attack with Rational Miners
15:00 - 15:30 Game Theory in Blockchain Yukun Cheng: Evolutionary Equilibrium Analysis for Decision on Block Size in Blockchain Systems
15:30 - 16:00 Young PhD Forum Jiaheng Zhang: Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation
16:00 - 16:30 Young PhD Forum Peixin Wang: Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
16:30 - 17:00 Young PhD Forum Xinhang Lu: Maximin Fairness with Mixed Divisible and Indivisible Goods
17:00 - 17:30 Young PhD Forum Chao Liao: Almost Tight Approximation Hardness for k-DST
17:30 - 18:00
Dinner Time
18:00 - 19:00
Close-door Meeting
19:00 - 19:30 Game Theory in Blockchain Yuncheng Qiao: Block-CES: Multi-institution collaborative credit evaluation system based on blockchain
19:30 - 20:00 Game Theory in Blockchain Zhengtang FuAn intelligent electric vehicle charging system for new energy companies based on consortium blockchain
20:00 - 20:30 Multi-agent Learning, Multi-agent System, Multi-agent Games Yaodong Yang: Dealing with Non-transitivity in Two-player Zero-sum Games
20:30 - 21:00 EconCS    Shengxin Liu: Candidate Selections with Proportional Fairness Constraints
21:00 - 21:30 EconCS      Simina Brânzei: Multiplayer bandit learning, from competition to cooperation
21:30 - 22:00 EconCS      Jugal Garg: Fair division of indivisible goods
22:00 - 22:30 EconCS      Grant Schoenebeck: Eliciting Expert Information without Verification
22:30 - 23:00
     Closing Ceremony