-
Chao Xu: 可满足性相关问题公共字符检索算法
Speaker: 徐超 (长沙理工大学) Time: 10:00-11:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 可满足性问题是计算机领域的核心问题之一。实践中常常有些化简规则，即便是多项式时间内能完成，但当检测的时间复杂度超过了平方时间，程序内多次检测访问，仍然耗时严重。为此，针对消除公共字符的化简规则，基于哈希思想，本次给出了一种快速检测的算法，希望与大家共同研讨。 Speaker Bio: 徐超，中南大学博士，长沙理工大学计算机与通信工程学院讲师，主要从事可满足性相关相关问题优化算法研究，目前专注于可满足性相关问题理论算法与求解器应用的相关工作。
-
Pinyan Lu: 理论计算机
Speaker: () Time: 10:00-11:00 (Time in Beijing) July 7, 2022 (Thursday) Venue: 电子科技大学清水河校区宾诺咖啡 Abstract: Speaker Bio: 陆品燕，上海财经大学信息学院教授，理论计算机科学研究中心主任，国家级人才计划入选者。2009年1月于清华大学计算机系获博士学位后加入微软亚洲研究院，历任理论组副研究员，研究员，主管研究员。2015年12月全职加盟上海财经大学，领衔组建理论计算机科学研究中心（ITCS），经过四年多时间的建设，他的研究中心在CSRankings上算法与复杂性方向已经排到亚洲第一名、全球前十。他的主要研究方向是理论计算机，并注重与其它学科的交叉，在理论计算机的三大会议STOC/FOCS/SODA共发表论文29篇。荣获ICALP2007、FAW2010、ISAAC2010 等重要国际会议最佳论文奖。担任FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019等国际会议程序委员会联合主席，以及多次担任STOC，FOCS，SODA等顶级国际会议的程序委员会委员。曾荣获ACM杰出科学家奖（2019）、第八届世界华人数学家大会ICCM数学奖（原晨兴数学奖）银奖（2019）、中国计算机学会青年科学家（2014）、微软学者（2008）、清华大学特等奖学金（2007）等荣誉。
-
Hua Jiang: 命题最大可满足性与最大团问题精确求解
Speaker: () Time: 19:00-21:00 (Time in Beijing) June 23, 2022 (Thursday) Venue: Abstract: Speaker Bio: 江华，云南大学软件学院副教授，华中科技大学计算机软件与理论专业博士，法国亚眠大学博士后，中国计算机学会理论计算机专委会专委。主要研究方向为组合优化问题的精确求解与启发式优化算法。在经典NP难问题—最大团问题精确求解算法设计上，基于MaxSAT推理的技术路线，先后提出多项性能处于国际领先水平的精确求解算法;相关成果在IJCAI、AAAI、JOC等国际会议和期刊上发表。主持国家自科基金地区项目一项。
-
Taiki TODO: Algorithmic Mechanism Design
Speaker: () Time: Part I：The Basics of Mechanism Design and Auction Theory 13:30-16:30 (Time in Beijing) 18:30-21:30 (Time in Auckland) June 20, 2022 (Monday) Part II：Designing Matching Mechanisms for One-Sided/Two-Sided Markets 13:30-16:30 (Time in Beijing) 18:30-21:30 (Time in Auckland) June 24, 2022 (Monday) Part III：Designing Voting Rules 13:30-16:30 (Time in Beijing) 18:30-21:30 (Time in Auckland) […]
-
Dong Hao: 基于社交网络的拍卖机制设计的相关问题
Speaker: () Time: 16:55-17:50 (Time in Beijing) 21:55-22:50 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract:
-
Dengji Zhao: Mechanism Design Powered by Social Interactions
Speaker: () Time: 16:00-16:55 (Time in Beijing) 21:00-21:55 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract:
-
Jiamou Liu: Private data query systems and data pricing
Speaker: () Time: 14:55-15:50 (Time in Beijing) 19:55-20:50 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract:
-
Xiao Liu: The Consistency of Rationality Measurement
Speaker: () Time: 14:00-14:55 (Time in Beijing) 19:00-19:55 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract:
-
Xiaohui Bei: Truthful Cake Sharing
Speaker: () Time: 11:15-12:00 (Time in Beijing) 16:15-17:00 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract:
-
Minming Li: Fair Scheduling for Time-dependent Resources
Speaker: () Time: 10:20-11:15 (Time in Beijing) 15:20-16:20 (Time in Auckland) June 13, 2022 (Monday) Venue: Abstract: