Category: Announcements

  • Prof. Zhilin Wu’s Visit from 16 to 18 June, 2021

    Zhilin Wu is a professor at the Institute of Software, Chinese Academy of Sciences. Prof. Wu will give a speech on “Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs” on June 17, 2021.

  • Prof. Yijia Chen’s Visit from 19 to 22 May, 2021

    Yijia Chen is a professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University. Prof. Chen will give a speech on “Some efficient algorithms for the k-vertex cover problem” on May 20, 2021.

  • Prof. Angsheng Li’s Visit from 7 to 10 April, 2021

    Angsheng Li is a professor at the School of Computer Science and Engineering, Beihang University. Prof. Li will give two talks on Mathematical Principles of Information Sciences, I: The Laws of Information and Mathematical Principles of Information Sciences, II: Mathematical Theory of Intuitive Reasoning respectively at UESTC on April 8 and April 9, 2021.