Coalgebraic Methods in Computer Science

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

  • Corina Cîrstea
Conference proceedings CMCS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Clemens Kupke
    Pages 6-12
  3. Ulrich Berger, Anton Setzer
    Pages 34-55
  4. Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
    Pages 56-77
  5. Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
    Pages 78-99
  6. Alexandre Goy, Jurriaan Rot
    Pages 100-121
  7. Bart Jacobs, Paul Levy, Jurriaan Rot
    Pages 122-143
  8. Stefan Milius, Jiří Adámek, Henning Urbat
    Pages 144-166
  9. David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
    Pages 190-213
  10. Back Matter
    Pages 235-235

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.
The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.


models of computation semantics and reasoning modal and temporal logics coalgebra data types coalgebraic specification and verification modal logic programming languages game theory semantics problem solving set theory formal logic modal logic metric spaces

Editors and affiliations

  1. 1.University of SouthamptonSouthamptonUK

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-00388-3
  • Online ISBN 978-3-030-00389-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site