UC.PT

Sixth International Workshop

on

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 contributed talks. If you are interested, send your slides to J. Escribano or M.A. Abanades.
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