RAMiCS 2012 - 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)

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
and their applications in areas such as
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