Coalgebraic Methods in Computer Science

13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

  • Ichiro Hasuo

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
    Pages 11-32
  3. Mehdi Zarrad, H. Peter Gumm
    Pages 33-52
  4. Bart Jacobs
    Pages 53-72
  5. Julian Salamanca, Marcello Bonsangue, Jurriaan Rot
    Pages 73-93
  6. Joost Winter
    Pages 114-135
  7. Octavian Babus, Alexander Kurz
    Pages 136-155
  8. Fredrik Dahlqvist
    Pages 174-194
  9. Luigi Santocanale
    Pages 195-215
  10. Back Matter
    Pages 235-235

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.

The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Keywords

artificial intelligence automata theory bisimulation Boolean functions category theory coalgebra dynamical systems first-order logic formal language theory formal methods logics modal logics problem solving semantics verification

Editors and affiliations

  • Ichiro Hasuo
    • 1
  1. 1.University of TokyoTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-40370-0
  • Copyright Information IFIP International Federation for Information Processing 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-40369-4
  • Online ISBN 978-3-319-40370-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book