Algorithms and Logic Group

News and 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
  9. Group Reunion Dinner
  10. Group year-end meeting and dinner