Wednesday 14th April
| 09:00-09:10 | Welcome |
| 09:10-10:10 | Invited Talk:
On "Good" Bases of
Polynomial Ideals Wen-tsün Wu (Chinese Academy of Sciences, China) |
| 10:10-10:40 | Tea Break |
| 10:40-11:20 | Solving Nonlinear Polynomial Systems
via a PDE-Based Symbolic-Numeric Elimination Method Lihong Zhi and Jianping Yu (Chinese Academy of Sciences, China) |
| 11:20-12:00 | On the Dimension
of the Solution Space of a System of PDEs Hongqing Zhang (Dalin University of Technology, China) |
| 12:00-14:00 | Lunch |
| 14:00-15:00 | Invited Talk:
Infinitesimal Hilbert 16th Problem
and Lienard Equation Zhifen Zhang (Peking University, China) |
| 15:00-15:40 | Geometric Singular Perturbation Methods
and Their Applications Zhu-Jun Jing (Chinese Academy of Sciences, China) |
| 15:40-16:10 | Tea Break |
| 16:10-16:50 | Gauges for the Self-similar Set
with OSC Zhi-Ying Wen (Tsinghua University, China) |
| 16:50-17:30 | The Classification of Integrable
Systems Based on the Solution of Bi-linear Algebraic
Systems Thomas Wolf (Brock University, Canada) |
| 18:00- | Reception Dinner |
Thursday 15th April
| 09:00-10:00 | Invited Talk:
Galois
Groups of Linear Differential Equations Michael Singer (North Carolina State University, USA) |
| 10:00-10:30 | Tea Break |
| 10:30-11:00 | Modular Form
Solutions of a Linear Differential Equation Yujie Ma and Baoshan Wang (Chinese Academy of Sciences, China) |
| 11:00-11:30 | Reducibility
of Systems of Linear Differential and Difference Equations with
Finite-dimensional Solution Space Min Wu (Chinese Academy of Sciences, China) |
| 11:30-12:00 | Rational General Solutions of
Ordinary Differential Equations Ru-Yong Feng and Xiao-Shan Gao (Chinese Academy of Sciences, China) |
| 12:00-14:00 | Lunch |
| 14:00-14:40 | Estimating
Limit Cycle Bifurcations from Centers Colin Christopher (University of Plymouth, UK) |
| 14:40-15:20 | Bifurcations
of Limit Cycles and Critical Periods in Polynomial Systems Valery Romanovski (University of Maribor, Slovenia and University of North Carolina at Charlotte, USA) |
| 15:20-15:50 | Some Investigations
on Isochronous Centers and Bifurcations of Limit Cycles for Planar Differential
Systems Wentao Huang (Guilin University of Electronic Technology and Central South University, China) |
| 15:50-16:20 | Tea Break |
| 16:20-16:50 | The Construction
of Small Amplitude Limit Cycles Based on an Algorithm for Real Root Isolation of
Polynomial Systems Zhengyi Lu (Wenzhou Normal College and Chinese Academy of Sciences, China) |
| 16:50-17:20 | Automated Verification of Center Conditions
for Differential Systems Dongming Wang (Beihang University, China and UMPC-CNRS, France) |
| 17:20-17:50 | Symbolic Solution
of Linear Boundary Value Problems via Non-Commutative Gröbner
Bases Markus Rosenkranz (Johannes Kepler University, Austria) |
| 18:30- | Seminar Dinner |
Friday 16th April
| 09:00-10:00 | Invited Talk:
Generic
Dynamics Away from Homoclinic Bifurcations Lan Wen (Peking University, China) |
| 10:00-10:30 | Tea Break |
| 10:30-11:10 | On Symbolic
Computation of the LCE of N-dimensional Dynamical Systems Shucheng Ning and Zhiming Zheng (Chinese Academy of Sciences, Peking University and Beihang University, China) |
| 11:10-11:50 | Symbolic Computation
of Equilibria for Dynamic Models Weinian Zhang (Sichuan University, China) |
| 12:00-14:00 | Lunch |
| 14:00-14:40 | Using Maple and the
Method of Detection Functions to Find Distributions of Limit Cycles for
Z_q-equivariant Polynomial Vector Fields Jibin Li (Kunming University of Science and Technology, China) |
| 14:40-15:10 | On Algebraic
Invariant Curves of Two-dimensional Lotka-Volterra Systems Jinzhi Lei (Tsinghua University, China) |
| 15:10-15:40 | Tea Break |
| 15:40-16:20 | Formalizing a Reasoning Strategy
in Symbolic Approach to Differential Equations
Shilong Ma (Beihang University, China) |
| 16:20-17:00 | Global Solutions of Einstein-Dirac
Equation on Conformal Space Qikeng Lu, Shikun Wang, and Ke Wu (Chinese Academy of Sciences and Capital Normal University, China) |