Logic List Mailing Archive

CfP special issue of JSC on interaction of symbolic computation & machine learning, Deadline: 17 Sep 2023

Call for papers

Journal of Symbolic Computation
Special Issue on the Interaction of Symbolic Computation and Machine Learning 
in Artificial Intelligence


Extended submission deadline: September 17

Symbolic computation (SC) aims at providing algorithmic solutions to problems 
dealing with symbolic objects such as terms, formulas, programs, 
representations of algebraic objects, etc. Algorithms and methods developed for 
the major subfields of SC (computer algebra, computational logic, automatic 
programming) have found successful applications in various areas.

From the beginning, SC was also considered a major approach to "artificial 
intelligence", since the problems solved by SC, typically, are problems that 
were considered hard for "human intelligence" (like symbolic integration, 
theorem proving, SAT/SMT solving, program verification, hardware verification, 

Meanwhile, recent advances in artificial intelligence methods have provided new 
exciting opportunities in science and industry, being more and more integrated 
into most aspects of life. Machine learning (ML) methods, developed in parallel 
to symbolic methods for solving hard "artificial intelligence" problems, 
achieved spectacular results in numerous applications in recent years.

This special issue is dedicated to the interaction of symbolic computation and 
machine learning methods seen as the two major approaches to "artificial 
intelligence". We expect dramatic advances from a much closer interaction of 
the SC and the ML approaches to artificial intelligence. This interplay is, in 
fact, essential in the current scenario where the economy and society demand 
the development of complex, data-intensive, trustable, and high-performant 
computational systems that accompany humans in more and more facets of their 
daily life.

The special issue is organized as a follow-up of the 24th International 
Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 
2022. Participants of the symposium, as well as other authors, are invited to 
submit contributions. We welcome submissions describing the interaction of SC 
and ML methods, techniques, and tools, and their applications in AI.

This special issue welcomes high-quality contributions, including papers with 
original research results as well as review articles. They will be 
peer-reviewed using the standard refereeing procedure of the Journal of 
Symbolic Computation.

Submitted papers must be in English, prepared in LaTeX according to the 
guidelines of the journal:

PDF versions of manuscripts must be submitted via Journal of Symbolic 
Computation online submission system (Editorial Manager):


Please select the article type "VSI: SYNASC 2022" when submitting your 
manuscript online.

Submission deadline: September 17, 2023

Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Mircea Marin (West University of Timisoara, Romania)
Wolfgang Windsteiger (RISC, Johannes Kepler University Linz, Austria)

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) in cooperation with the ILLC at the Universiteit van Amsterdam