Advertisement

© 2015

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
Conference proceedings RAMICS 2015

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

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