Algorithms and Logic Group

Category: News and Announcements

  • Dr. Qiankun Zhang’s Visit from 15 to 20 September, 2021

    Qiankun Zhang is now a final-year Ph.D. candidate in theoretical computer science at the University of Hong Kong under Zhiyi Huang.

  • Dr. Weiming Feng’s Visit from 14 to 18 September, 2021

    Weiming Feng is a research associate (postdoc) in School of Informatics, University of Edinburgh. Dr. Feng will give a speech on “Rapid mixing of Glauber dynamics via spectral independence for all degrees”on 17 September, 2021.

  • Prof. Bakh Khoussainov wins Nerode Prize

    Bakh Khoussainov is a co-winner of the EATCS-EPEC Nerode Prize for his papers on parity games. The prize is shared with Frank Stephan, Sanjay Jain, Wei Li (NUS) and Cristian Calude (the University of Auckland). The prize is for outstanding research in the area of multivariate algorithms. The award is given by the European Association…

  • An invited speaker at Malcev meeting

    Bakh Khoussainov is an invited speaker at Malcev meeting, the international meeting in Algebra, Logic and Algorithms held annually in Novosibirsk, Russia. Bakh will speak about Probability structures, a joint work with Profeessor Mingyu Xiao (UESTC) and Jiamou Liu (University of Auckland). See: http://www.math.nsc.ru/conference/malmeet/21/Main_e.htm

  • The first lab meeting in the new semester

    On September 3, 2021, we held the first lab meeting in the new semester. All the faculty members have joined both online and offline. During the first session of the meeting, Prof.Bakh Khoussainov and Prof. Mingyu Xiao gave a welcome speech and then the new faculty members in the group were introduced. Prof. Chao Xu…

  • Prof. Wenfei Wu’s Visit from 15 to 16 July, 2021

    Wenfei Wu is an assistant professor at the Institute for Interdisciplinary Information Sciences (IIIS) in Tsinghua University. Prof.Wu will give a speech on “面向多租户分布式机器学习的聚合传输协议” on 16 July, 2021.

  • Prof. Zhipeng Lv’s Visit from 8 to 10 July, 2021

    Zhipeng Lv is a full professor of Computer Science at Huazhong University of Science and Technology and the Director of the Institute of Artificial Intelligence and Optimization since 2011. Prof. Lv will give a speech on “启发式优化及其复杂工业应用” on July 9, 2021.

  • Prof. Jian Li’s Visit from 01 to 02 July, 2021

    Jian Li is currently an assistant professor at the Institute for Interdisciplinary Information Sciences (IIIS, previously ITCS) at Tsinghua University, headed by Prof. Andrew Yao. Prof. Li will give a speech on “机器学习与量化投资” on July 2, 2021.

  • Three papers accepted by IJCAI, SAT and ICML

    Recently, we have three papers accepted by IJCAI, SAT and ICML. International Joint Conferences on Artificial Intelligence (IJCAI) is a top conference in AI. Our group got one paper accepted by IJCAI 2021. The International Conferences on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory…

  • An invited speaker at Adian 90

    Prof. Bakh Khoussainov is an invited speaker at Adian 90: international conference on logic, algebra, and computation (July 5 to July 8). For more details, please refer to: https://sites.google.com/view/adian90/speakers