First Announcement and Call for Papers
The 10th International Symposium on

Symbolic Computation in Software Science
In the Era of Artificial Intelligence
August 28-30, 2024
Tokyo University of ScienceOverview

Call for Papers

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

Original submissions are invited in two categories: regularresearch papers and work-in-progress papers.

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

Regular research papers must not exceed 15 pages in LNCS
format including references and appendices. It is planned
for the accepted papers to be published in a proceedings inthe Springer LNAI series. Shorter papers on tools may beconsidered in this category and should include a URL fromwhich the tool can be downloaded or accessed online.
Work-in-progress papers need not be original. Concurrent
submission to another conference or a journal is allowed.
Papers in this category are limited in length to 6 pages inthe EPTCS format. The accepted ones will be presented
at the symposium and will be included in the Computing
Research Repository (CoRR).

For more information see
www.scss-conference.org/2024

Papers and abstracts are submitted via the EasyChair submission page:www.easychair.org/conferences/?conf=scss2024

Invited Speakers

Important Dates

Wenshin Lee
Adrian Tate
Stephen Wolfram
Kazuhiro Yokoyama

University of Stirling, UK
NAG Ltd, UK
Wolfram Research, USA
Rikkyo University, JapanScope
The topics of the symposium include, but are not limited
to, the following:• methods for large-scale computer understanding ofmathematics and science• program synthesis, transformation, and verification byAI methods• automated reasoning and knowledge management• theorem proving methods and techniques• formal verification of AI and machine learning algorithms• formal methods for the analysis of security• symbolic methods for computational geometry andimage processing• symbolic methods for semantic web and cloud computing• query languages for symbolic data

2024-03-15:
2024-03-22:
2024-05-01:
2024-06-15:
2024-06-07:
2024-06-21:
2024-08-28:

regular paper title and abstract (updated)
regular paper full submission (updated)
regular paper decision notification
regular paper camera-ready submission
work-in-progress papers submission
work-in-progress papers notification
conference begins

Organization
General Chair Tetsuo Ida, University of Tsukuba
Local Chair
Katsusuke Nabeshima, Tokyo U of ScienceProgram Committee
Stephen Watt
University of Waterloo (Chair)David Cerna
Czech Academy of Sciences
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
Christopher Lynch
Clarkson University
Yasuhiko Minamide Tokyo Institute of Technology
Julien Narboux
LSIIT, CNRS and U. Strasbourg
Wolfgang Schreiner RISC, Johannes Kepler University
Sofiene Tahar
Concordia University
Lihong Zhi
KLMM, Chinese Academy of Sciences