Speaker: Zhipeng Lv(Huazhong University of Science and Technology) Time: 11:00-12:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) July 9, 2021 (Friday) Venue: B1-501, Main Building Abstract: 在各个领域的工业应用中往往存在大量的复杂优化问题，这些问题往往具有大规模、多约束、多目标、多层次、多维度、动态性强等特点，且往往被证明为NP完全或NP难的。学术界对优化问题的做法是“简单问题，复杂求解”（问题描述简单，但算法设计复杂），而工业界对优化问题往往是“复杂问题，简单求解”（问题描述复杂，但算法设计简单），而实际上对工业应用领域真正有价值的解决方案是对于复杂的工业问题使用高级的算法进行求解。因此需要建立一套从需求分析，到数学建模，到算法设计，再到算法工程的整体解决方案和技术途径。本报告将结合本团队在复杂工业优化领域的学术研究、算法竞赛、工业应用案例，重点讲解如何对复杂工业优化问题进行建模和求解，最后综述性地介绍求解复杂工业优化问题目前学术界主流的优化方法。 Speaker Bio: 吕志鹏，华中科技大学计算机学院教授，博士生导师，人工智能与优化研究所所长。主要研究方向为复杂系统建模、EDA算法、智能优化、调度与规划、启发式优化、NP难问题求解等。2012年入选教育部“新世纪优秀人才支持计划”。2008年获第二届国际大学排课表竞赛全球第二名，2010年获国际护士排班竞赛全球第三名，2016年获ROADEF/EURO液化气库存路由国际挑战赛全球第三名，2017年获SAT国际竞赛全球第一名，2018年获SAT国际竞赛季军全球第三名，2020年获GECCO会议最优摄像机布局竞赛三项全球第一名，2021年获ISPD会议物理建模“划分、布局和布线”算法竞赛全球第三名。在人工智能、计算机、运筹学、工业工程等领域的国际著名期刊和会议上发表学术论文70余篇（如AAAI, IJCAI, Artificial Intelligence, Transportation Science, INFORMS Journal on Computing等）。研究成果在航空、航天、通信、云计算、EDA、IC制造等领域得到应用，主持了二十余项大型企业应用优化项目，在复杂工业系统的智能优化方面为合作方提供了可供实用的解决方案。 Download poster

Speaker: Jian Li(Tsinghua University) Time: 09:30-10:30 (Time in Beijing) 13:30-14:30 (Time in Auckland) July 2, 2021 (Friday) Venue: B1-501, Main Building Abstract: 当代机器学习，尤其是深度学习的突破性进展已经给多个行业带来了巨大变革。将当代机器学习的工具与思想应用到量化投资领域是一个吸引人的课题，并得到了业界和学术界的广泛关注。量化投资是否可以归结为一个预测价格涨跌的监督学习问题？是否将传统的线性预测模型替换为最新得深度学习模型，我们就实现了机器学习与量化投资的结合？当代机器学习的工具到底能在哪些环节提高量化投资的能力与效率？在本次交流中我将以机器学习研究者的视角和大家对以上的问题进行交流，并分享我们团队近几年的思考和实践。 Speaker Bio: 李建，清华大学交叉信息研究院长聘副教授，博士生导师。他在中山大学取得的学士学位和复旦大学取得的硕士学位，马里兰大学博士毕业。他的研究兴趣主要包括算法设计与分析，机器学习，数据库，金融科技。他已经在主流国际会议和杂志上发表了70余篇论文等，并获得了VLDB 2009 和 ESA 2010 的最佳论文奖，ICDT201最佳新人奖，清华221基础研究青年人才支持计划，教育部新世纪人才支持计划，国家自然科学基金优秀青年基金。他主持并参与了多项科研项目，包括自然科学基金青年基金，面上项目，中以国际合作项目，青年973计划等。 Download poster

Speaker: Qiankun Zhang(The University of Hong Kongy) Time: 12:00-13:00 (Time in Beijing) 16:00-17:00 (Time in Auckland) July 6, 2021 (Tuesday) Venue: VooV meeting ID: 695 375 031 Abstract: Online bipartite matching, first defined by Karp, Vazirani, and Vazirani (STOC 1990) three decades ago, has received significant attention in recent years due to its many applications […]

Speaker: Xue Chen(George Mason University) Time: 11:00 – 12:00 (Time in Beijing) 15:00 – 16:00 (Time in Auckland) June 28, 2021 (Monday) Venue: B1-501, Main Building Abstract: We consider the problem of learning an unknown f with a sparse Fourier spectrum in the presence of outlier noise. In particular, the algorithm has access to a noisy oracle […]

Speaker: Zhilin Wu(Chinese Academy of Sciences) Time: 9:00 (Time in Beijing) 13:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang,UESTC Library Abstract: The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, with such applications as symbolic execution of programs manipulating strings and automated detection […]

Speaker: Yi Deng(Chinese Academy of Sciences) Time: 10:00 (Time in Beijing) 14:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang, UESTC Library Abstract: 这一报告里我们将综述零知识证明的发展历史，从原始的理论研究到目前飞速发展金融科技中的重要应用。这一发展历史充分体现了密码学和计算机科学之间的相互促进，我们将着重解释其背后的一些主要思想。 Speaker Bio: 邓燚，中国科学院信息工程研究所研究员。2008年获中国科学院软件所信息安全国家重点实验室博士学位。曾先后在英国伦敦大学学院和新加坡南洋理工大学从事博士后研究工作。主要从事密码学研究，特别是有关零知识证明和密码协议的通信与计算复杂性的问题。曾在一些密码学和计算机科学领域旗舰会议–如 FOCS， Eurocrypt, Asiacrypt，PKC上发表多篇论文。2011年获中国密码学会首届优秀青年奖，2014年获中国密码学会首届创新奖一等奖，2019年获中国电子学会自然科学奖一等奖。 Download poster

Speaker: Qilong Feng(Central South University) Time: 11:00 (Time in Beijing) 15:00 (Time in Auckland) June 17, 2021 (Thursday) Venue: Baixue Tang, UESTC Library Abstract: Designing approximation algorithms for the clustering problem remains an active area of research. However, these algorithms can significantly deteriorate their performance in real-world applications. The major reason is that real-world applications […]

Speaker: Yijia Chen(Shanghai Jiao Tong University) Time: 11:00-12:00 (Time in Beijing) 15:00-16:00 (Time in Auckland) May 20, 2021 (Thursday) Venue: B1-501, Main Building Abstract: Let be a fixed constant. The -vertex cover problem asks, for an input graph , whether contains vertices which intersect every edge in . The problem has been studied extensively both […]

Speaker: Angsheng Li(Beihang University) Time: 14:00-15:00 (Time in Beijing) 18:00-19:00 (Time in Auckland) April 9, 2021 (Friday) Venue: B1-501, Main Building Abstract: Started at Hilbert’s 1900 program of axiomatizing mathematics, in 1930s, mathematicians including Gödel proposed the definition of “proof” and established the subject of mathematical logic, and more importantly, Turing 1936 proposed a mathematical […]

Speaker: Angsheng Li(Beihang University) Time: 11:00-12:00(Time in Beijing) 15:00-16:00(Time in Auckland) April 8, 2021 (Thursday) Venue: Coffee Beanery (宾诺咖啡) Abstract: Shannon 1945 and 1948 started the mathematical studies of cryptography and of communication, respectively. In 1945,Shannon proposed an information theoretical protocol for data security, leading to the mathematical theory of data security. In 1948, Shannon […]