Preface

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

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

    Abstract

    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
    Pagesv-vi
    Number of pages2
    ISBN (Electronic)978-3-030-02149-8
    ISBN (Print)978-3-030-02148-1
    DOIs
    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
    http://www.ramics-conference.org/

    Publication series

    SeriesLecture Notes in Computer Science
    Volume11194
    ISSN0302-9743

    Conference

    Conference17th International Conference on Relational and Algebraic Methods in Computer Science
    Abbreviated titleRAMiCS 2018
    Country/TerritoryNetherlands
    CityGroningen
    Period29/10/181/11/18
    Internet address

    Keywords

    • Theoretical Computer Science

    Fingerprint

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

    Cite this