© 2018

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

  • Jules Desharnais
  • Walter Guttmann
  • Stef Joosten
Conference proceedings RAMiCS 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11194)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11194)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Theoretical Foundations

    1. Front Matter
      Pages 19-19
    2. Hans Leiß, Mark Hopkins
      Pages 21-36
    3. Michael Winter
      Pages 70-86
    4. Giulia Sindoni, Katsuhiko Sano, John G. Stell
      Pages 113-130
    5. Pranab Kumar Ghosh, Michael Winter
      Pages 131-147
    6. Sarah Alexander, Peter Jipsen, Nadiya Upegui
      Pages 148-165
    7. Stefano Bonzio, Michele Pra Baldi, Diego Valota
      Pages 166-183
    8. Maria João Gouveia, Luigi Santocanale
      Pages 184-201
  4. Reasoning About Computations and Programs

    1. Front Matter
      Pages 203-203
    2. Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
      Pages 205-224
    3. Jonathan Julián Huerta y Munive, Georg Struth
      Pages 225-243
    4. Jessica Ertel, Roland Glück, Bernhard Möller
      Pages 244-262
    5. Callum Bannister, Peter Höfner
      Pages 263-279

About these proceedings


This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.


artificial intelligence constraint programming formal logic matrix algebra model checking problem solving program verification programming languages protocol verification relation algebras semantics set theory software engineering software evaluation spatial reasoning theorem proving

Editors and affiliations

  1. 1.Université LavalQuébecCanada
  2. 2.University of CanterburyChristchurchNew Zealand
  3. 3.Open UniversiteitHeerlenThe Netherlands

Bibliographic information