13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)
Cambridge UK
17 – 20 September 2012

Welcome       CFP ⊕ Submission       Dates       Venue ⊕ Registration       ∃ Invited Speakers       Programme       Student Papers       Committees       History      

Since 1994, 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- organized with the RelMiCS conference since. Due to their considerable overlap, the two events have a joint PC and joint proceedings. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.

                                    Winton Capital Management