SRATC 2008 - International Seminar on

Symbolic Real Algebra and Trustworthy Computing

Shanghai, China, April 3-5, 2008


General Information


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

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



Institute of Theoretical Computing, East China Normal University
School of Mathematical Sciences, Peking University
School of Science, Beihang University



Please contact Bican Xia and/or Min Wu if you have questions or need further information about the seminar.

Click here to check the program.
Local Information

Seminar Location

East China Normal University, Shanghai, China



- Address of Hotel

No. 3663 North Zhongshan Rd., East China Normal University
Shanghai, China, 200062
Tel.: 021-62233518
Fax: 021-62233051


- Room Reservation

Please contact Min Wu.

Visa Application

It is convenient to apply for a tourist visa to enter China. In this case, you do not need any document from us. If you want to apply for a business visa to enter China, please contact and we will send you an invitation letter.


All international flights arriving in Shanghai land at Shanghai Pudong International Airport.

It takes about one hour and half to get to East China Normal University from the airport by taxi, and the fare is about 200 yuan.

For domestic travelers:

-- 从虹桥机场到华东师范大学中山北路校区:乘出租车约35元

-- 从上海火车站到华东师范大学中山北路校区:乘出租车约25元

-- 从上海南站到华东师范大学中山北路校区:先乘轻轨3号线或4号线到金沙江路站下,乘出租车或步行15分钟至华师大

Please contact Min Wu if you need any local assistance.