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 2 November 2018. 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 Call for Papers can be found here, or 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.
The schedule for RAMiCS 2018 is:
6 April 2018 16 April 2018
13 April 2018 20 April 2018
Author Notification: 29 June 2018
Final Version: 27 July 2018
RAMiCS 2018: 29 October – 2 November 2018
You can find the Committees on the contact page.