Eighth International Workshop
Automated Deduction in Geometry
July 22-24 2010
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 seven workshops were held in Shanghaï 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.
The eighth workshop ADG 2010 will be hosted in Munich, Germany, by the Technical University Munich, from July 22 to July 24, 2010
Send your PDF file (abstract or full paper) via EasyChair: http://www.easychair.org/conferences/?conf=adg2010 before Monday, March 1 (new deadline)
We invite authors of outstanding contributions to submit full articles for the post-proceedings, they will be published in Springer Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence.
LNAI 6877 is now available online. You can find information about it at http://www.springer.com/computer/ai/book/978-3-642-25069-9
This site is hosted by LSIIT (laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection - Image Sciences, Computer Sciences and Remote Sensing Laboratory) a mixed research unit of Université de Strasbourg and of CNRS.