[TYPES/announce] CfP: SCML-2026 - International Conference on Symbolic Computation and Machine Learning

[Temur Kutsia]

========================================================================
                 SCML-2026: International Conference on
                Symbolic Computation and Machine Learning
                   July 6-8, 2026, Hagenberg, Austria
                https://urldefense.com/v3/__https://scml.risc.jku.at/conference-2026/__;!!IBzWLUs!WE6wuIYz-Q0raqkwWHi_KO1_fTZdDgUQBLL0k-EDlo9swcTQe8HId5_BSL_9CnDdMywGWBG_rKERLyKo4no6oA6_vN_jxBeb$ 
========================================================================
Organized by the Research Institute for Symbolic Computation (RISC)
as part of the RISC Summer 2026 jointly with the SCDDE 2026 workshop
on Symbolic Computation and Differential and Difference Equations.

CALL FOR PRESENTATIONS

The SCML-2026 conference is dedicated to all research that strives to
combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two
major approaches to "Artificial Intelligence", in particular to the
application of ML to SC, the application of SC to ML, and the hybrid
combination of SC and ML to solving problems. SCML-2026 provides ample
space to exchange ideas and discuss recent approaches in this newly
emerging research field. It presents, in particular, plenty of
opportunities to discuss new research projects, form project consortia,
and identify funding programs in this area.

SCML-2026 is a "presentation-oriented" conference that solicits
submissions in the form of extended abstracts (1-2 pages) which are only
briefly reviewed with respect to their relevance to the topics of the
conference. The abstracts of accepted presentations are collectively
published as a "conference booklet" in the frame of the SCML publication
forum. At least one author of an accepted abstract is required to
register as a presenter at the conference.

CALL FOR FULL PAPERS

Furthermore, we explicitly encourage the SCML-2026 authors to also
submit full papers related to their presentations to the

   SCML Publishing Forum
   https://urldefense.com/v3/__https://scml.risc.jku.at/__;!!IBzWLUs!WE6wuIYz-Q0raqkwWHi_KO1_fTZdDgUQBLL0k-EDlo9swcTQe8HId5_BSL_9CnDdMywGWBG_rKERLyKo4no6oA6_vEp_Q7DD$ 

where they are refereed according to the rules of the forum and, if
accepted, published there. According to the "continuous call for papers"
of the SCML publishing forum, papers can be submitted at any time before
or after the conference (without deadline). However, the acceptance of a
presentation at the SCML-2026 conference does not depend on the
acceptance of a paper at the SCML publishing forum. On the other hand,
if a paper accepted for the SCML publication forum is already presented
at the SCML-2026 conference, we waive its presentation at a later SCML
virtual workshop.

TOPICS

Examples of topics in the scope of SCML-2026 are:

* Applying ML to computer mathematics, algebra, geometry;
   integrating ML into mathematical software systems.
* Applying ML to automated reasoning, theorem proving, satisfiability
   solving; integrating ML into interactive and automated provers.
* Applying ML to the synthesis of programs ("vibe coding") and their
   verification; integrating ML into program verification systems.
* Applying SC to analyzing ML models ("explainable AI"), deriving error
   bounds, ensuring robustness, interpreting answers.
* Applying SC to verifying ML models ("verified AI"), preventing errors
   and hallucinations.
* Applying SC to synthesizing ML models with guaranteed error bounds,
   robustness, correctness properties.
* Integrating SC capabilities (such as computer algebra and automated
   reasoning) into ML models.
* Applying LLMs to the automatic formalization of
   mathematical/logical texts.
* Applying LLMs as natural language interfaces to SC systems,
   integrating co-pilots into SC systems.
* Combining linguistic reasoning (LLMs) and formal reasoning
   (theorem provers).
* Combining LLMs and SC systems for education.
* Teaching (for example, in mathematics) using a combination of
   SC and ML systems.
* Software and system descriptions, datasets, benchmarks, and
   metrics related to the interplay of SC and ML.

All in all, we consider submissions that explore the interaction between
the two fields of SC and ML - not standalone works on either SC or ML.

DATES

December 15, 2025: Opening of submissions
March 2, 2025:     Opening of registrations
April 27, 2026:    DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS
May 11, 2026:      Last notifications of acceptance
May 25, 2026:      Deadline for registrations of presenters
June 15, 2026:     Deadline for registration of non-presenters
July 6, 2026:      Start of conference

After the submission of an extended abstract, the notification of
acceptance is sent out WITHIN TWO WEEKS.

CONTACT

Email: scml at risc.jku.at
Web:   https://urldefense.com/v3/__https://scml.risc.jku.at/conference-2026/__;!!IBzWLUs!WE6wuIYz-Q0raqkwWHi_KO1_fTZdDgUQBLL0k-EDlo9swcTQe8HId5_BSL_9CnDdMywGWBG_rKERLyKo4no6oA6_vN_jxBeb$ 

Please consider subscribing to the SCML Mailing List

   https://urldefense.com/v3/__https://scml.risc.jku.at/conference-2026/mailinglist/__;!!IBzWLUs!WE6wuIYz-Q0raqkwWHi_KO1_fTZdDgUQBLL0k-EDlo9swcTQe8HId5_BSL_9CnDdMywGWBG_rKERLyKo4no6oA6_vCdxiMkC$ 

in order to stay informed about the SCML-2026 conference.
=======================================================================