SRATC 2008 - International Seminar on

Symbolic Real Algebra and Trustworthy Computing

Shanghai, China, April 3-5, 2008

General Information

Introduction

This seminar will provide the participant with an opportunity to learn basic techniques and recent advances on some selected topics of symbolic real algebra and trustworthy computing, to present his or her own research, and to discuss his or her work, ideas and new findings with others.

One clear objective of the seminar is to bring together foreign experts and Chinese researchers actively working on symbolic real algebra and trustworthy computing to exchange ideas, views, and new results and to build up contacts for future cooperation. If you are interested in attending this seminar and giving a 30-minute talk, please send the title and an abstract of your talk to the organizers by February 20, 2008. Your work on any aspect interrelating symbolic real algebra and trustworthy computing will be considered for presentation at the seminar. Specific topics include:

Computational real algebra
Computational real algebraic geometry
Automated proving and discovering of inequalities
Real solving of semi-algebraic systems
Symbolic methods for trustworthy computing
Software tools for symbolic real algebra
Applications of symbolic real algebra in program verification, optimization, control theory, and automated reasoning

There is no registration fee for the seminar. Partial financial support for the local expenses of a limited number of participants will be provided.

SRATC 2008 is the fourth in a series of seminars, organized in China, on various subjects interacted with symbolic computation. The previous three seminars were on

Geometric Computation (Hefei, China, April 24-26, 2002), with a book published by World Scientific,
Differential Equations with Symbolic Computation (Beijing, China, April 14-16, 2004), with a book published by Birkhäuser,
Symbolic Computation in Education (Beijing, China, April 12-14, 2006), with a book published by World Scientific.

It is expected that a volume in connection with SRATC 2008 will also be published after the meeting.

A previous workshop on Computational Real Algebra and Real Geometry that covers most of the topics of this seminar was held at Peking University, Beijing, China in July 2004.

The 4th International Conference on Computers in Scientific Discovery (CSD4) will also be held in the East China Normal University (ECNU, Shanghai, China) from March 30 to April 3, 2008.

Confirmed Invited Speakers

Xiao-Shan Gao (KLMM, Chinese Academy of Sciences)

Deepak Kapur (University of New Mexico, USA)

Manuel Kauers (RISC-Linz, Austria)

Marc Moreno Maza (ORCCA, Canada)

Thomas Sturm (University of Passau, Germany)

Wenping Wang (The University of Hong Kong)

Program Chairs

Dongming Wang, Bican Xia, Lu Yang

Organization Committee

Liyong Shen, Min Wu (chair), Zhenbing Zeng, Shizhong Zhao