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