Symposium on Symbolic Computation and Beyond: Celebrating Dongming Wang's Contributions-Sino-French Laboratory for Mathematics

Introduction Local Introduction

Registration

Introduction

This conference will present the theory and methods of symbolic compution from different angles and perspectives, as well as their applications in complex science and engineering. The conference will invite speakers to give presentations on the following concepts, methods, and themes.

State of the Art
Foundations, Conceptions, and Methodologies
Layers of the Discipline: Theories; Algorithms; Software; Applications
Spectrum of Domains: Computer Algebra; Algebraic Geometry; Geometric Computation; Symbolic Analysis; Computational Combinatorics; Symbolic-Numerics; Formal Reasoning
Interfaces with Basic Science: Mathematics; Computer Science; Artificial Intelligence

This event also aims to gather leading experts to discuss the frontiers of symbolic computation. Invited experts will share their insights through panel discussions or presentations centered on the following themes:

Scientific Research: Latest theoretical breakthroughs and innovative discoveries in symbolic computation.
Discipline Development: Perspectives on the strategic layout, academic inheritance, and sustainable growth of the field.
Application Expansion: Cross-disciplinary applications of symbolic computation in AI, cryptography, engineering control, and more.

Confirmed Speakers

Xiao-Shan Gao: AMSS, Chinese Academy of Sciences, China
Hoon Hong: NC State University, United States
Marc Moreno Maza: University of Western Ontario, Canada
Hongbo Li: AMSS, Chinese Academy of Sciences, China
Zhuojun Liu: AMSS, Chinese Academy of Sciences, China
Zhengyi Lu: Sichuan Normal University, China
Dingkang Wang: AMSS, Chinese Academy of Sciences, China
Bican Xia: Peking University, China
Lihong Zhi: AMSS, Chinese Academy of Sciences, China

Scientific Organizers

Xiao-Shan Gao: AMSS, Chinese Academy of Sciences, China
Bican Xia: Peking University, China
Lihong Zhi: AMSS, Chinese Academy of Sciences, China

Local Arrangements

Bo Huang, Beihang University, China
Ilias Kotsireas, Hangzhou International Innovation Institute of Beihang University, China and Wilfrid Laurier University, Canada
Chenqi Mou (Chair), Hangzhou International Innovation Institute of Beihang University, China

Ms. Qianlan Zhao

Address: Hangzhou International Innovation Institute of Beihang University, Hangzhou, China

E-mail: qianlanzhao@buaa.edu.cn