Algorithms and Logic Group

Category: Chengdu A&L Seminars

  • 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:

  • Some New Directions in Online Structure Theory

    Speaker: Rod Downey(professor in Victoria University of Wellington) Time: 10:00-11:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) December 10, 2021 (Friday) Venue: B1-518B, Research Building 4 Abstract: I will report on some recent research giving a general framework for algorithmics on online structures. Currently there are many algorithms and no theoretical basis for this area.…