[Om] Call for Papers , Post-conference Proceedings, ADG 2014

[Miguel Á. Abánades]

[Apologies for multiple copies of this announcement]

----------------------------------------------------------------
Call for Papers 

Post-conference Proceedings

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/01/30
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20141203/e81f7797/attachment.html>