Algebra and Coalgebra in Computer Science

4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

  • Andrea Corradini
  • Bartek Klin
  • Corina Cîrstea
Conference proceedings CALCO 2011

DOI: 10.1007/978-3-642-22944-2

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Giorgio Bacci, Vincent Danos, Ohad Kammar
      Pages 1-18
    2. Javier Esparza, Michael Luttenberger
      Pages 19-35
    3. Thomas Dinsdale-Young, Philippa Gardner, Mark Wheelhouse
      Pages 36-39
    4. Gopal Gupta, Neda Saeedloei, Brian DeVries, Richard Min, Kyle Marple, Feliks Kluźniak
      Pages 40-54
  3. Contributed Papers

    1. Jiří Adámek, Mahdieh Haddadi, Stefan Milius
      Pages 55-69
    2. Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
      Pages 70-84
    3. Adriana Balan, Alexander Kurz
      Pages 85-99
    4. Jort Bergfeld, Yde Venema
      Pages 100-114
    5. Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil
      Pages 115-129
    6. Mihai Codescu, Till Mossakowski
      Pages 145-160
    7. Fredrik Dahlqvist, Dirk Pattinson
      Pages 161-175
    8. Clément Fumex, Neil Ghani, Patricia Johann
      Pages 176-191
    9. Murdoch J. Gabbay, Tadeusz Litak, Daniela Petrişan
      Pages 192-207
    10. Sergey Goncharov, Lutz Schröder
      Pages 208-221
    11. Bart Jacobs
      Pages 237-252
    12. Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita
      Pages 253-267
    13. Ekaterina Komendantskaya, John Power
      Pages 268-282

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.

Keywords

automata theory categories coalgebraic logics coalgebraic semantics computational logic duality reversible processes

Editors and affiliations

  • Andrea Corradini
    • 1
  • Bartek Klin
    • 2
  • Corina Cîrstea
    • 3
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Faculty of Mathematics, Informatics, and MechanicsUniversity of WarsawWarszawaPoland
  3. 3.School of Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22943-5
  • Online ISBN 978-3-642-22944-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349