RAMiCS 2018

The 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2018), organised by the Open University of the Netherlands, has taken place in Groningen, the Netherlands, from 29 October to 1 November 2018.

The proceedings of RAMICS are published in Springer’s Lecture Notes of Computer Science (LNCS). They are available via the website of LNCS (free until December 6th):

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

The schedule for RAMiCS 2018 can be found here.

You can find the  Committees on the contact page.

Click here for the conference poster. (set your printer to: A3, borderless.) The conference has passed, but you can still download the call as a PDF.