Sixth International Workshop
Automated Deduction in Geometry
THANKS FOR YOUR PARTICIPATION IN ADG 2006
NEW: You can find a copy of the slides used in the invited and
If you are interested, send your slides to J. Escribano or
PHOTOS: Enjoy the photos of
the meeting at Pontevedra
and of the visit to Santiago de Compostela.
More photos by D. Wang.
If you have photos, please send them to us!
ADG 2008: Presentation with all the info on the next ADG meeting in Shanghai
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 five workshops were held in
Gainesville (2004), Linz (2002), Zurich (2000), Beijing (1998), and
Toulouse (1996). The sixth workshop ADG 2006 is hosted by Universidad de Vigo at its campus in
Pontevedra, Spain from August 31 to September 2, 2006. ADG 2006 is a satellite activity of