Algorithms and Logic Group

Announcements

  1. Prof. Jian Li’s Visit from 01 to 02 July, 2021
  2. An invited speaker at Adian 90
  3. Dr. Xue Chen’s visit from 26 June to 1 July, 2021
  4. Prof. Yi Deng’s Visit from 16 to 18 June, 2021
  5. Prof. Qilong Feng’s Visit from 16 to 17 June, 2021
  6. Prof. Zhilin Wu’s Visit from 16 to 18 June, 2021
  7. Prof. Yijia Chen’s Visit from 19 to 22 May, 2021
  8. Prof. Angsheng Li’s Visit from 7 to 10 April, 2021