SRATC 2008 - International Seminar on
Symbolic Real Algebra and Trustworthy Computing
Shanghai, China, April 3-5, 2008
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:
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
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)
Liyong Shen, Min Wu (chair), Zhenbing Zeng, Shizhong Zhao
Institute of Theoretical Computing,
East China Normal University
|Click here to check the program.|
East China Normal University, Shanghai, China
- Address of Hotel
No. 3663 North Zhongshan Rd., East China Normal University
- Room Reservation
Please contact Min Wu.
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 firstname.lastname@example.org 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:
Please contact Min Wu if you need any local assistance.