Aims and scope

The scope of Annals of Mathematics and Artificial Intelligence is intended to represent a wide range of topics of concern to scholars applying quantitative, combinatorial, logical, algebraic and algorithmic methods to Artificial Intelligence areas as diverse as decision support, automated deduction, reasoning, knowledge-based systems, machine learning, computer vision, robotics and planning.

The journal is aimed at: applied logicians, algorithms and complexity researchers, Artificial Intelligence theorists and applications specialists using mathematical methods.

It is hoped to influence the spawning of new areas of applied mathematics and the strengthening of the scientific underpinnings of Artificial Intelligence.

Annals of Mathematics and Artificial Intelligence consists of collections of papers appearing either in volumes (400 pages) or in separate issues (100-300 pages). These collections of papers will focus on one topic and will feature one or more guest editors.

Potential guest editors are invited to submit their proposal to the Editor-in-Chief. Please note that collections on topics within intelligent systems that show a strong foundational component are strongly encouraged. All information regarding the contents of Annals of Mathematics and Artificial Intelligence should be addressed to the Editor-in-Chief.

Special Issue on ADG 2025
Submission Date: 2026-04-01

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.

Special Issue on Learning and Intelligent Optimization: Selected and extended Papers from the LION19 conference
Submission Date: 2026-04-01

Learning and Intelligent Optimization: Selected and extended Papers from the LION19 conference

This special issue will invite extended papers from LION19 (The 19th Learning and Intelligent Optimization Conference), which will be held on June 15–19, 2025, Prague, Czech Republic. The submissions extended from the LION19 contributions are expected to have at least 30% new, non-trivial, content.

Guest editors

Yingqian Zhang
Eindhoven University of Technology

Milan Hladik
Charles University

Hossein Moosaei
Jan Evangelista Purkyně University

Topics of the special issue

The topics include the research between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Topics of interest include but not limited to:

OR for ML and AI
ML and AI for OR
Deep learning
Reinforcement learning
Optimization techniques
Quantum machine learning
Quantum optimization
Parallel methods for Optimization, OR, ML and AI
Large-scale problems
Robust optimization and its applications
Applications of these topics in robotics, economics, energy, environmental sciences, healthcare, management, and other real-world areas.
Surveys and future-oriented papers.