From: Temur Kutsia <firstname.lastname@example.org>
Call for short and work-in-progress papers
The 9th International Symposium on Symbolic Computation in Software Science
-- In the era of Computational and Artificial Intelligence --
September 8--10, 2021, virtual
Organized by RISC, Johannes Kepler University Linz, Austria
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. These algorithms and methods are successfully
applied in various fields, including software science, which covers a
broad range of topics about software construction and analysis.
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 that 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. The topics
of the symposium include, but are not limited to the following:
automated reasoning, knowledge reasoning, common-sense reasoning and
reasoning in science
algorithm (program) synthesis and/or verification, alignment and joint
processing of formal, semi-formal, and informal libraries.
formal methods for the analysis of network and system security
theorem proving methods and techniques, collaboration between
automated and interactive theorem proving
proof carrying code
formalization and computerization of knowledge (maths, medicine,
methods for large-scale computer understanding of mathematics and science
artificial intelligence, machine learning and big-data methods in
theorem proving and mathematics
formal verification of artificial intelligence and machine learning
algorithms, explainable artificial intelligence, symbolic artificial
cognitive computing, cognitive vision, perception systems and
artificial reasoners for robotics
Submission is via EasyChair:
Researchers and practitioners are invited to submit short papers,
reports on interesting work in progress or system descriptions. They
need not be original. Concurrent submission to another conference or a
journal is allowed. The papers are limited in length to 4 pages (without
references) in the EPTCS format.
The accepted papers will be presented at the symposium and will be
included in a RISC Technical Report.
July 19: submission deadline.
July 26: notification.
September 8-10, 2021: the symposium dates (virtual).
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Tateaki Sasaki (University of Tsukuba, Japan)
Martina Seidl (Johannes Kepler University Linz, Austria)
Stephen M. Watt (University of Waterloo, Canada)
Adel Bouhoula (Arabian Gulf University, Bahrain)
Tetsuo Ida (University of Tsukuba, Japan)
Temur Kutsia (Johannes Kepler University, Austria)
David Cerna (Czech Academy of Sciences, Czech Republic,
and Johannes Kepler University Linz, Austria)
Changbo Chen (Chinese Academy of Sciences, China)
Rachid Echahed (CNRS, Grenoble, France)
Seyed Hossein Haeri (UC Louvain, Belgium)
Mohamed-Bécha Kaâniche (Sup'Com, Carthage University, Tunisia)
Cezary Kaliszyk (University of Innsbruck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (University of Erlangen-Nuremberg, Germany)
Laura Kovacs (Vienna University of Technology, Austria)
Temur Kutsia (Johannes Kepler University Linz, Austria) (Chair)
Zied Lachiri (ENIT, University of Tunis El Manar, Tunisia)
Christopher Lynch (Clarkson University, USA)
Mircea Marin (West University of Timisoara, Romania)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Michaël Rusinowitch (INRIA, France)
Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
Sofiane Tahar (Concordia University, Canada)
Dongming Wang (CNRS, Paris, France)
Last updated: Dec 08 2021 at 08:24 UTC