#### Plenary Speakers

- Erich Kaltofen (North Carolina State University, USA)
**Title**:Symbolic Computation and Complexity Theory - Markus Püschel (ETH Zürich,Switzerland )

**Title**:Automatic Discovery of Transform Algorithms - Josef Schicho (RICAM, Austrian Academy of Sciences, Austria)

**Title**:Factorization of Motions in 3D Space into Rotations/Translations

#### Organized Session 1: On The Latest Progress In Verified Computation

- Aurélien Greuet (Paris 6, France)
**Title**:Exact Polynomial Optimization: Algorithms, Complexity and Implementation - Nan Li (Chinese Academy of Sciences, China)
**Title**:Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems - Xuefeng Liu (Waseda University, Japan)
**Title**:On High Precision Eigenvalue Estimation for Self-adjoint Elliptic Differential Operator and Its Application - Masaaki Kanno (Niigata University)
**Title**: Towards Guaranteed Accuracy Computations in Control - Hiroshi Sekigawa (Tokai University, Japan)
**Title**:Computing the Nearest Real Univariate Polynomial with a Real Multiple Zero and Its Application - Akitoshi Takayasu (Waseda University, Japan)
**Title**:Verified Computations for Elliptic Boundary Value Problems on Arbitrary Polygonal Domains - Zhengyu Wang (Nanjing University, China)
**Title**:Computer-Assisted Proof of Existence of Nash Equilibrium - Yimin Wei (Fudan University, China)
**Title**:The Diagonal Reduction Algorithm Using Fast Givens - Zhengfeng Yang (China East Normal University)
**Title**:Exact Safety Verification of Hybrid Systems Based on Hybrid Symbolic-Numeric Computation

#### Organized Session 2: Computational Geometry

- Bernard Mourrain (INRIA Méditerranée, France)
**Title**:Subdivision Methods in Geometric Modeling - Liyong Shen (University of Chinese Academy of Sciences, China)
**Title**:Numerical Reparametrization of Rational Parametric Plane Curves - Xiaoran Shi (Beijing Computational Science Research Center, China)
**Title**:Using ¦Ì-bases to Implicitize Rational Surfaces with a Pair of Orthogonal Directrices - Elias Tsigaridas (INRIA Paris-Rocquencourt, France)
**Title**: Univariate Real Root Isolation in Extension Field and Applications to Topology of Curves

#### Organized Session 3: Parametric Polynomial Computations

- Shutaro Inoue (Tokyo University of Science, Japan)
**Title**:Parametric Approaches to Combinatorial Problems - Katsusuke Nabeshima (Tokushima University, Japan)
**Title**:Algebraic Local Cohomology Classes Associated with Semi-quasihomogeneous Singularities - Yosuke Sato (Tokyo University of Science, Japan)
**Title**:Stability of Gröbner Bases in Terms of a Commutative von Neumann Regular Ring - Dingkang Wang (Chinese Academy of Sciences, China)
**Title**:Computation of Zero Divisors in Residue Class Rings of Parametric Polynomial Ideal

#### Organized Session 4: Differential and Difference Algebra

- Maximilian Jaroschek (Research Institute for Symbolic Computation, Austria)
**Title**:Improved Polynomial Remainder Sequences for Ore Polynomials - Mingbo Zhang (University of Science and Technology of China, China)
**Title**:Factorization of Differential Operators with Ordinary Differential Polynomial Coefficients