Maria Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña. Parametric Exploration of Rewriting Logic Computations.
Marco Comini and Luca Torella. A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.
Marco Comini and Luca Torella. Automatic Inference of Term Equivalence in Term Rewriting Systems.
Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi. Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and Hideki Sakurada.
Automated Verification of Equivalence on Quantum Cryptographic Protocols.
Severin Neumann. A modified parallel F4 algorithm for shared and distributed memory architectures.
Rachid Rebiha, Nadir Matringe and Arnaldo Moura. Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.
Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto. Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.
Matan Ziv-Av and Mikhail Klin. Computer algebra investigation of known primitive triangle-free strongly regular graphs.
Accepted Short Papers
Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Oleksandr Letychevskyi and Vladimir Peschanenko.
Usage of Invariants for Symbolic Verification of Requirements.
Robert Vajda. Lebesgue Constants via Symbolic Computations.