Relational And Algebraic Methods In Computer Science: 16Th International Conference, Ramics 2017, Lyon, France, May 15 18, 2017, Proceedings 2017