Advertisement

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

  • Wolfram Kahl
  • Michael Winter
  • José Oliveira

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Gheorghe Stefanescu
      Pages 3-26
    3. Ernst-Erich Doberkat
      Pages 43-47
  3. Theoretical Foundations

    1. Front Matter
      Pages 49-49
    2. Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
      Pages 51-66
    3. Rudolf Berghammer, Walter Guttmann
      Pages 67-83
    4. Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
      Pages 84-100
    5. Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
      Pages 101-118
    6. Bartosz Zieliński
      Pages 136-150
  4. Reasoning about Computations and Programs

    1. Front Matter
      Pages 169-169
    2. José N. Oliveira
      Pages 171-190
    3. Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
      Pages 191-208
    4. Stef M. M. Joosten, Sebastiaan J. C. Joosten
      Pages 225-240
    5. Rudolf Berghammer, Insa Stucke, Michael Winter
      Pages 257-274
    6. Rudolf Berghammer, Peter Höfner, Insa Stucke
      Pages 275-292
  5. Applications of Relational and Algebraic Methods

    1. Front Matter
      Pages 293-293
    2. Evans Adjei, Wazed Chowdhury, Michael Winter
      Pages 295-311
    3. Bernhard Möller
      Pages 344-361
    4. Martin E. Müller
      Pages 380-394
  6. Back Matter
    Pages 395-395

About these proceedings

Introduction

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.

Keywords

Algebraic language theory Automata theory Database design and models Formal languages Logic and verification Combinatorial optimization Database theory Discrete mathematics Formal software verification Kleene algebra Modal logics Optimization algorithms Regular expressions Relation algebra Relational database model Rough sets Software fault Symbolic and algebraic manipulation Temporal logics Type checking

Editors and affiliations

  • Wolfram Kahl
    • 1
  • Michael Winter
    • 2
  • José Oliveira
    • 3
  1. 1.McMaster UniversityHamiltonCanada
  2. 2.Brock UniversitySt. CatharinesCanada
  3. 3.Universidade do MinhoBragaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-24704-5
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24703-8
  • Online ISBN 978-3-319-24704-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site