|
ADG is a forum to exchange ideas and
views, to present research results and progress, and to demonstrate
software tools on the intersection between
geometry and automated deduction.
The previous four workshops were held in Linz 2002, Zurich 2000,
Beijing 1998, and Toulouse 1996.
The fifth workshop ADG 2004 is hosted by
University of Florida
in Gainesville Florida, USA during September 16-18, 2004 .
|