ADG 2025 Special Issue

Application to AMAI, ADG 2025 Special Issue

Conference ADG 2025 Fifteenth International Conference on Automated Deduction in Geometry, 1, 2 of August 2025, Stuttgart, Germany (satellite event of CADE30), ADG 2025

General Chair: Pedro Quaresma, University of Coimbra, Portugal.

Programme Committee Chair: Julien Narboux, UFR Informatique, University Paris Cité, France.

Quality Management for the AMAI Special Issue

This year edition was a very vivid and successful edition. We had 17 submissions, having accepted 16 to be presented in the conference. The submissions were from 28 authors, from 12 countries: Austria, Belgium, France, Germany, Hungary, Israel, Italy, Poland, Portugal, Serbia, Spain, United States of America.

All the authors were invited to submit extended and improved versions of their papers to the AMAI/ADG special issue. An open call for papers will be issued, and we expect to attract some new submissions.

Our Program Committee (PC-ADG2025) will ensure the level of quality of the last editions proceedings: ADG 2021, AMAI, Volume 91, Number 6, December 2023, ADG 2023, AMAI, already finalised, but still without a volume number. All the submissions will be reviewed by, in average, three reviewers.

Goals, Title and Scope of the Proceedings

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.

Title: ADG 2025, Formalisation of geometry, automated and interactive geometric reasoning

Relevant topics include (but are not limited to):

• polynomial algebra, invariant and coordinate-free methods;

• probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numeric;

• interactive theorem proving in geometry;

• symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams;

• design and implementation of geometry software, automated theorem provers, special-purpose tools, experimental studies;

• applications of ADG in mechanics, geometric modelling, CAGD/CAD, computer vision, robotics and education;

• automated deduction in non-euclidean geometries;

• artificial intelligence methods in automated reasoning in geometry;

• applications in education of automated deduction in geometry.

Authors should prepare their manuscript according to the Instructions for Authors available from the Journal’s submission guidelines https://link.springer.com/journal/10472/submission-guidelines. Submitted papers should present original, unpublished work, relevant to one of the topics of the special issue. All submitted papers will be evaluated on the basis of relevance, significance of contribution, technical quality, scholarship, and quality of presentation by at least two independent reviewers. It is the policy of the journal that no submission, or substantially overlapping submission, be published or be under review at another journal or conference at any time during the review process.

Please note that the authors of selected papers presented at ADG 2025 are invited to submit an extended version of their contributions by taking into consideration both the reviewers’ comments on their conference paper, and the feedback received during presentation at the conference. It is worth clarifying that the extended version is expected to contain a substantial scientific contribution, e.g., in the form of new algorithms, experiments or qualitative/quantitative comparisons, and that neither verbatim transfer of large parts of the conference paper nor reproduction of already published figures will be tolerated.

The extended versions of ADG 2025 papers will undergo the standard, rigorous journal review process and be accepted only if well-suited to the topic of this special issue and meeting the scientific level of the journal. Final decisions on all papers are made by the Editor in Chief.