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

The scope of the conference covers, but is not limited to the theory of

• relation algebras and Kleene algebras
• process algebras, fixed point calculi,
• idempotent semirings, quantales, allegories,
• dynamic algebras, cylindric algebras

• verification, analysis and development of programs and algorithms
• algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics
• relational formal methods such as B or Z, tabular methods,
• algebraic semantics of programming languages
• graph theory and combinatorial optimisation
• games, automata and language theory
• mechanised and automated reasoning, decision procedures
• spatio-temporal reasoning, knowledge acquisition, preference and scaling methods
• information systems