ADG 2010 - Munich

Eighth International Workshop
on
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


Submission
Send your PDF file (abstract or full paper) via EasyChair: http://www.easychair.org/conferences/?conf=adg2010 before Monday, March 1 (new deadline)


Post-Proceedings
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-Logo.png



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

Contact
adg2010@easychair.org


Ad
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.




Lsiit 120.gif
Logo-uds-couleur-800x433.jpg
LogoCNRS.jpeg