Algorithms and Logic Group

News and Announcements

  1. 冠军+季军！算法与逻辑团队学子在2023华为软件精英挑战赛全球总决赛中再创佳绩

    4月23日，2023华为软件精英挑战赛全球总决赛在深圳华为总部举行，肖鸣宇教授指导的“_______（下划线）队”夺得了全球总决赛冠军，CHAO XU教授指导的“划水小队不划水队”夺得了全球总决赛季军，创造学校参赛以来历史最好成绩。

  2. Our LAB has one SIGIR paper accepted
  3. Prof. Bakh Khoussainov’s talk at Fifth Workshop on Digitalization and Computable Models
  4. Prof. Bakh Khoussainov’s talk at Asian Logic Conference
  5. Two teams from our lab got through to the final of the CodeCraft2023 Competition
  6. An undergraduate in our lab published research results in the prestigious journal Discrete Mathematics
  7. Special Report from UESTC News on Reform and Exploration of High-quality courses for doctoral students in the School of Computer Science and Engineering
  8. We got three papers accepted by AAAI 2023
  9. Associate Professor Yi Zhou of received the “CCF-Huawei Poplar Forest Fund” Class A Funding

    9 月 29 日，首届“CCF（中国计算机协会）-华为胡杨林基金理论计算机科学专项”资助项目结果揭晓，来自我校计算机科学与工程学院的周毅副教授的项目“基于 k-plex 的松弛团提取算法的理论与技术研究”获得了 A 类资助。

  10. Prof. Bakh Khoussainov’s talk at Nerode’s conference