- Invited talks

- Day 1
- Christopher Brown and Scott McCallum. Enhancements to Lazard’s method for CAD construction.
- Jürgen Garloff and Jihad Titi. Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial From Those of Oneof Its Partial Derivatives and of the Product of Two Polynomials.
- Shinichi Tajima, Takafumi Shibuta, and Katsusuke Nabeshima. Computing Logarithmic Vector Fields along an ICIS Germ via Matlis Duality.
- Eugenio Roanes-Lozano. Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system.
- Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, and B. David Saunders. On Parametric Linear System Solving.
- Amir Hashemi, Thomas Izgin, Daniel Robertz, and Werner M. Seiler. An Involutive GVW Algorithm and the Computation of Pommaret Bases.

- Day 2
- Simon Abelard. On the complexity of computing integral bases of function fields.
- Katsusuke Nabeshima. Computing Parametric Standard bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities.
- Yang Liu, Dmitry Lyakhov, and Dominik Michels. Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order.
- Tao Zheng. Characterizing Triviality of the Exponent Lattice of A Polynomial through Galois and Galois-LikeGroups.
- Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method.
- Alexander Brandt, Mahsa Kazemi, and Marc Moreno Maza. Power Series Arithmetic in the BPAS Library.
- Amir Hashemi, Matthias Orth, and Werner M. Seiler. Relative Groebner and Involutive Bases For Ideals In Quotient Rings.

- Day 3
- Katsusuke Nabeshima and Shinichi Tajima. Computation of κ-invariants associated to deformations of isolated hypersurface singularities.
- Manuel Kauers and Jakob Moosbauer. Good pivots for small sparse matrices.
- Dmitriy Divakov, Anastasiia Tiutiunnik, and Anton Sevastianov. Symbolic-numerical research of the geometric properties of adiabatic waveguide modes.
- Rui-Juan Jing, Marc Moreno Maza, and Delaram Talaashrafi. Complexity Estimates for Fourier-Motzkin Elimination.
- Simon Telen, Marc Van Barel, and Jan Verschelde. Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared MemoryComputers.
- Fernando Zhapa Camacho, Anthony Ramos, and Francesc Antón Castro. Purely functional implementation of a tropical geometry system in Haskel.

- Day 4
- Daniela Kaufmann and Armin Biere. Nullstellensatz-Proofs for Multiplier Verification.
- Boming Chi and Akira Terui. The GPGCD Algorithm with the Bezout Matrix.
- Algirdas Deveikis, Alexander Gusev, Vladimir Gerdt, Sergue Vinitsky, Andrzej Gozdz, Aleksandra Pedrak, Cestmir Burdik, and George Pogosyan. Symbolic-Numerical Algorithm for Computing Orthonormal Basis of O(5)xSU(1,1) Group.
- Sergey Gutnik and Vasily Sarychev. Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit around the Earth.
- Tian Chen and Michael Monagan. The Complexity and Parallel Implementation of two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization.

- Day 5
- Sergei Abramov, Denis Khmelnov, and Anna Ryabenko. Truncated and infinite power series in the role of coefficients of linear ordinary differential equations.
- Amir Hashemi, Joos Heintz, Luis M. Pardo, and Pablo Solerno. Intrinsic complexity for constructing zero-dimensional Gröbner bases.
- Raphael Jolly. Progress report on the Scala Algebra System.
- Alberto Zanoni and Marco Bodrato. Univariate polynomials with long unbalanced coefficients as bivariate balanced ones: a Toom-Cook multiplication approach.
- Zoltán Kovács. “Mathemachines” via LEGO, GeoGebra and CindyJS.
- Cristina Bertone and Francesca Cioffi. The intrinsic connection between border and Pommaret marked bases.
- Alexander Prokopenya, Mukhtar Minglibayev, and Oralkhan Baisbayeva. Analytical Computations in Studying Translational-Rotational Motion of a Non-Stationary Triaxial Body in the Central Gravitational Field.
- Gennadi Malaschonok. LDU factorization.