News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

8 - 10 September 2021, The 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Virtual

Date: 8 - 10 September 2021
Location: Virtual
Deadline: Tuesday 18 May 2021

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. 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.

The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.

SCSS 2021 solicits submissions on all aspects of symbolic computation and their applications in software science, in combination with artificial intelligence and cognitive computing techniques. Original submissions are invited in two categories: regular research papers and tool papers. Regular research papers must not exceed 12 pages with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages.

Please note that this newsitem has been archived, and may contain outdated information or links.