The 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2018), organised by the Open University of the Netherlands, will take place in Groningen, the Netherlands, from 29 October to 1 November 2018 (4 days from Monday through Thursday). The proceedings of RAMICS will be published in Springer’s Lecture Notes of Computer Science (LNCS).
Looking to advertise RAMICS at your institute? Print a poster! (set your printer to: A3, borderless.) The submission deadline has passed, but you can still download the call as a PDF.
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.
You can find the Committees on the contact page.