TSSC 2025

Shenzhen, China, January 5-12

• English
• 注册报到
• 日程安排
• 组织协调
• 前沿报告
• 专题课程
• 基础课程
• 主页

Thematic Seminar on Symbolic Computation
Shenzhen, China, January 5-12, 2025

This thematic seminar will provide an opportunity for Chinese students, young researchers and teachers to learn basic techniques on selected topics of symbolic computation. It will also be a forum for senior researchers working in the area and related areas to discuss recent advances and future developments and expansion of symbolic computation in China.
Chinese and English will be the working languages in the seminar.

Mini-courses (basic)

TSSC 2025 will offer two basic mini-courses taught by experienced professors:
+ Chenqi Mou  (Beihang University)
+ Fabrice Rouillier  (INRIA, France)
These mini-courses will be at the post-/under-graduate level and each course will take 6 hours.

Mini-courses (thematic)

TSSC 2025 will offer four thematic mini-courses taught by experienced professors:
+ Matthew England  (Coventry University, UK)
+ Jinzhao Pan  (Tongji University）
+ Li-Yong Shen  (University of Chinese Academy of Sciences)
+ Manolis C. Tsakiris  (AMSS, Chinese Academy of Sciences)
+ Chunming Yuan  (AMSS, Chinese Academy of Sciences)
These mini-courses will be at the postgraduate level and each course will take 3 hours.

Frontier lectures

Frontier 40-minute lectures will be given by leading researchers. Confirmed invited speakers include:
+ Falai Chen  (University of Science and Technology of China)
+ Shaoshi Chen  (AMSS, Chinese Academy of Sciences)
+ Ruyong Feng  (AMSS, Chinese Academy of Sciences)
+ Qinghu Hou  (Tianjin University)
+ Na Lei  (Dalian University of Technology)
+ Dongmei Li  (Hunan University of Science and Technology)
+ Hongbo Li  (AMSS, Chinese Academy of Sciences)
+ Zijia Li  (AMSS, Chinese Academy of Sciences)
+ Zhikun She  (Beihang University)
+ Dingkang Wang  (AMSS, Chinese Academy of Sciences)
+ Mingsheng Wang  (IIE, Chinese Academy of Sciences)
+ Jing Yang  (Guangxi Minzu University)
+ Zhengfeng Yang  (East China Normal University)

General Chair

Dongming Wang  (Beihang University/CNRS, France)

Scientific Committee

+ Xiao-Shan Gao  (AMSS, Chinese Academy of Sciences)
+ Dongming Wang  (Beihang University/CNRS, France)
+ Bican Xia  (Peking University)
+ Lihong Zhi  (AMSS, Chinese Academy of Sciences) (Chair)

Organizing Committee

+ Jin-San Cheng  (AMSS, Chinese Academy of Sciences)
+ Bo Huang  (Beihang University)
+ Nan Li  (Shenzhen University) (nan.li@szu.edu.cn)
+ Jianliang Tang  (Shenzhen University)