Welcome

Welcome to RAMiCS 2015, the 15th International Conference on Relational and Algebraic Methods in Computer Science, which will take place in Braga from Sep 28th to October 1st, 2015, in the Park Hotel near the Bom Jesus Sanctuary.

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 Logo, a R&D laboratory of INESC/TEC and U. Minho. For enquires please contact Ms Paula Rodrigues.

Sponsors

INESC TECUM FCT