Path:  Home   >  10th International Workshop on Automated Deduction in Geometry
10th International Workshop on Automated Deduction in Geometry
Description: 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.
Place:   DMat UC
Start Date:   2014-07-09
End Date:   2014-07-11
Research Groups: -History and Methodology of Mathematics
See more:   <Main>  
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support