Monday 24th July

Chair: Dongming Wang
09:00-09:10 Welcome
09:10-10:00 Invited Talk: Computational Polynomial Algebra in System and Control Theory by Hirokazu Anai
10:00-10:25 On Rigorous Conditions for Cell-type Diversity by Algebraic Approach by Hiroshi Yoshida, Katsuhisa Horimoto and Hirokazu Anai
10:25-10:55 Tea Break
Chair: Kazuhiro Yokoyama
10:55-11:20 Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring by Katsusuke Nabeshima
11:20-11:45 Automatic Weight Generator for the Buchberger Algorithm by Kinji Kimura and Masayuki Noro
11:45-12:10 On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring by Meng Zhou and Franz Winkler
12:10-14:00 Lunch
Chair: Lihong Zhi
14:00-14:25 An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial by Songxin Liang and David J. Jeffrey
14:25-14:50 Generalized Critical Values and Testing Sign Conditions on a Polynomial by Mohab Safey El Din
14:50-15:15 A New Method for Real Root Isolation of Univariate Polynomials by Ting Zhang and Bican Xia
15:15-15:45 Tea Break
Chair: Hoon Hong
15:45-16:10 Dynamic Symbolic Optimisation for Relation-Algebraic Programming in Haskell by Wolfram Kahl
16:10-16:35 Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process by Nong Gu, Daniel Lazard, Fabrice Rouillier and Yong Xiang
16:35-17:00 Unified Particle Swarm Optimization for Hadamard Matrices of Williamson Type by Ilias S. Kotsireas, Christos Koukouvinos, Konstantinos E. Parsopoulos and Michael N. Vrahatis
18:00- Reception Dinner

Tuesday 25th July

Chair: Zhiming Zheng
09:00-09:50 Invited Talk: On a Problem of Liao and Mañé for Nonsingular Star Flows by Lan Wen
09:50-10:15 Linear Ordinary Differential Equations Satisfied by Modular Forms by Yujie Ma
10:15-10:45 Tea Break
Chair: Andreas W. M. Dress
10:45-11:10 Computing in Sporadic Groups by Baoshan Wang
11:10-11:35 Markov and Artin Normal Form Theorem for Braid Groups via Gröbner-Shirshov Bases by Leonid A. Bokut, Vladimir V. Chaynikov and Kar-Ping Shum
11:35-12:00 Composition of Rules of Frege-Hilbert Calculi by Elmar Eder
12:00-14:00 Lunch
Chair: Bican Xia
14:00-14:25 On Algorithms for Calculus of Sets by Shutaro Inoue, Yosuke Sato and Akira Suzuki
14:25-14:50 On Exponential Time Algorithm for k-SAT by Subhas K. Ghosh
14:50-15:15 A Mixed Strategy Complete Algorithm for K-SAT by Hongbo Zhou and Zhiming Zheng
15:15-15:40 On the Complexities of Intersection Problems in Permutation Groups by Takunari Miyazaki
15:40-16:10 Tea Break
Chair: Ilias Kotsireas
16:10-16:35 Structured Low Rank Approximation of a Bézout Matrix by Dongxia Sun and Lihong Zhi
16:35-17:00 Numerical Solutions of Some Flexible Mechanisms by a Hybrid Scheme by Ming-Gong Lee and Zwei-Wei Song
17:00-17:25 Discrete-time Queue with Multiple-places Reservation Discipline by Yutae Lee
19:00- Banquet (Speaker: Hoon Hong)

Wednesday 26th July

Chair: Lan Wen
09:00-09:50 Invited Talk: Networks in Computational Biology by Andreas W.M. Dress
09:50-10:15 Community Structures of Networks by William Y.C. Chen, Andreas W.M. Dress and Winking Q. Yu
10:15-10:45 Tea Break
Chair: Fabrice Rouillier
10:45-11:10 Analysis of Node Degree Distribution in Ad Hoc Network by Ling Shen, Wei Wu, Zhaoyi Liu and Duoli Liu
11:10-11:35 A Robust Linear Program Solver for Reachability Analysis by Chao Yan, Mark Greenstreet and Marius Laza
11:35-12:00 Application of Quantifier Elimination and Discriminant Varieties to Stability Analysis of Biological Systems by Wei Niu
12:00-14:00 Lunch
Chair: Hiroshi Yoshida
14:00-14:25 Realizing Finite State Machines Based on DNA Computing by Xueqing Yang and Zhongkan Liu
14:25-14:50 A Context Theory for Context-Aware Multi Agent Systems by Vasu Alagar and Kaiyu Wan
14:50-15:15 Bounding System Reliability by John T. Chen
15:15-15:45 Tea Break
Chair: David J. Jeffrey
15:45-16:10 Parallel Difference Substitution and Inequality Proving by Liangyu Chen, Zhenbing Zeng and Lu Yang
16:10-16:35 Inequivalent Hadamard Matrices via Orthogonal Designs by Ilias S. Kotsireas, Christos Koukouvinos and Dimitris E. Simos
16:35-17:00 QoS Based Web Caching - A Markov Chain Model by Wenying Feng
17:00-17:10 Closing