Email Gateway (Feb 23 2024 at 21:51): Email Gateway (Feb 23 2024 at 21:51):From: Temur Kutsia <kutsia@risc.jku.at>
[Apologies for multiple posting]
#############################################################
#############################################################
SCSS 2024 is the 10th International Symposium on Symbolic
Computation in Software Science. It aims 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 significant 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
software construction and analysis.
For more information, see
www.scss-conference.org/2024
Scope
The topics of the symposium include, but are not limited to,
the following
- methods for large-scale computer understanding of mathematics and
science
- program synthesis, transformation, and verification by AI 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 and image processing
- symbolic methods for semantic web and cloud computing
- query languages for symbolic data
Call for Papers
Original submissions are invited in two categories: regular research
papers and work-in-progress papers. 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 proceedings
in the Springer LNAI series. Shorter papers on tools may be considered
in this category and should include a URL from which 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 4 pages in the EPTCS format. The accepted ones
will be presented at the symposium and will be included in the
Computing Research Repository (CoRR).
Papers and abstracts are submitted via the EasyChair submission page:
www.easychair.org/conferences/?conf=scss2024
Important Dates
2024-02-23: regular paper title and abstract submission
2024-03-01: regular paper full submission
2024-05-01: regular paper decision notification
2024-06-15: regular paper camera-ready submission
2024-06-07: work-in-progress papers submission
2024-06-21: work-in-progress papers notification
2024-08-28: conference begins
Invited Speakers
Wenshin Lee University of Stirling, UK
Adrian Tate NAG Ltd, UK
Stephen Wolfram Wolfram Research, USA
Kazuhiro Yokoyama Rikkyo University, Japan
Last updated: Apr 28 2024 at 20:16 UTC