10th International Workshop on Automated Deduction in Geometry, ADG 2014
Month: July 2014
Date: July 9--11
Name: 10th International Workshop on Automated Deduction in Geometry, ADG 2014
Location: University of Coimbra, Coimbra, Portugal.
ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presentation of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction. ADG organizes a workshop every two years. The previous editions were held in Edinburgh (UK) 2012, Munich (Germany) 2010, Shangha (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996.