RAMiCS 2015 - the 15th International Conference on Relational and Algebraic Methods in Computer Science
Where: Park Hotel, Braga
When: Monday, 28-09-15
Thursday, 01-10-15
What: The 15th International Conference on Relational and Algebraic Methods in Computer Science, 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
Who: RAMiCS 2015 is being organized by HasLab, a R&D laboratory of INESC/TEC and U. Minho.
More information:
[email protected]