Preface

This volume contains the proceedings of the 17th International Conference on Rela- tional and Algebraic Methods in Computer Science (RAMiCS 2018), which was held in Groningen, The Netherlands, from October 29 to November 1, 2018.
The plan to initiate this series of conferences was put in place during the 38th Banach Semester on Algebraic Methods in Logic and Their Computer Science Application in Warsaw, Poland, in September and October 1991. The first numbered occurrence was a Dagstuhl seminar on Relational Methods in Computer Science (RelMiCS 1), held in Germany in 1994. From then on and until 2009, at intervals of about one year and a half, there was a RelMiCS conference. Starting in 2003, RelMiCS conferences were held jointly with Applications of Kleene Algebras (AKA) confer- ences. At RelMiCS 11/AKA 6 in Doha, Qatar, it was decided to use the current name for the series, that is, Relational and Algebraic Methods in Computer Science (RAMiCS).
Recurrent topics of RAMiCS conferences include semiring- and lattice-based structures such as relation algebras and Kleene algebras, their connections with pro- gram logics and other logics, their use in theories of computing, their formalization with theorem provers, and their application to modeling and reasoning about com- puting systems and processes.
In total, 30 papers were submitted to RAMiCS 2018 and the Program Committee selected 21 of them for presentation at the conference. In these proceedings the selected papers are grouped under three headings: “Theoretical Foundations,” “Reasoning About Computations and Programs,” and “Applications and Tools.” Each submission was evaluated by at least four independent reviewers, and further discussed electron- ically during two weeks.