The 9th International Conference on Relational Methods in Computer Science and the 4th International Workshop on Applications of Kleene Algebra
29 Aug. - 2 Sep. 2006
Over the past fifteen years, the RelMiCS-meetings have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and has been co-organised with the RelMiCS conference since. Its scope comprises fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include program semantics, analysis and development, formal language theory and combinatorial optimisation.
Due to the considerable overlap, the two events have a joint PC and joint proceedings.
The next conference will take place in Manchester in the late summer of 2006 and will be hosted by the School of Computer Science of the University of Manchester.