ADG 2000

The Third International Workshop on

Automated Deduction in Geometry

Zurich, Switzerland, September 25-27, 2000

The International Workshops on Automated Deduction in Geometry (ADG) have become a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools. Applications of ADG to CAGD/CAD, computer vision and geometry education presented at the previous two workshops held in Beijing, August 1998 and Toulouse, September 1996 shed new light on the perspectives of ADG. The third workshop ADG 2000 to be held in Zurich, Switzerland, September 25-27, 2000 will continue ADG's emphasis on theory and algorithms, implementation, experiments, and applications to science, engineering and industry.

Important Dates


Specific topics for ADG 2000 include (but are not limited to):

Invited Speakers

Open Session Speaker

Program Committee


Potential participants of ADG 2000 are invited to submit an extended abstract of three or more pages or a full paper describing their work to be presented at ADG 2000. The submitted extended abstracts and full papers will be reviewed by members of the program committee (PC) for presentation at the workshop. Electronic submissions are preferred, and should be sent to both of the PC co-chairs:


Authors of the extended abstracts and full papers accepted for presentation at the workshop will be invited to submit their full and/or revised papers for publication in the proceedings of ADG 2000 after the workshop. The submitted papers will be formally reviewed by PC members and external referees. It is expected that the accepted papers will be published as a volume in the LNAI series by Springer-Verlag. The proceedings of ADG '96 and ADG '98 appeared as LNAI 1360 and LNAI 1669 respectively.

Workshop Site

The workshop ADG 2000 will take place at ETH Zurich (Federal Institute of Technology) in Switzerland. The presentations will be in the IFW building (Department for Computer Science). For general visitor information click here. Facilities for slides and computer demonstrations will be provided.


Workshop Program

For other details (registration, travel, lodging, etc.) click here.

Relevant Links

ADG '98 and ADG '96

Bibliography on Geometric Reasoning

© ADG 2000