|||Call for Papers|||
|||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):
Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any.
abstract submission or contact editors - 2015/02/15
extended deadline (full paper): 2015/03/01
* 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