() Time: 15:00-16:00 (Time in Beijing) November 22, 2023 (Thursday) Venue: Online, Tencent Meeting: 486-877-316 Abstract: Speaker Bio: Bakh Khoussainov，教授，新西兰院士，电子科技大学计算机学院全职教授（我国西部地区引进的第一位发达国家的院士），目前担任电子科技大学算法与逻辑团队主任。他长期从事理论计算机科学中计算与逻辑领域的研究工作，2005年被新西兰最顶尖权威的学术组织——新西兰皇家学会评选为新西兰皇家学会院士，被评价为“在逻辑与理论计算机科学领域的领先专家，工作涉及对可计算性和复杂性理论的深入和非常广泛的研究”。2019年获得德国洪堡研究奖，该奖项旨在授予在基础研究、理论创新、学科引领等方面上取得了卓越成就的研究者。同年他还获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号，该荣誉称号每两年仅授予一名最具杰出贡献的新西兰数学家（截至目前仅有包括美国工业与应用数学学会会士（SIAM Fellow）Hinke Osinga教授在内的5位研究者获此殊荣）。2017年他因其对于奇偶博弈问题的突出贡献荣获CCF A类会议ACM STOC 2017年最佳论文奖。他还曾获得新西兰数学学会研究奖，此奖项为新西兰数学领域最高奖，每年仅颁发给一名新西兰数学家，该奖项还曾颁发给包括美国数学学会会士G. Martin, R. Downey教授（AMS Fellow）, M. Conder教授（AMS Fellow）等优秀数学家。

Speaker: () Time: 20:00-21:00 (Time in Beijing) September 28, 2022 (Wednesday) Venue: Online, Tencent Meeting: 939-212-933 Abstract: Speaker Bio: 许超于2021年加入电子科技大学计算机科学与工程学院。现任算法与逻辑团队的助理教授。本科就读于美国纽约州立大学石溪分校数学系，于2018年在伊利诺伊大学香槟分校获得计算机博士学位。毕业后曾在多个科技和对冲基金公司担任研发科学家和软件工程师。研究方向为组合优化和算法的基础研究，相关工作发表于SODA, SICOMP, Mathematical Programming等算法和优化的知名会议和期刊。

Speaker: () Time: 15:00-16:00 (Time in Beijing) August 19, 2022 (Friday) Venue: Online, Tencent Meeting：662-155-517 Abstract: Speaker Bio: Chao Xu is currently an Assistant Professor at Algorithms and Logic Group in UESTC. He obtained a Ph.D. degree of Computer Science at UIUC in May 2018. He works in the field of combinatorial optimization and has […]

Speaker: () Time: 17:00-17:30 (Time in Beijing) August 16, 2022 (Tuesday) Venue: Online: https://live.bilibili.com/22051279 https://www.youtube.com/channel/UCkbCc-9vJXb4RZQA0wOPoTw/live Abstract: Speaker Bio: Chao Xu is currently an Assistant Professor at Algorithms and Logic Group in UESTC. He obtained a Ph.D. degree of Computer Science at UIUC in May 2018. He works in the area of combinatorial optimization, algorithms and […]

Speaker: () Time: 15:00-17:00 (Time in Beijing) August 10, 2022 (Wednesday) Venue: Abstract: Speaker Bio: 2008年在香港中文大学获得计算机博士学位之后进入电子科技大学工作，现在为电子科技大学计算机学院教授，副院长。主要从事算法分析与设计、机制设计与博弈论、人工智能中的基础算法理论等方向的研究，在Information and Computation、JCSS、Algorithmica、ACM/IEEE Trans.、ICALP、IJCAI、AAAI、WWW、INCOFOM等算法、人工智能领域顶级期刊和会议上发表论文超过100篇，撰写英文专著1部，主持（完成）国家自然科学基金项目5项。是参数算法和精确算法国内外知名的学者。

Speaker: Yi Zhou (University of Electronic Science and Technology of China) Host: Management School in Northwestern Polytechnical University Time: 19:00 (Time in Beijing) June 2, 2022 (Thursday) Venue: Online, Tencent Meeting: 969 244 436 Abstract: 松弛团指的是近似完全图的图结构，是图论和组合优化领域的经典模型。松弛团模型在数据挖掘，人工智能领域有着重要的应用，而如何从大规模的图中挖掘大型松弛团则是这类应用均需解决共性问题。在本次报告中，我们将从算法工程的角度来介绍松弛团挖掘问题的分析和求解。具体来说，我们将介绍松弛团问题的背景、应用并重点介绍基于分支算法的松弛团问题理论及实践。我们还将以k-plex，最密子图等松弛团为例，介绍这类问题的当前最新的优化结果。

Host: HCP (Workshop on Hard Computational Problems: Theory , Algorithms and Applications) Time: 13:00-19:00 (Time in Beijing) May 27, 2022 (Friday) Venue: Online, Tencent Meeting (ID: 267-356-071) Agenda: Title Authors Optimizing Binary Decision Diagrams with MaxSAT for  classification Hao Hu, Mohamed Siala, Marie-José Huguet Encoding Multi-valued Decision Diagram Constraints  as Binary Constraint Trees Ruiwei Wang, […]

Speaker: 王祖玲(杭州师范大学硕士研究生) Time: 19:30 – 20:30 (Time in Beijing) December 3, 2021 (Friday) Venue: 报告形式：线上会议 报告平台：腾讯会议（会议ID：335-281-241） Abstract: How to effectively solve the global optimization problem is always an inevitable problem in scientific research and engineering practice. Evolutionary algorithm is a random search algorithm based on population and independent of derivative, which can effectively solve complex […]

Speaker: 蔡少伟(中科院软件所研究员) Time: 2021年12月2日 15:00-16:30 – 09:15 – 16:40 (Time in Beijing) – December 2, 2021 (Thursday) Venue: 报告形式：线上会议 报告平台：腾讯会议（会议ID：169 500 126） Abstract: 命题逻辑可满足性问题（简称SAT）是第一个被证明为NP完全的问题，也是计算机科学的一个核心问题。SAT求解器在包括EDA，密码学，资源分配等多个实际场景中有重要应用。求解SAT的主要方法包括基于冲突学习的完备算法和基于局部搜索的不完备算法。SAT领域一个挑战就是如何结合两者优势设计高效混合算法。本报告将回顾作者在此方向的一些探索和结果。