-
Prof. Yi Deng’s Visit from 16 to 18 June, 2021
Yi Deng is a researcher at the Institute of Information Engineering, Chinese Academy of Sciences. Prof. Deng will give a speech on “Zero Knowledge Proofs: From Crypto to Fintech” on June 17, 2021.
-
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.
-
Group Reunion Dinner
On March 18, 2021, we welcomed Weibo Lin and Zhu He, two alumni of the Class of 2016, to participate in 2021 Huawei Software Elite Challenge in UESTC’s Qingshuihe campus. Though they are no longer students, they will remind forever Violet as lifelong members of the UESTC community. We held a reunion dinner with all […]
-
Group year-end meeting and dinner
The Chinese New Year and the winner vocation are coming. The group of TCS held a year-end meeting on January 22nd, 2021. Nearly twenty students and teachers attended the meeting. Professor Xiao conveyed Professor Khoussainov’s greetings and wishes of a happy Chinese New Year to the group. Professor Xiao also summarized the scientific research work […]
-
We got one paper accepted by WWW 2021 in the full paper track
The Web Conference (WWW) is the premier international venue focused on understanding the current state and the evolution of the Web through the lens of computer science, computational social science, economics, policy, and many other disciplines. The 30th Web Conference (WWW 2021) will take place in Ljubljana, the capital of Slovenia. This year, the conference […]
-
We got three papers accepted by AAAI 2021
AAAI Conference on Artificial Intelligence (AAAI) is a top conference in AI. Our group got three papers accepted by AAAI 2021. They are: 1. An Improved Upper Bound for SAT, by Huairui Chu (undergraduate student), Mingyu Xiao, and Zhe Zhang (undergraduate student). 2. Enhancing Balanced Graph Edge Partition with Effective Local Search, by Zhenyu Guo […]