Jules Desharnais, Walter Guttmann, S.M.M. Joosten

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic


This volume contains the proceedings of the 17th International Conference on Rela- tional and Algebraic Methods in Computer Science (RAMiCS 2018), which was held in Groningen, The Netherlands, from October 29 to November 1, 2018.
The plan to initiate this series of conferences was put in place during the 38th Banach Semester on Algebraic Methods in Logic and Their Computer Science Application in Warsaw, Poland, in September and October 1991. The first numbered occurrence was a Dagstuhl seminar on Relational Methods in Computer Science (RelMiCS 1), held in Germany in 1994. From then on and until 2009, at intervals of about one year and a half, there was a RelMiCS conference. Starting in 2003, RelMiCS conferences were held jointly with Applications of Kleene Algebras (AKA) confer- ences. At RelMiCS 11/AKA 6 in Doha, Qatar, it was decided to use the current name for the series, that is, Relational and Algebraic Methods in Computer Science (RAMiCS).
Recurrent topics of RAMiCS conferences include semiring- and lattice-based structures such as relation algebras and Kleene algebras, their connections with pro- gram logics and other logics, their use in theories of computing, their formalization with theorem provers, and their application to modeling and reasoning about com- puting systems and processes.
In total, 30 papers were submitted to RAMiCS 2018 and the Program Committee selected 21 of them for presentation at the conference. In these proceedings the selected papers are grouped under three headings: “Theoretical Foundations,” “Reasoning About Computations and Programs,” and “Applications and Tools.” Each submission was evaluated by at least four independent reviewers, and further discussed electron- ically during two weeks.
Original languageEnglish
Title of host publicationRelational and Algebraic Methods in Computer Science
Subtitle of host publication17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings
Place of PublicationCham
PublisherSpringer Nature Switzerland AG
Number of pages2
ISBN (Electronic)978-3-030-02149-8
ISBN (Print)978-3-030-02148-1
Publication statusPublished - 28 Oct 2018
Event17th International Conference on Relational and Algebraic Methods in Computer Science - Europaweg 31, Groningen, Netherlands
Duration: 29 Oct 20181 Nov 2018

Publication series

SeriesLecture Notes in Computer Science


Conference17th International Conference on Relational and Algebraic Methods in Computer Science
Abbreviated titleRAMiCS 2018
Internet address


  • Theoretical Computer Science


Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this