© 2014

Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

  • Peter Höfner
  • Peter Jipsen
  • Wolfram Kahl
  • Martin Eric Müller
Conference proceedings RAMICS 2014

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

Table of contents

  1. Front Matter
  2. Concurrent Kleene Algebras and Related Formalisms

    1. Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu et al.
      Pages 1-18
    2. Jason Jaskolka, Ridha Khedri, Qinglei Zhang
      Pages 19-36
    3. Peter Jipsen
      Pages 37-48
    4. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
      Pages 49-64
    5. Paul Brunet, Damien Pous
      Pages 101-118
  3. Reasoning About Computations and Programs

    1. Walter Guttmann
      Pages 139-156
    2. Han-Hing Dang
      Pages 157-172
    3. Rudolf Berghammer, Peter Höfner, Insa Stucke
      Pages 173-190
    4. Ali Mili, Marcelo F. Frias, Ali Jaoua
      Pages 191-207
    5. S. Arun-Kumar, Divyanshu Bagga
      Pages 208-225
  4. Heterogeneous and Categorical Approaches

    1. Michael Winter
      Pages 277-292
    2. Michael Winter, Ethan Jackson, Yuki Fujiwara
      Pages 293-308
  5. Applications of Relational and Algebraic Methods

    1. Rudolf Berghammer, Nikita Danilenko, Henning Schnoor
      Pages 309-326

About these proceedings


This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices.


algebraic topology combinatorial optimization concurrent algorithms database theory functional constructs modal and temporal logics optimization algorithms relational database model software fault tolerance

Editors and affiliations

  • Peter Höfner
    • 1
  • Peter Jipsen
    • 2
  • Wolfram Kahl
    • 3
  • Martin Eric Müller
    • 4
  1. 1.NICTA and UNSWKensingtonAustralia
  2. 2.School of Computational SciencesChapman UniversityOrangeUSA
  3. 3.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  4. 4.Department of Computer ScienceUniversity of AugsburgAugsburgGermany

Bibliographic information

Industry Sectors
IT & Software