Email Gateway (Aug 23 2022 at 08:23): Email Gateway (Aug 23 2022 at 08:23):From: Temur Kutsia <kutsia@risc.jku.at>
=========================
SCSS 2020
The 9th International Symposium on Symbolic Computation in Software Science
-- In the era of Computational and Artificial Intelligence --
September 10-13, 2020, Gammarth, Tunisia
https://scss2020.doodlekit.com/
=========================
Overview
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 which interact with humans
naturally by reasoning, aiming at learning at scale.
The purpose of SCSS 2020 is to promote research on theoretical and
practical aspects of symbolic computation in software science, combined
with modern artificial intelligence techniques.
Scope
SCSS 2020 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,
economy, etc.)
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
intelligence
cognitive computing, cognitive vision, perception systems and
artificial reasoners for robotics
component-based programming
Important Dates
Title and abstract due: May 8, 2020
Manuscript due: May 15, 2020
Author notification: July 6, 2020
Early registration: July 31, 2020
Camera ready papers: August 10, 2020
Conference dates: September 10-13, 2020
Invited Speakers
Tateaki Sasaki (University of Tsukuba, Japan)
Jean-Pierre Jouannaud (Ecole Normale Superieure de Paris-Saclay, France)
General Chairs
Adel Bouhoula (Sup'Com, Carthage University, Tunisia)
Tetsuo Ida (Tsukuba University, Japan)
Program Chair
Temur Kutsia (Johannes Kepler University, Austria)
Program Committee
Hassan Ait-Kaci (HAK Language Technologies)
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, Austria) Chair
Zied Lachiri (ENIT, University of Tunis El Manar, Tunisia)
Christopher Lynch (Clarkson University, USA)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Michaël Rusinowitch (INRIA, France)
Sofiane Tahar (Concordia University, Canada)
Mateu Villaret (University of Girona, Spain)
Dongming Wang (CNRS, Paris, France)
Local Organization Committee
Mohamed-Bécha Kaâniche (Sup’Com, Carthage University, Tunisia) (Chair)
Faouzi Jaidi (ESPRIT University, Tunisia) (Website Admin)
Tarek Abbess (Sfax University, Tunisia)
Takoua Kefi (Kairouan University, Tunisia)
Aida ben Chehida (ENIT, University of Tunis El Manar, Tunisia)
Wejdane Saied (Carthage University, Tunisia)
Submission
Submission is via EasyChair:
https://easychair.org/conferences/?conf=scss2020
Submissions are invited in two categories: regular research papers and
tool papers. They should be prepared using the EPTCS LaTeX Class format
(http://eptcs.web.cse.unsw.edu.au/eptcsstyle.zip). Regular research
papers must not exceed 12 pages, with up to 3 additional pages for
technical appendices. Tool papers must not exceed 6 pages. They should
include information about a URL from where the tool can be downloaded or
accessed on-line. Each accepted paper should be presented at the meeting
by one of its authors.
SCSS 2020 Student Abstract and Poster Program
SCSS 2020 invites submissions to the student abstract and poster
program. The goal of this program is to provide a forum in which
students can present and discuss their work during its early stages,
meet some of their peers who have related interests, and introduce
themselves to more senior members of the field. These papers must not
exceed 4 pages in the EPTCS LaTeX Class format
(http://eptcs.web.cse.unsw.edu.au/eptcsstyle.zip).
Publication
The proceedings of SCSS 2020 will be published in the Electronic
Proceedings in Theoretical Computer Science (EPTCS).
A special issue of Annals of Mathematics and Artificial Intelligence
(AMAI) is organized after the symposium. Submitted full-length papers
will be refereed according to the usual standards of the journal.
Last updated: Nov 21 2024 at 12:39 UTC