Algorithms and Logic Group

News and Announcements

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