SCSS 2024 is the 10th International Symposium on Symbolic Computation in Software Science. Its purpose is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques. 

Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.) Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. These algorithms and methods are successfully applied in various fields, including software science, which covers a broad range of topics about software construction and analysis.

Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.

Submission Guidelines

The following paper categories are welcome:

• Regular research papers presenting original work not under consideration elsewhere must not exceed 15 pages in LNCS format includingreferences and appendices.  It is planned for the accepted papers tobe published in a proceedings in the Springer LNAI series.  Shorter paperson tools may be considered in this category and should include a URL from which the tool can be downloaded or accessed on-line.
• Work-in-progress papers need not be original. Concurrent submission to anotherconference or a journal is allowed. Papers in this category are limited inlength to 6 pages in the EPTCS format. The accepted ones will be presentedat the symposium and will be included in a CoRR proceedings.

List of Topics

• methods for large-scale computer understanding of mathematics and science

• program synthesis, transformation and verification, including by AI methods

• automated reasoning and knowledge management

• theorem proving methods and techniques

• alignment and joint processing of formal, semi-formal and informal libraries

• formal methods for the analysis of security

• proof carrying code

• formal verification of AI and ML algorithms, explainable AI, symbolic AI

• intelligent geometric methods, including computational origami

• query languages for symbolic data

• symbolic methods for semantic web and cloud computing

• analysis of symbolic algorithms.

Committees

Program Committee

• David Cerna (Czech Academy of Sciences Institute of Computer Science)
• Changbo Chen (Chinese Academy of Sciences)
• Rachid Echahed (CNRS and University of Grenoble)
• David Jeffrey (University of Western Ontario)
• Cezary Kaliszyk (University of Innsbruck)
• Yukiyoshi Kameyama (University of Tsukuba)
• Laura Kovacs (TU Wien)
• Temur Kutsia (RISC, Johannes Kepler University Linz)
• Christopher Lynch (Clarkson University)
• Yasuhiko Minamide (Tokyo Institute of Technology)
• Julien Narboux (LSIIT, CNRS and Université de Strasbourg)
• Wolfgang Schreiner (Johannes Kepler University Linz)
• Sofiene Tahar (Concordia University)
• Stephen Watt (University of Waterloo)
• Lihong Zhi (KLMM, Chinese Academy of Sciences)

Organizing committee

• General Chair: Tetsuo Ida (University of Tsukuba)
• Local Arrangements Chair: Katsusuke Nabeshima (Tokyo University of Science)
• Program Committee Chair: Stephen Watt (University of Waterloo)

Invited Speakers

• Wenshin Lee (University of Stirling)
• Adrian Tate (NAG Ltd)
• Stephen Wolfram (Wolfram Research)
• Kazuhiro Yokoyama (Rikkyo University)

Venue

The conference will be held at the Tokyo University of Science, Kagurazaka campus.