• Symbolic computation for software science
  • September 8–10, 2021
  • Virtual
  • RISC, JKU Linz, Austria

Symposium Program

All times are CEST (Central European Summer Time), GMT+2. Currently:
In multi-author papers, the speakers are underlined.

WEDNESDAY, SEPTEMBER 8
10:50-11:00: Opening

11:00-12:00: Keynote Talk. Bruno Buchberger. Chair: Temur Kutsia
Symbolic Computation in Software Science: My Personal View

12:00-12:40: Break

Session 1 (regular papers and tool descriptions). Chair: Christopher Lynch
12:40-13:10 Thibault Gauthier
Learned Provability Likelihood for Tactical Search
13:10-13:40: Wolfgang Schreiner and Franz-Xaver Reichl
First-Order Logic in Finite Domains - Where Semantic Evaluation Competes with SMT Solving

13:40-14:00: Short break

14:00-15:00: Invited Talk. Stephen M. Watt. Chair: Tudor Jebelean
Mathematical Libraries and Knowledge Management

15:00-15:20: Short break

Session 2 (regular papers and tool descriptions). Chair: Dongming Wang
15:20-15:50: Amel Nestor Docena, Thomas Wahl, Trevor Pearce and Yunsi Fei
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers
15:50-16:20: Luis Berlioz
ArGoT: A Glossary of Terms extracted from the ArXiv

16:20-16:40: Short break

Session 3 (short and work-in-progress papers). Chair: Sorin Stratulat
16:40-17:00: David Plaisted and Lee Barnett
A Term-Rewriting Semantics for Imperative Style Programming: Summary (recording)
17:00-17:20: Amina Sahbi, Faouzi Jaidi and Adel Bouhoula
An Intelligent Solution to Detect Security Policy Violations in SDN Data Plane
17:20-17:40: Stefan Gyürki
A Systematic Search for Vertex Transitive Directed Strongly Regular Graphs


THURSDAY, SEPTEMBER 9
11:00-12:00: Invited Talk. Martina Seidl. Chair: David Cerna
Competitions as Scientific Method

12:00-12:40: Break

Session 4 (regular papers and tool descriptions). Chair: Yoshihiro Mizoguchi
12:40-13:10 Sorin Stratulat
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning
13:10-13:40: Dominique Duval, Rachid Echahed, and Frederic Prost
Querying RDF Databases with Sub-Constructs

13:40-14:00: Short break

Session 5 (regular papers and tool descriptions). Chair: Michaël Rusinowitch
14:00-14:30 Dohan Kim and Christopher Lynch
Congruence Closure Modulo Permutation Equations
14:30-15:00: Mbarka Soualhia, Foutse Khomh and Sofiene Tahar
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation

15:00-15:20: Short break

Session 6 (short and work-in-progress papers). Chair: Mădălina Eraşcu
15:20-15:40: Julián Cuevas-Rozo, Jose Divasón, Laureano Lambán and Ana Romero
Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces
15:40-16:00: Yasuhiro Ishitsuka and Takeo Uramoto
On the integrality of algebraic Witt vectors over imaginary quadratic fields
16:00-16:20: Iakovos Ouranos, Petros Stefaneas and Kazuhiro Ogata
Towards algebraic specification and verification of airport baggage handling systems algorithms

16:20-16:40: Short break

Session 7 (short and work-in-progress papers). Chair: Mircea Marin
16:40-17:00: Carlos E. Freites
An introduction to Mathdialog (recording)
17:00-17:20: Mohamed Khalil Ben Salah, Takoua Kefi-Fatteh and Adel Bouhoula
Incremental One-Class Framework for Human Face Detection
17:20-17:40: Besik Dundua
PρLog: a system for rule-based programming (slides)


FRIDAY, SEPTEMBER 10
11:00-12:00: Invited Talk. Tateaki Sasaki. Chair: Christoph Koutschan
A Bridge between Euclid and Buchberger (an attempt to enhance Gröbner Basis algorithm by PRSs and GCDs)

12:00-12:40: Break

Session 8 (regular papers and tool descriptions). Chair: Wolfgang Schreiner
12:40-13:10 Ivan Fedotov and Anton Khritankov
Statistical model checking of common attack scenarios on blockchain
13:10-13:40: Yannick Chevalier and Michael Rusinowitch
Implementing security protocol monitors

13:40-14:00: Short break

Session 9 (special session on computer algebra and computational logic). Chair: Manuel Kauers
14:00-14:20: Carsten Schneider
Symbolic Summation in Difference Rings and Challenging Applications
14:20-14:40: Laura Kovács
Algebra-based Synthesis of Loops and their Invariants
14:40-15:00: Christoph Koutschan
Automated Proofs of Mathematical Identities
15:00-15:20: Ezio Bartocci
Analysis of Probabilistic Programs using Computer Algebra

15:20-15:40: Short break

Session 10 (special session on computer algebra and computational logic). Chair: Laura Kovács
15:40-16:00: Manuel Kauers
Sequences defined by Linear or Nonlinear Differential Equations
16:00-16:20: Martina Seidl
Function Extraction for Quantified Boolean Formulas
16:20-16:40: Veronika Pillwein
Positivity of Recurrent Sequences
16:40-17:00: Temur Kutsia
Symbolic Constraints and Structural Reasoning