SCSS 2021: The 9th International Symposium on Symbolic Computation in Software Science RISC, Johannes Kepler University Linz Online, Austria, September 8-10, 2021 |
Conference website | https://www3.risc.jku.at/conferences/scss2021/ |
Submission link | https://easychair.org/conferences/?conf=scss2021 |
Abstract registration deadline | May 31, 2021 |
Submission deadline | June 7, 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. 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.
Submission Guidelines
Original submissions are invited in two categories: regular research papers and tool papers. We recommend using the EPTCS Class format to prepare manuscripts. 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.
Submission is via EasyChair: https://easychair.org/conferences/?conf=scss2021
List of Topics
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. For details, see https://www.risc.jku.at/conferences/scss2021/
Keynote Speaker
- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Invited Speakers
- Tateaki Sasaki (University of Tsukuba, Japan)
- Martina Seidl (Johannes Kepler University Linz, Austria)
- Stephen M. Watt (University of Waterloo, Canada)
Program Committee
- 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)
Publication
The proceedings of SCSS 2021 will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
A special issue of Annals of Mathematics and Artificial Intelligence (AMAI) will be organized after the symposium. Submitted full-length papers will be refereed according to the usual standards of the journal.
Venue
The conference will be held online. It is organized by RISC, Johannes Kepler University Linz, Austria.
Contact
All questions about submissions should be emailed to the PC chair Temur Kutsia (kutsia@risc.jku.at)