## 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