Algorithms and Logic Group

News and Announcements

  1. Our Team Will Hold COCOON 2025 and WALCOM 2025
  2. 算法与逻辑团队本科生在理论计算机科学领域重要会议COCOON上发表研究成果
  3. 算法与逻辑团队在理论计算机科学领域顶级期刊Information and Computation上发表研究成果
  4. Professor Yuxi Fu will offer a short course on Advanced Computational Complexity
  5. 算法与逻辑团队学子获2023华为嵌入式软件大赛全国总决赛算法组季军
  6. Prof. Bakh Khoussainov’s talk at Beijing Logic Meeting
  7. 实验室学生勇夺大学生数学竞赛全国第一名
  8. Binglin Tao will defend her Ph.D. thesis on May 31, 2023
  9. 祝贺！算法与逻辑实验室教授当选欧洲科学院院士！
  10. 算法与逻辑团队本科生一作论文被计算机领域顶级会议IJCAI接收

    近日，第32届国际人工智能联合会议IJCAI（International Joint Conference on Artificial Intelligence）放榜，我校计算机科学与工程学院（网络空间安全学院） 2019级本科生王正仁以第一作者身份撰写的关于松弛团搜索问题的论文《A Fast Maximum k-Plex Algorithm Parameterized by the Degeneracy Gap》被接收，届时该学生将在会议上展示成果并进行学术报告。该论文是在电子科技大学算法与逻辑团队周毅副教授（通讯作者）和肖鸣宇教授指导下完成，参与作者还有硕士生罗春雨同学。这也是王正仁同学继WWW 2022之后，本科阶段以第一作者发表的第二篇CCF-A类会议论文。