BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2021/newsitem/12429/8- --10-September-2021-The-9th-International-Symposiu m-on-Symbolic-Computation-in-Software-Science-SCSS -2021-Virtual DTSTAMP:20210426T141247 SUMMARY:The 9th International Symposium on Symboli c Computation in Software Science (SCSS 2021), Vir tual DTSTART;VALUE=DATE:20210908 DTEND;VALUE=DATE:20210910 LOCATION:Virtual DESCRIPTION:Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects et c.). Powerful algorithms have been developed durin g the past decades for the major subareas of symbo lic computation: computer algebra and computationa l logic. Meanwhile, artificial intelligence method s and machine learning algorithms are widely used nowadays in various domains and, in particular, co mbined with symbolic computation. Several approach es mix artificial intelligence and symbolic method s and tools deployed over large corpora to create what is known as cognitive systems. Cognitive comp uting focuses on building systems which interact w ith humans naturally by reasoning, aiming at learn ing at scale. The purpose of SCSS 2021 is to prom ote research on theoretical and practical aspects of symbolic computation in software science, combi ned with modern artificial intelligence techniques . SCSS 2021 solicits submissions on all aspects o f symbolic computation and their applications in s oftware science, in combination with artificial in telligence and cognitive computing techniques. Ori ginal submissions are invited in two categories: r egular research papers and tool papers. Regular re search papers must not exceed 12 pages with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages. X-ALT-DESC;FMTTYPE=text/html:
\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\n

The 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