Outils personnels

ADG 2010 - Munich

ADG 2010 - Munich

ADG 2010 - Munich:About

De ADG 2010 - Munich

Révision datée du 1 novembre 2009 à 23:22 par Schreck (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

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, China, from July 22 to July 24, 2010