[SMT-LIB] Formalization of Geometry, Automated and Interactive Geometric Reasoning

[Geoff Sutcliffe]

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 at unistra.fr>,
    Tetsuo Ida <ida at cs.tsukuba.ac.jp>,
    Laura Kovacs <lkovacs at forsyte.tuwien.ac.at>