ADG 2010 - Munich
ADG 2010 - Munich
Différences entre les versions de « Accueil »
De ADG 2010 - Munich
m |
m |
||
| Ligne 11 : | Ligne 11 : | ||
</big></big> | </big></big> | ||
</center> | </center> | ||
| + | <br><br> | ||
'''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.<br><br> | '''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.<br><br> | ||
Version du 1 novembre 2009 à 16:18
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 Shangaï 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.
The eighth workshop ADG 2010 will be hosted in Munich, China, from July 22 to July 24, 2010
Proceedings
It is planned to invite authors of outstanding contributions to submit full articles for the post-proceedings, which are planned to be published in Springer LNCS or LNAI.
Contact
