====================================
Jan. 29, Monday
Morning Session, Chair: D. Wang
9:00-9:15 	Welcome
9:15-10:45 	V. Gerdt
		On Application of Difference and Differential Algebras to Numerical Solving of PDEs
10:45-11:00	Coffee Break
11:00-12:00	J.-S. Cheng
		Real solving of equation systems

12:00-14:00 	Lunch

Afternoon Session, Chair: V. Gerdt
14:00-15:30 	D. Lyakhov
		Ordinary Differential Equations: Symmetry Analysis, Linearizability, Equivalence
15:30-15:50 	Coffee Break
15:50-16:50	W. Li
		Differential Chow Forms and Sparse Differential Resutlants: an Overview
16:50-17:20	J. Xu
		Univariate Homotopy Continuation Path Tracking Via Interval Arithmetic

17:30-19:30	Dinner
====================================
Jan. 30, Tuesday
Morning Session, Chair: C. Mou
9:00-10:30	C. Yap
		Global Identifiability of Differential Algebraic Models: characterization and efficient algorithm
10:30-10:50	Coffee Break
10:50-11:50	C. Mou
		On the chordality of polynomial sets in triangular decomposition in top-down style

11:50-14:00	Lunch

Afternoon Session, Chair: C. Yap
14:00-15:00	D. Wang
		On the Connection Between Ritt Characteristic Sets and Buchberger-Groebner Bases
15:00-15:20	Coffee Break
15:20-15:50	B. Huang
15:50-16:20 	L. Guo
16:20-16:30	Closing

17:30-19:30 	Dinner
====================================
Jan. 31, Wednesday
Excursion to Beihai, Guangxi