July 11-12, 2004
Peking University, Beijing, China
The theory and practice of computation in real algebra and real geometry and related domains has generated an increasing interest both for its theoretical possibilities and its usefulness in applications in science and engineering. This workshop ---- the 8th International Workshop on Mathematics Mechanization (IWMM) ---- takes as its theme " Computational Real Algebra and Real Geometry ", reflecting the important role that constructive methods playing in the research of real algebra and real geometry. It will bring together the world's highly respected authorities on computational real algebra and real geometry to share their knowledge and exchange their ideas.
If you want to give a presentation at the workshop, please send the title and an abstract to one of the organization committee co-chairs.
Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences
LMAM & School of Mathematical Sciences, Peking University
Xiao-Shan Gao (Institute of Systems Science, CAS)
Bican Xia (co-chair, School of Mathematical Sciences, Peking University) firstname.lastname@example.org
Lu Yang (co-chair, Institute for Educational Softwares, Guangzhou University) email@example.com
Hoon Hong, North Carolina State University, USA
Thomas Sturm, University of Passau, Germany
Fabrice Rouillier, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA), France
Philippe Aubry, Université Pierre et Marie Curie, France
There is no registration fee. If you want to attend the tour after the workshop, you need to pay 150 RMB. To register please send an email to one of the co-chairs.
The workshop will be held in Shao Yuan Hotel inside the beautiful campus of Peking University.
The guest rooms in the conference hotel all have two beds, and the discount price during the conference is between $25 and $35 per night. We have reserved a limited number of hotel rooms. If you need a room in the hotel, plese inform us as soon as possible.
It is convenient to apply a tourist visa to enter China. In this case, you do NOT need any document from us. If you want to apply a business visa to enter China, please contact us.