论坛日程

2022年9月24日（星期六）上午
时间	报告人	报告题目	单位	导师	主持人	会场
8:30-8:45	开幕式：1.CCF TCS专委会主任孙晓明研究员致辞 2.山东省科技厅重大专项办公室主任王洪国教授致辞 3.山东大学计算机学院院长成秀珍教授致辞				成秀珍	线上会议：
每场报告40分钟（建议35分钟报告，5分钟问答）
8:45-9:25	邱国良	A Perfect Sampler for Hypergraph Independent Sets	上海交通大学	张驰豪	孙晓明
9:25-10:05	胡群	Stability of Decentralized Queueing Network ——Beyond Complete Bipartite Cases	上海财经大学	陆品燕	孙晓明
10:05-10:45	许晨阳	Mechanism Design with Predictions	浙江大学	张国川	夏盟佶
10:45-11:25	高巾捷	On the covering radius of binary Reed-Muller codes	复旦大学	阚海斌
11:25-12:05	王盛铧	On t-perfect graphs	香港理工大学	操宜新
12:05-14:00 午休
2022年9月24日（星期六）下午
时间	报告人	报告题目	单位	导师	主持人	会场
每场报告40分钟（建议35分钟报告，5分钟问答）						线上会议：
14:00-14:40	刘莹	The Exponential Time Complexity of Boolean counting Constraint Satisfaction problem	中国科学院大学，中国科学院软件研究所	夏盟佶	操宜新
14:40-15:20	陈小羽	Field Dynamics: A New Algorithmic Tool for Fast Gibbs Sampling without Degree Restriction	南京大学	尹一通
15:20-16:00	曹良林	Research on Key Technologies of Software Defect Prediction Based on Swarm Intelligence Algorithm	海军工程大学	贲可荣
16:00-16:40	周建荣	A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem	华中科技大学	何琨
16:40-17:40	理论计算机博士生求职分享论坛：贝小辉华为理论计算机实验室首席研究员尹强上海交通大学助教教授左淞 Google Staff Research Scientist 单小涵启元研究院研究员刘明谋哥本哈根大学BARC实验室博士后				张家琳陈昱蓉

2022年9月25日（星期日）上午
时间	报告人	报告题目	单位	导师	主持人	会场
每场报告40分钟（建议35分钟报告，5分钟问答）						线上会议：
8:30-9:10	陈昱蓉	Learning to Manipulate a Commitment Optimizer	北京大学	邓小铁	周桐庆
9:10-9:50	刘强	Opportunistic Backdoor Attacks: Exploring Human-imperceptible Vulnerabilities on Speech Recognition Systems	国防科技大学	蔡志平
9:50-10:30	杨帅	Asymptotically Optimal Circuit Depth for Quantum State Preparation and General Unitary Synthesis	中国科学院计算技术研究所	张家琳
10:30-11:10	赵景阳	Approximation Algorithms for the Traveling Tournament Problem	电子科技大学	肖鸣宇	张驰豪
11:10-11:50	李甜甜	Sorting Strings by Flanked Block-Interchanges	山东大学	朱大铭	张驰豪
11:50-14:00 午休
2022年9月25日（星期日）下午
时间	报告人	报告题目	单位	导师	主持人	会场
每场报告30分钟（建议25分钟报告，5分钟问答）						线上会议：
14:00-14:30	王思为	复杂大规模多视图理论和算法研究	国防科技大学	祝恩	崔学峰
14:30-15:00	张双俊	Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs	复旦大学	阚海斌
15:00-15:30	王力冠	A New Construction of Simulation-Extractable SNARKs	复旦大学	阚海斌
15:30-16:00	周建奇	Parameterized Approximation Algorithms for TSP	山东大学	郭炅	阚海斌
16:00-16:30	张烜	CoAtGIN: Marrying Convolution and Attention for Graph-based Molecule Property Prediction	山东大学	崔学峰
16:30-17:00	仝心	Decision Algorithms and Complexity for Sorting by Symmetric Reversals	山东大学	姜海涛

微信扫一扫：分享