SRATC 2008

Symbolic Real Algebra and Trustworthy Computing

Seminar Program

Thursday, April 3

A tour to Zhou Zhuang.

Friday, April 4

Chair: C. Zhou

8:30—8:40	Welcome
8:40—9:40	Deepak Kapur University of New Mexico, USA Can Algebraic Geometry Rescue Program Verification?
9:40—10:00	Tea break
10:00—11:00	Bican Xia Peking University, China A Symbolic Decision Procedure for Termination of Linear Programs
11:00—11:15	Tea break
11:15—12:15	Wu Liu Tsinghua University, China Trust Based Network Security Management Framework
12:15—14:00	Lunch
Chair: T. Sturm
14:00—15:00	Wenping Wang The University of Hong Kong, Hong Kong Classification of Intersection Curves of Two Quadrics
15:00—15:15	Tea break
15:15—16:15	Xiao-Shan Gao Chinese Academy of Sciences, China Determine the Topology of Real Algebraic Curves and Surfaces
16:15—16:30	Tea break
16:30—17:30	Naijun Zhan Chinese Academy of Sciences, China Generating Polynomial Invariants and Ranking Functions by Reduction to Semi-Algebraic System Solving
18:30	Workshop dinner

Saturday, April 5

Chair: M. Moreno Maza

8:30—9:30	Thomas Sturm University of Passau, Germany REDLOG as a Tool in Symbolic Algebra and Trustworthy Computing
9:30—10:00	Jing Yang Beihang University, China Real Parametrization of Semi-algebraic Systems
10:00—10:30	Tea break
10:30—11:30	Manuel Kauers RISC-Linz, Austria Pillwein's Proof of Sch\"oberl's Conjecture
11:30—12:00	Rong Xiao Peking University, China Checking Local Extrem
12:00—14:00	Lunch

Chair: D. Wang

14:00—15:00	Marc Moreno Maza ORCCA, Canada Triangular Decompositions of Polynomial Systems: From Practice to High-Performance
15:00—15:30	Zhiyou Wu Chongqing Normal University, China Filled Function Methods for Global Optimization Problems
15:30—16:00	Tea break
16:00—16:30	Wenyuan Wu University of Western Ontario, Canada Symbolic-Numeric Methods in Partial Differential Algebraic Equations
16:30—17:00	Meijing Shan East China Normal University, China Hybrid Method for Solving Bivariate Polynomial Systems
18:30	Workshop dinner