7th International Seminar on Relational Methods in Computer Science/2nd International Workshop on Applications of Kleene Algebra