University of Coimbra

Path
› UC.PT
› English Version
› Events
› ADG
› ADG 2014

10th International Workshop

on

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.

Post-Proceedings: The Post-Proceedings will be published in Lecture Notes in Artificial Intelligence. See the call for papers. Extended deadline (full paper): 2015/03/01

Sponsors: