<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body style="word-wrap:break-word;text-justify-trim:punctuation"
vlink="#954F72" link="#0563C1" lang="JA">
<span style="font-size:11.0pt" lang="EN-US">I apologize if you
receive this message more than once.</span>
<div class="moz-forward-container"><span style="font-size:11.0pt"
lang="EN-US"> <br>
<br>
#############################################################<br>
# Second Announcement and Call for Papers<br>
# The 10th International Symposium on <br>
# Symbolic Computation in Software Science<br>
# In the Era of Artificial Intelligence<br>
#<br>
# August 28-30, 2024<br>
# Tokyo University of Science<br>
# <a class="moz-txt-link-abbreviated"
href="http://www.scss-conference.org/2024"
moz-do-not-send="true">www.scss-conference.org/2024</a><br>
#############################################################<br>
<br>
<br>
<br>
SCSS 2024 is the 10th International Symposium on Symbolic<br>
Computation in Software Science. It aims to promote research <br>
on theoretical and practical aspects of symbolic computation in
<br>
software science, combined with modern artificial intelligence
<br>
techniques.<br>
<br>
Symbolic computation is the science of computing with symbolic<br>
objects (terms, formulae, programs, representations of
algebraic<br>
objects, etc.) Powerful algorithms have been developed during<br>
the past decades for the significant subareas of symbolic <br>
computation: computer algebra and computational logic. These<br>
algorithms and methods are successfully applied in various
fields,<br>
including software science, which covers a broad range of<br>
software construction and analysis.<br>
<br>
For more information, see<br>
<a class="moz-txt-link-abbreviated"
href="http://www.scss-conference.org/2024"
moz-do-not-send="true">www.scss-conference.org/2024</a><br>
<br>
***Scope***<br>
<br>
The topics of the symposium include, but are not limited to,<br>
the following<br>
<br>
- methods for large-scale computer understanding of mathematics
and science<br>
- program synthesis, transformation, and verification by AI
methods<br>
- automated reasoning and knowledge management<br>
- theorem proving methods and techniques<br>
- formal verification of AI and machine learning algorithms<br>
- formal methods for the analysis of security<br>
- symbolic methods for computational geometry and image
processing<br>
- symbolic methods for semantic web and cloud computing<br>
- query languages for symbolic data<br>
<br>
***Call for Papers***<br>
<br>
Original submissions are invited in two categories: regular
research<br>
papers and work-in-progress papers. Regular research papers
must not<br>
exceed 15 pages in LNCS format, including references and
appendices.<br>
It is planned for the accepted papers to be published in
proceedings<br>
in the Springer LNAI series. Shorter papers on tools may be
considered<br>
in this category and should include a URL from which the tool
can be<br>
downloaded or accessed online.<br>
<br>
Work-in-progress papers need not be original. Concurrent
submission to<br>
another conference or a journal is allowed. Papers in this
category are<br>
limited in length to 4 pages in the EPTCS format. The accepted
ones will<br>
be presented at the symposium and will be included in the
Computing<br>
Research Repository (CoRR).<br>
<br>
Papers and abstracts are submitted via the EasyChair submission
page:<br>
<a class="moz-txt-link-abbreviated"
href="http://www.easychair.org/conferences/?conf=scss2024"
moz-do-not-send="true">www.easychair.org/conferences/?conf=scss2024</a><br>
<br>
***Important Dates***<br>
<br>
2024-02-23: regular paper title and abstract submission<br>
2024-03-01: regular paper full submission<br>
2024-05-01: regular paper decision notification<br>
2024-06-15: regular paper camera-ready submission<br>
2024-06-07: work-in-progress papers submission<br>
2024-06-21: work-in-progress papers notification<br>
2024-08-28: conference begins<br>
***Invited Speakers***<br>
<br>
Wenshin Lee University of Stirling, UK<br>
Adrian Tate NAG Ltd, UK<br>
Stephen Wolfram Wolfram Research, USA<br>
Kazuhiro Yokoyama Rikkyo University, Japan<br>
<br>
</span>-------------------------------------------------------------------------
<br>
If you do not wish to receive announcements from the Research
Institute for Symbolic Computation (RISC), please send an e-mail
to the following address: <br>
<a class="moz-txt-link-abbreviated moz-txt-link-freetext"
href="mailto:secretary@risc.jku.at" moz-do-not-send="true">secretary@risc.jku.at</a><br>
<span style="font-size:11.0pt" lang="EN-US"><br>
</span>
<div class="moz-forward-container">
<div class="WordSection1"> </div>
</div>
</div>
</body>
</html>