Speaker: () Time: 11:00-11:40 PT July 17, 2024 (Wednesday) Venue: Calvin Lab Auditorium @ University of California, Berkeley Online：Youtube Host： Simons Institute for the Theory of Computing 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: 10:40-11:20 (Time in Beijing) August 10, 2024 (Saturday) Venue: 北京友谊宾馆友谊宫第 8 号会议室 腾讯会议/ VooV Meeting： 409-540-830 Host： Beijing Institute of Technology (BIT) Abstract: Speaker Bio: 肖鸣宇，中国计算机学会理事、理论计算机科学专委员会主任；电子科技大学计算机科学与工程学院教授，副院长，算法与逻辑实验室执行主任，国家级信息与网络安全虚拟仿真实验教学中心主任，国家级计算机实验教学示范中心主任。致力于算法、组合优化、机制设计、算法博弈论等方面的基础理论研究，在精确算法、参数算法、核心化算法等领域是国内外著名的专家，为电路满足问题（SAT）、最大独立集等多个基本NP难问题设计了当前最佳的精确算法和参数算法；并将算法理论应用于人工智能、工业优化、计算经济、运筹学等领域中取得了显著成效。近年来在算法理论、人工智能基础算法领域顶级期刊和会议上以单独作者和主要作者发表论文超过150篇，撰写英文专著1部，主持国家级项目10余项。