9:30

Chair: D. Wang

Welcome

9:40—10:30

Ludovic Perret

Groebner Bases in Cryptography : An Overview

10:30—11:00

Tea break

11:00—12:50

Jean-Charles Faugère

An Efficient Algorithm for Decomposing Multivariate Polynomials and its Applications to Cryptography

12:00—14:30

Chair: F. Rouillier

Lunch

14:30—15:20

Dongming Wang and Ting Zhao

The DEGRE Project

15:20—15:50

Wei Niu

Algebraic Approaches to Stability Analysis of Biological Systems

15:50—16:20

Tea Break

16:20—17:10

Philippe Aubry

TBA

18:00

Workshop Dinner

9:10—10:00

Fabrice Rouillier

TBA

10:00—10:30

Rong Xiao

Decomposition and D.V. Computation

10:30—11:00

Tea Break

11:00—11:50

Zhikun She, Bican Xia and Rong Xiao

A Semi-Algebraic Approach for Asymptotic Stability Analysis

12:00—14:30

Chair: B. Xia

Lunch

14:30—15:00

Bingyu Li

Displacement structure based fast algorithms for univariate approximate GCD computations

15:00—15:50

Lihong Zhi

Numerical Optimization in Hybrid Symbic-numeric Computation

15:50—16:20

Tea Break

16:20—17:10

Philippe Trebuchet

TBA

17:10—17:40

A Student

TBA

18:00

Workshop Dinner

9:00—12:00

Group Discussion

12:00—13:30

Lunch

13:30—

Free Discussion

9:00—12:00

Group Discussion

12:00—14:30

Lunch

14:30—17:30

Group Discussion

18:00

Workshop Dinner