10th International Workshop on Automated Deduction in Geometry
 
  Logo
 
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
URL:  http://www.uc.pt/en/congressos/adg/adg2014
Start Date:   2014-07-09
End Date:   2014-07-11
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support