-
Zeyu Zhang: RSGNN: A Model-agnostic Approach for Enhancing the Robustness of Signed Graph Neural Networks
Speaker: 张泽宇 (奥克兰大学) Time: 16:20-17:20 (Time in Beijing) April 28, 2023 (Friday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: Signed graphs model complex relations using both positive and negative edges. Signed graph neural networks (SGNN) are powerful tools to analyze signed graphs. We address the vulnerability of SGNN to potential edge noise in the input graph. Our goal is […]
-
Zhanghua Fu: 多机器人协同调度以及运筹优化方法的产业化应用
Speaker: 付樟华 (香港中文大学深圳) Time: 15:00-16:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 产业界（工厂、仓储、港口、矿山、物流等）面临大量复杂的运筹优化问题，如何高效地解决这些问题，是相关企业的核心能力之一。然而，实际业务一般非常复杂，而且随着时间迅速变化，数据收集也往往相当困难，且存在误差。因此，学术界常用的优化方法往往难以直接应用于产业界。如何跨越学术研究与产业应用之间的鸿沟，成为许多运筹优化研究者所面临的问题。 Speaker Bio: 付樟华，本硕博均毕业于华中科技大学，2012年至2015年留学法国从事博士后研究。2015年回国后担任香港中文大学（深圳）以及深圳市人工智能与机器人研究院研究员，主要从事人工智能与机器人相关研究。曾于2014年12月夺得运筹优化领域著名的国际竞赛-第11届DIMACS国际算法设计大赛的冠军（华人首冠）。2016年入选深圳市“孔雀计划”海外高层次人才。2022年参与华为珠峰计划，帮助华为解决实际业务中的核心难题，获得华为颁发的“难题火花奖”。目前专注于机器人及人工智能领域相关产业化工作，已服务近十家行业龙头企业。
-
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: