\n

Symbolic Computation is the science of computing with symbo lic objects (terms, formulae, programs, representa tions of algebraic objects etc.). Powerful algorit hms have been developed during the past decades fo r the major subareas of symbolic computation: comp uter algebra and computational logic. Meanwhile, a rtificial intelligence methods and machine learnin g algorithms are widely used nowadays in various d omains and, in particular, combined with symbolic computation. Several approaches mix artificial int elligence and symbolic methods and tools deployed over large corpora to create what is known as cogn itive systems. Cognitive computing focuses on buil ding systems which interact with humans naturally by reasoning, aiming at learning at scale.

\n\nThe purpose of SCSS 2021 is to promote resear ch on theoretical and practical aspects of symboli c computation in software science, combined with m odern artificial intelligence techniques.

\n\n

SCSS 2021 solicits submissions on a ll aspects of symbolic computation and their appli cations in software science, in combination with a rtificial intelligence and cognitive computing tec hniques. Original submissions are invited in two c ategories: regular research papers and tool papers . Regular research papers must not exceed 12 pages with up to 3 additional pages for technical appen dices. Tool papers must not exceed 6 pages.

\n< /div> URL:https://www.risc.jku.at/conferences/scss2021/ END:VEVENT END:VCALENDAR