Second International Workshop

Automated Deduction in Geometry

Beijing, China, August 1-3, 1998

The second international workshop on Automated Deduction in Geometry (ADG '98) will be held in Beijing, China, August 1-3, 1998. The first ADG workshop - ADG '96 - was held in Toulouse, France in 1996, and its proceedings appeared as volume 1360 in Springer-Verlag's LNAI series. We hope to publish the proceedings of ADG '98 in the same LNAI series.


Research activities continue to contribute various powerful techniques (synthetic, analytic, algebraic, logic, numerical, etc.) and tools for automated geometric deduction. The main objective of ADG '98 is to bring together active researchers on the subject to review the current state of the art, to report research results and progress, and to exchange ideas for future developments and cooperation. Special attention will be paid to the interaction of the subject with other disciplines and its potential industrial applications in geometric modeling, CAGD/CAD, computer vision, and robotics.

Workshop site

ADG '98 will be hosted by the Mathematics Mechanization Research Center (MMRC) of Academia Sinica, where Wu's method was born. MMRC has been known in particular for its research accomplishments on automated geometry theorem proving. Beijing offers numerous places of cultural and historical interest for domestic and foreign visitors. The workshop participants may also take the opportunity for sightseeing and to view recent impressive developments elsewhere in China.


The program of ADG '98 will feature a keynote talk by Prof. Wen-tsün Wu, an invited lecture by Prof. Jing-Zhong Zhang, and original technical presentations. Sufficient time slots will be reserved for informal discussion and exchange of new ideas.


All speakers at the workshop will be by invitation, and the number is limited to 25. However, potential participants are encouraged to contact the organizers. All attendees are asked to be responsible for their own travel and lodging expenses.

Important dates

Abstract submission deadline:
Workshop taking place:
Full paper submission deadline:
Notification of acceptance:
Camera-ready copy due:
June 15, 1998
August 1-3, 1998
September 15, 1998
November 15, 1998
December 14, 1998

Electronic submissions are preferred and should be sent to one of the organizers listed below.


Xiao-Shan Gao
MMRC, Academia Sinica, China
Fax (86) 10 6256 8364

Dongming Wang
LEIBNIZ, Institut IMAG, France
Fax (33) 4 76 57 46 02

Lu Yang
CICA, Academia Sinica, China
Fax (86) 28 522 9361

Other details (registration, travel, lodging, etc.) follow here.

Relevant links

Third Asian Symposium on Computer Mathematics (Lanzhou, China, August 6-8, 1998)

ADG '96

Bibliography on Geometric Reasoning