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

NameLecture Notes in Computer Science
PublisherSpringer Nature Switzerland
Volume11194
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

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

Fingerprint

Computer science
Algebra
Technical presentations
Electrons

Keywords

  • Theoretical Computer Science

Cite this

Desharnais, J., Guttmann, W., & Joosten, S. M. M. (2018). Preface. In Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings (pp. v-vi). (Lecture Notes in Computer Science; Vol. 11194). Cham: Springer Nature Switzerland AG. https://doi.org/10.1007%2F978-3-030-02149-8
Desharnais, Jules ; Guttmann, Walter ; Joosten, S.M.M. / Preface. Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings. Cham : Springer Nature Switzerland AG, 2018. pp. v-vi (Lecture Notes in Computer Science).
@inbook{b5e708c3d7c841c3b5c344ac85e38757,
title = "Preface",
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.",
keywords = "Theoretical Computer Science",
author = "Jules Desharnais and Walter Guttmann and S.M.M. Joosten",
year = "2018",
month = "10",
day = "28",
doi = "10.1007{\%}2F978-3-030-02149-8",
language = "English",
isbn = "978-3-030-02148-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature Switzerland AG",
pages = "v--vi",
booktitle = "Relational and Algebraic Methods in Computer Science",
address = "Switzerland",

}

Desharnais, J, Guttmann, W & Joosten, SMM 2018, Preface. in Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings. Lecture Notes in Computer Science, vol. 11194, Springer Nature Switzerland AG, Cham, pp. v-vi, 17th International Conference on Relational and Algebraic Methods in Computer Science, Groningen, Netherlands, 29/10/18. https://doi.org/10.1007%2F978-3-030-02149-8

Preface. / Desharnais, Jules; Guttmann, Walter; Joosten, S.M.M.

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings. Cham : Springer Nature Switzerland AG, 2018. p. v-vi (Lecture Notes in Computer Science; Vol. 11194).

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

TY - CHAP

T1 - Preface

AU - Desharnais, Jules

AU - Guttmann, Walter

AU - Joosten, S.M.M.

PY - 2018/10/28

Y1 - 2018/10/28

N2 - 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.

AB - 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.

KW - Theoretical Computer Science

U2 - 10.1007%2F978-3-030-02149-8

DO - 10.1007%2F978-3-030-02149-8

M3 - Foreword/postscript

SN - 978-3-030-02148-1

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - Relational and Algebraic Methods in Computer Science

PB - Springer Nature Switzerland AG

CY - Cham

ER -

Desharnais J, Guttmann W, Joosten SMM. Preface. In Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018 Groningen, The Netherlands, October 29 – November 1, 2018 Proceedings. Cham: Springer Nature Switzerland AG. 2018. p. v-vi. (Lecture Notes in Computer Science). https://doi.org/10.1007%2F978-3-030-02149-8