ADG 2014

Call for Papers

Call for Papers 
Post-conference Proceedings
Automated Deduction in Geometry (ADG 2014)

Extended deadline: 2015/03/01


ADG is a forum to exchange ideas and views, to present research results and progress,  and to demonstrate software tools at the intersection between geometry and automated deduction.

The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome.

All submissions will be formally reviewed according to the usual standard of international conferences.


Relevant topics include (but are not limited to):

  • polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics;
  • symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams;
  • design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies;
  • applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education.


  • We invite the submission of full papers up to 20 pages.
  • The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings  and Other Multiauthor Volumes available here;
  • Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings).

Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any.

  • If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors.



abstract submission or contact editors - 2015/02/15

extended deadline (full paper): 2015/03/01

Reviews sent to authors:
 2015/04/12 (new date, one week extension)
Revised papers due:
2015/04/24 (new date, one week extension)
Final Decision:
Camera ready copies due:


* Francisco Botana, University of Vigo, Spain.
* Pedro Quaresma, University of Coimbra, Portugal.


* Francisco Botana, University of Vigo, Spain (Chair)
* Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan
* Xiaoyu Chen, Beihang University, China
* Giorgio Dalzotto, ISI N. Machiavelli, Italy.
* Jacques Fleuriot, University of Edinburgh, UK
* Xiao-Shan Gao, Chinese Academy of Sciences, China
* Tetsuo Ida, University of Tsukuba, Japan
* Predrag Janicic, University of Belgrade, Serbia
* Ulrich Kortenkamp, Martin-Luther-Universität Halle-Wittenberg, Germany
* Shuichi Moritsugu, University of Tsukuba, Japan
* Julien Narboux, University of Strasbourg, France
* Pavel Pech, University of South Bohemia, Czech Republic
* Pedro Quaresma, University of Coimbra, Portugal
* Eugenio Roanes-Lozano, Complutense University of Madrid, Spain
* Pascal Schreck, University of Strasbourg, France
* Meera Sitharam, University of Florida, USA
* Thomas Sturm, Max Planck Institute, Germany
* Dingkang Wang, Chinese Academy of Sciences, China
* Dongming Wang, Beihang University, China and UPMC-CNRS, France