American Mathematical Society

My Account · My Cart · Customer Services · FAQ  

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.


Description

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.

Information

http://www.uc.pt/en/congressos/adg/adg2014/.