Algorithms and Logic Group

Category: Chengdu A&L Seminars

  • Andre Nies: Prime numbers, factorisation, and algorithms

    Speaker: Andre Nies (The University of Auckland) Time: 16:20-17:20 (Time in Beijing) April 19, 2024 (Friday) Venue: 518, Research Building 4 Abstract: Euclid in around  300 BC proved that the sequence of prime numbers is infinite. This sequence starts 2,3,5,7,11, 13, …; the largest currently known prime number  is  obtained by raising 2 to the […]

  • Yinyu Ye: Online Market Design: Dynamic Equilibrium Pricing

    () Time: 11:00-12:00 (Time in Beijing) March 25, 2023 (Monday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Yinyu Ye is currently the K.T. Li Professor of Engineering at Department of Management Science and Engineering and Institute of Computational and Mathematical Engineering, Stanford University. His current research topics include Continuous and Discrete Optimization, Data Science […]

  • Guanghao Ye: Nested Dissection Meets IPMs: Fast Algorithms for Flows and LPs in Separable Graphs

    () Time: 10:00-11:00 (Time in Beijing) January 19, 2023 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Guanghao Ye is a PhD student at MIT EECS, advised by Jon Kelner. He previously earned his Bachelor’s and Master’s degrees at the University of Washington, under the supervision of Yin Tat Lee. His research broadly focuses […]

  • 2023 UESTC Algorithms and Logic Workshop

    会议详情见：https://mp.weixin.qq.com/s/r4w5K4WzHxY3ia1_QuBuzA

  • 尹一通：计算采样的理论基础（Theoretical Foundations of Computational Sampling）

    Yitong Yin (Nanjing University) Time: 16:20-17:20 (Time in Beijing) November 30, 2023 (Thursday) Venue: Binnuo Coffee Abstract: 蒙特卡罗法（Monte Carlo methods）是与计算机同一时期诞生的二十世纪最重要的科技产物之一。这一方法利用随机采样来高效计算原本传统确定性方法难以计算的量。它的发现拓展了人类高效计算的边界，深刻地影响了人们对计算本质的理解。在这一计算优越性的帮助下带来的科学新发现也塑造了人们今天对客观世界的认识。 本报告将系统介绍报告人近年来在计算采样理论、以及现代蒙特卡罗算法的设计与分析等方面取得的系统性的重要进展，包括：刻画高位概率分布可高效采样条件的“计算相变”定理；马尔可夫链蒙特卡罗（MCMC）采样的并行与分布式算法和局部与动态算法等。 Speaker Bio: 尹一通，南京大学教授，新基石研究员；本科毕业于南京大学，博士毕业于耶鲁大学；博士毕业后在南京大学工作至今，目前担任南京大学理论计算机科学团队负责人。尹一通的研究领域为理论计算机科学，主要研究兴趣包括：随机算法、计算采样，数据结构、并行与分布式计算理论等。在JACM、SICOMP、STOC、FOCS、SODA等理论计算机科学的重要期刊与会议发表论文五十余篇。主持国家重点研发计划项目“数据科学的若干基础理论”，获国家自然科学基金-优秀青年科学基金支持，曾获CCF/IEEE CS青年科学家、CCF优博导师、中创软件人才奖、教育部新世纪人才、南京大学青年五四奖章等荣誉。

  • Fang Kong: Bandit Learning with Side Information

    () Time: 16:20-17:20 (Time in Beijing) November 29, 2023 (Wednesday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Fang Kong is currently a Ph.D. candidate in the John Hopcroft Center for Computer Science, Shanghai Jiao Tong University. She is also a member in Wu Honor Ph.D. Class in Artificial Intelligence. Fang received her B.S. degree […]

  • 曹皖林: 形式化技术及其应用

    Speaker: 曹皖林（美国德州农工大学） Time: 10:20-11:20 (Time in Beijing) November 17, 2023 (Friday) Venue: 518, Research Building 4 Abstract: 软硬件系统开发包括不断地进行优化和验证，形式化方法在这个过程中被广泛应用。本讲座结合芯片开发过程中的最常见逻辑表达方式和分析手段，介绍形式化技术。具体包括以下内容：– 设计的网表表达– BDD 及其应用– 逻辑的计算与近似– 实例：低功耗优化– 讨论：布尔代数、NP问题、抽象及计算 Speaker Bio: 曹皖林，美国Texas A&M 大学博士，合见工业软件集团 fellow。研究兴趣包括：形式化方法，EDA与FPGA工具开发。

  • Ton Kloks: Excluding a long double path minor 

    Speaker: Ton Kloks (National Tsing Hua University ) Time: 10:20-11:20 (Time in Beijing) November 10, 2023 (Friday) Venue: 518, Research Building 4 Abstract: This is a paper from 1994.  (In my opinion this paper is a work of art.)   The paper proves Robertson’s conjecture on well-quasi-orders by topological minors for classes of graphs that are closed […]

  • Ton Kloks: Excluding a long double path minor 

    Speaker: Ton Kloks (National Tsing Hua University ) Time: 10:20-11:20 (Time in Beijing) November 3, 2023 (Friday) Venue: 518, Research Building 4 Abstract: This is a paper from 1994.  (In my opinion this paper is a work of art.)   The paper proves Robertson’s conjecture on well-quasi-orders by topological minors for classes of graphs that are closed […]

  • Huairui Chu: FPT Approximation Using Treewidth

    Speaker: Huairui Chu (Nanjing University ) Time: 16:00-17:00 (Time in Beijing) October 25, 2023 (Wednesday) Venue: 518, Research Building 4 Abstract: Treewidth is a useful tool in designing graph algorithms. Although many NP-hard graph problems can be solved in linear time when the input graphs have small treewidth, there are problems which remain hard on […]