Algorithms and Logic Group

News and Announcements

  1. Prof. Bakh Khoussainov’s talk at Sirius Mathematics Center
  2. Prof. Yu Liang’s Visit on 1 November, 2021
  3. Dr. Weiming Feng’s Visit from 14 to 18 September, 2021
  4. Dr. Qiankun Zhang’s Visit from 15 to 20 September, 2021
  5. The first lab meeting in the new semester
  6. Prof. Bakh Khoussainov wins Nerode Prize
  7. An invited speaker at Malcev meeting
  8. Prof. Wenfei Wu’s Visit from 15 to 16 July, 2021
  9. Prof. Zhipeng Lv’s Visit from 8 to 10 July, 2021
  10. Three papers accepted by IJCAI, SAT and ICML