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