10th International Workshop
Automated Deduction in Geometry
9-11 July 2014
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 nine workshops were held in Edinburgh 2012, Munich 2010, Shangai 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.
The tenth workshop ADG 2014 will be hosted by the Mathematics Department of the University of Coimbra, Portugal, 9-11 July, 2014.
Colocated with: CICM 2014, Conferences on Intelligent Computer Mathematics, 7-11 July.
|Professor Pedro Quaresma|
|Departamento de Matemática|
|Faculdade de Ciências e Tecnologia|
|Universidade de Coimbra|
|3001 - 501 COIMBRA, PORTUGAL|