---------------------------------------------------------------- Call for Papers
Post-conference Proceedings Extended deadline: 2015/02/13 Automated Deduction in Geometry (ADG 2014) http://www.uc.pt/en/congressos/adg/adg2014 -------------------------------------------------------------------- *OVERVIEW* 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. *SCOPE* 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. *SUBMISSION GUIDELINES* 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. *IMPORTANT DATES* Submission: 2015/02/13 Reviews sent to authors: 2015/03/20 Revised papers due: 2015/03/27 Final Decision: 2015/04/03 Camera ready copies due: 2015/04/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * 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
_______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
