Logic List Mailing Archive

CfP special issue of AMAI on "Formalisation of Geometry, Automated and Interactive Geometric Reasoning"

Annals of Mathematics and Artificial Intelligence

    special issue on

Formalization of Geometry, Automated and Interactive Geometric Reasoning

Call-for-Papers

For this special issue of AMAI, we are seeking original contributions on
various aspects of formalization of geometry having in view computational
applications mainly oriented to proof but also to modeling in geometry.
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 formalization of geometry to mechanics, geometric
   modeling, CAGD/CAD, computer vision, robotics, and education.

Important dates:

September 1, 2017: paper submission
     via http://www.editorialmanager.com/amai/
     selecting the issue: S688 Formalization of Geometry and Reasoning
January 1, 2018:   author notification
March 1, 2018:     revisions and camera-ready paper submission

Guest Editors:
     Pascal Schreck <schreck@unistra.fr>,
     Tetsuo Ida <ida@cs.tsukuba.ac.jp>,
     Laura Kovacs <lkovacs@forsyte.tuwien.ac.at>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam