Unveiling Dynamics and Complexity

13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

  • Jarkko Kari
  • Florin Manea
  • Ion Petre

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto
      Pages 3-13
    3. Alberto Hernández-Espinosa, Francisco Hernández-Quiroz, Héctor Zenil
      Pages 14-23
    4. Štěpán Holub, Robert Veroff
      Pages 24-31
    5. Cliff B. Jones
      Pages 32-41
    6. Gunnar W. Klau, Tobias Marschall
      Pages 50-63
    7. Margarita Korovina, Oleg Kudinov
      Pages 64-76
    8. Alexander G. Melnikov
      Pages 77-87
    9. Russell Miller
      Pages 88-97
    10. Narad Rampersad
      Pages 98-100
    11. Alexander Shen
      Pages 101-111
    12. Ivan Visconti
      Pages 112-115
  3. Contributed Papers

    1. Front Matter
      Pages 117-117
    2. Nikolay A. Bazhenov, Mars M. Yamaleev
      Pages 152-161
    3. Djamal Belazzougui, Fabio Cunial, Travis Gagie, Nicola Prezza, Mathieu Raffinot
      Pages 162-174

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. 
The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.

Keywords

algorithmics computability formal languages and automata theory natural computing turing machine model automated theorem proving cellular automation classical computation cryptography and information theory geometric computation history and philosophy of computing logic mathematics of computing models of computation regular languages reversible computation signal machine theory of computation total turing machines uniformization theorem

Editors and affiliations

  1. 1.University of TurkuTurkuFinland
  2. 2.Christian-Albrechts-University of KielKielGermany
  3. 3.Åbo Akademi UniversityTurkuFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-58741-7
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-58740-0
  • Online ISBN 978-3-319-58741-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book