Published: 6th September 2021
DOI: 10.4204/EPTCS.342
ISSN: 2075-2180

EPTCS 342

Proceedings of the 9th International Symposium on
Symbolic Computation in Software Science
Hagenberg, Austria, September 8-10, 2021

Edited by: Temur Kutsia

Preface
Temur Kutsia
Keynote paper: Symbolic Computation in Software Science: My Personal View
Bruno Buchberger
1
ArGoT: A Glossary of Terms extracted from the arXiv
Luis Berlioz
14
Implementing Security Protocol Monitors
Yannick Chevalier and Michaël Rusinowitch
22
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers
Amel Nestor Docena, Thomas Wahl, Trevor Pearce and Yunsi Fei
35
Querying RDF Databases with Sub-CONSTRUCTs
Dominique Duval, Rachid Echahed and Frédéric Prost
49
Statistical Model Checking of Common Attack Scenarios on Blockchain
Ivan Fedotov and Anton Khritankov
65
Learned Provability Likelihood for Tactical Search
Thibault Gauthier
78
Congruence Closure Modulo Permutation Equations
Dohan Kim and Christopher Lynch
86
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
Wolfgang Schreiner and Franz-Xaver Reichl
99
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation
Mbarka Soualhia, Foutse Khomh and Sofiene Tahar
114
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning
Sorin Stratulat
129

Preface

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 the International Symposium on Symbolic Computation in Software Science -- SCSS is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques. SCSS 2021 is the ninth edition in the SCSS symposium series. It was organized at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. Due to the COVID-19 pandemic, the symposium was held completely online.

The SCSS program featured a keynote talk by Bruno Buchberger (Johannes Kepler University Linz) and three invited talks given by Tateaki Sasaki (University of Tsukuba), Martina Seidl (Johannes Kepler University Linz), and Stephen M. Watt (University of Waterloo). The symposium received 25 submissions with contributing authors from 17 countries. These submissions have been divided into two tracks: 16 in the category of regular papers and tool/dataset descriptions, and nine in the category of short and work-in-progress papers. Twenty PC members and 15 external reviewers took part in the refereeing process, after which 10 regular / dataset papers and 9 short contributions have been accepted for the presentation at the symposium. The accepted regular and tool papers are included in these proceedings. The short papers appeared in a collection published as a RISC technical report. In addition to the main program, a special session on Computer Algebra and Computational Logic has been held.

On behalf of the Program Committee, I thank the authors of the submitted papers for considering SCSS as a venue for their work and the keynote and invited speakers for their inspiring talks. The PC members and external reviewers deserve thanks for their careful reviews. The EasyChair conference management system has been a very useful tool for PC work. The technical support team at RISC greatly contributed to running the conference smoothly. Finally, I thank all the participants for contributing to the success of the symposium and EPTCS and arXiv for hosting the proceedings.

Temur Kutsia
Program Chair of SCSS 2021

Conference information

General Chairs

Program Chair

Program Committee

External Reviewers

Organization