15th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS 2015

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, Alloy 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

Organization

RAMiCS 2015 is being organized by HASLab, a R&D laboratory of INESC TEC and U. Minho.