September 22
10:00am Conference opening
Session 1: Polynomial Bases and ODEs
Chair: E.W. Mayr
10:15am - 10:40amMark Giesbrecht, Greg Reid, and Yang Zang
Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions
10:45am - 11:10amE.V. Pankratiev
Some Approaches to Construction of Standard Bases in Commutative and Differential Algebra
11:15am - 11:40pmA. Ovchinnikov and A. Zobnin
Classification and Applications of Monomial Orderings and the Properties of Differential Orderings
11:45am - 12:05pm Coffee Break
12:15pm - 12:40pmGiuseppa Carra'Ferro and Vladimir P. Gerdt
Extended Characteristic Sets of Finitely Generated Differential Ideals
2:00pm Lunch
Session 2: Application of CAS
Chair: A. Weber
3:30pm - 3:55pmVictor Edneral and Raya Khanin
Multivariate Power Series and Normal Form Calculation in Mathematica
4:00pm - 4:25pmK. Hantzschmann and O. Becken
Algorithms of Computer Analysis for Approximate Solutions of Linear ODEs with Polynomial Coefficients
4:30pm - 4:55pmAntoine Girard
Approximate Solutions of ODEs Using Piecewise Linear Vector Fields
5:00pm - 5:20pm Coffee Break
5:30pm - 5:55pmValentin Irtegov and Tatyana Titorenko
On the Properties of Families of First Integrals
7:00pm Welcome Party
September 23
Session 3: Application of CAS
Chair: E.V. Vorozhtsov
10:00am - 10:55amJohannes Grabmeier
Computing Cocycles and Codes
11:00am - 11:25amThomas Sturm and Volker Weispfenning
Quantifier Elimination in Term Algebras
11:30am - 11:55amThomas Bayer
Moduli Spaces of Low Dimension for Semi Brieskorn-Pham Singularities w.r.t. Right Equivalence
12:00pm - 12:20pm Coffee Break
12:25pm - 12:50pmMichal Mnuk and Gerd Baumann
On Structured Representation of Physical Objects
12:55pm - 1:20pmAndrey V. Banshchikov
Parametric Analysis of Stability Conditions for a Satellite with a Gravitation Stabilizer
2:00pm Lunch
3:00pm - 6:00pm Conference Tour
7:00pm Dinner
September 24
Session 4: Problem Solving in Scientific Computing
Chair: V. Gerdt
10:00am - 10:55amM'hammed El Kahoui and Andreas Weber
Symbolic Equilibrium Point Analysis in Parameterized Polynomial Vector Fields
11:00am - 11:25amD.J. Jeffrey
High Precision Computation of Elementary Functions in Maple
11:30am - 11:55amJaime Gutierrez, Rosario Rubio, and David Sevilla
Computing the Fixing Group of a Rational Function
12:00pm - 12:20pm Coffee Break
12:30pm - 12:55pmE.A. Grebenikov, M. Jakubiak, and D. Kozak-Skoworodkin
The Algebraic Problems Tied With Generalized Krylov-Bogolyubov Equation
1:00pm - 1:25pmGema Diaz-Toca and Laureano Gonzalez-Vega
Determining Puiseux Expansions by Hensel's Lemma and Dynamic Evaluation
2:00pm Lunch
Session 5: Problem Solving in Scientific Computing
Chair: V. Weispfenning
3:00pm - 3:25pmAnatolii Samoilenko, Alexander Boichuk, and Andrij Boichuk
Pseudo-Inverse Matrices and Solutions Bounded on $R$ of Linear and Nonlinear Systems
3:30pm - 3:55pmVictor G. Ganzha, Dmytro Chibisov, and Evgenii V. Vorozhtsov
Computer Algebra in Problem Solving for Computational Fluid Dynamics: Term Rewriting and All That
7:00pm Dinner
September 25
Session 6: Applications of CAS
Chair: J. Gutierrez
10:00am - 10:25amFrançois Lemaire
Les Classements les Plus Généraux Assurant l'Analycité des Solutions des Systémes Orthonomes pour des Conditions Initiales Analytiques
10:30am - 10:55amR. González-Díaz and P. Real
Geometric Objects and Cohomology Operations
11:00am - 11:25amAkhmadjon Soleev
Newton Polyhedra for Investigation of Complex Bifurcations of Periodic Solutions in Some System of ODEs
11:30am - 11:55amVladimir V. Kornyak
Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes
12:00pm - 12:20pm Coffee Break
12:30pm - 12:55pmAlexander Gusev, Svetoslav Veselinov, Valentin Samoilov, and Pavel Vinitsky
Programs of Modelling and Visualization of Trajectories of Particles with Variable Mass in the Field of a Massive Geoid
1:00pm - 1:25pmAlexander Gusev, Nikolai Chekanov, Vitaly Rostovtsev, and Yoshio Uwano
The Programs for Normalization and Quantization of Polynomial Hamiltonians
2:00pm Lunch
3:00pm - 6:00pm Conference Tour
8:00pm Banquet
September 26
Session 7: Closing
Chair: V. Gerdt and E.W. Mayr
10:00am - 11:00am Business Meeting and Conference Closing
12:30pm Lunch
1:30pm Departure to Kyiv