This book constitutes the proceedings of the 16th International Conference on Relational and
Algebraic Methods in Computer Science RAMiCS 2017 held in Lyon France in May 2017. The 17
revised full papers and 2 invited papers presented together with 1 invited abstract were
carefully selected from 28 submissions. Topics covered range from mathematical foundations to
applications as conceptual and methodological tools in computer science and beyond.
