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

Monday, September 28, 2015 (All day) - Thursday, October 1, 2015 (All day)

The HASLab (INESC TEC / UM) is organizing the 15th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS'15.


RAMiCS 2015 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
The invited speakers are: