This book constitutes the proceedings of the 17th International Conference on Relational and
Algebraic Methods in Computer Science RAMiCS 2018 held in Groningen The Netherlands in
October November 2018. The 21 full papers and 1 invited paper presented together with 2 invited
abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers
are organized in the following topics: Theoretical foundations reasoning about computations
and programs and applications and tools.
