11th International Conference on Relational Methods in Computer Science/6th International Conference on Applications of Kleene Algebra