|
This informal seminar will provide the participant with an opportunity to learn basic techniques and recent advances on a few selected topics
of differential equations with symbolic computation, to present his or her own research, and to discuss his or her work, ideas, and new findings with others.
The scientific program of the seminar will feature invited talks and contributed presentations.
Invited Speakers
Aim and Scope
One clear objective of the seminar is to bring together foreign experts and Chinese researchers actively working on symbolic methods and techniques
for differential equations to exchange ideas, views, and new results and to build up contacts for future cooperation. If you are interested in
attending this seminar and giving a 30-minute talk, please send the title and an abstract of your talk to the organizers by August 27, 2023.
Your work on any aspect interrelating differential equations with symbolic computation will be considered for presentation at the seminar.
Specific topics include:
Symbolic integration and solution of differential equations
Differential algebra, differential algebraic geometry, and differential Galois theory
Symbolic methods for qualitative analysis of differential equations and dynamical systems
Applications of symbolic computation in differential equations
Differential equations for symbolic-numeric computation
There is no registration fee for the seminar. Partial financial support for the local expenses of a limited number
of participants will be provided. Lodging and travel information will be sent to each potential participant.
Organizers
Brigita Ferčec (University of Maribor, Slovenia)
Bo Huang (Beihang University, China)
Valery Romanovski (CAMTP and University of Maribor, Slovenia)
Dongming Wang (Beihang University, China)
Zhiming Zheng (Beihang University, China)
Local Arrangements
Bo Huang* (Beihang University, China)
Chenqi Mou (Beihang University, China)
Wei Niu (Beihang University, China)
Address: 37 Xueyuan Road, Haidian District, Beijing 100191, China
E-mail: bohuang0407@buaa.edu.cn
Sponsors
Beihang University
School of Mathematical Sciences, Institute of Artificial Intelligence
MOE Key Laboratory of Mathematics, Informatics and Behavioral Semantics
Local Information
Seminar Location
Ruxin Convention Center, Beihang University , China
会议地址：北京航空航天大学—如心会议中心
Hotel Information: Vision Hotel
Address: 39 Xueyuan Road, Haidian District, Beijing 100191, China
Tel: (8610) 62308899
酒店：唯实国际文化交流中心
地址：中国北京市海淀区学院路39号
邮编：100191
电话：(8610) 62308899
Traveling
It takes about one hour to get to Beihang University from the airport by taxi. You are advised to keep the receipt which could help you find the driver when necessary.
Previous Seminars
Geometric Computation (Hefei, China, April 24-26, 2002),
with a book published by World Scientific Differential Equations with Symbolic Computation (Beijing, China, April 14-16, 2004),
with a book published by Birkhäuser Symbolic Computation in Education (Beijing, China, April 12-14, 2006),
with a book published by World Scientific -
Symbolic Real Algebra and Trustworthy Computing (Shanghai, China, April 3-5, 2008)
Program Verification, Automated Debugging and Symbolic Computation (Beijing, China, October 10-12, 2012) Program Verification, Automated Debugging and Symbolic Computation (Beijing, China, October 23-25, 2013),
with a special issue of Journal of Symbolic Computation Geometric Computation (Nanning, China, February 2-4, 2015),
with a special issue of Mathematics in Computer Science Differential, Difference, and Algebraic Systems with Application (Nanning, China, January 29-31, 2018) International Seminar on Solving Equations (Nanning, China, July 12–13, 2019)
|
