Advertisement

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
    4. Merlin Carl, Bruno Durand, Grégory Lafitte, Sabrina Ouazzani
      Pages 175-186
    5. Merlin Carl, Benedikt Löwe, Benjamin G. Rin
      Pages 187-197
    6. Lorenzo Carlucci, Leszek Aleksander Kołodziejczyk, Francesco Lepore, Konrad Zdanowski
      Pages 210-220
    7. Oscar Defrain, Bruno Durand, Grégory Lafitte
      Pages 221-233
    8. Lorenzo Galeotti, Hugo Nobrega
      Pages 246-257
    9. Daniela Genova, Hendrik Jan Hoogeboom
      Pages 258-269
    10. Petr A. Golovach, Matthew Johnson, Barnaby Martin, Daniël Paulusma, Anthony Stewart
      Pages 270-281
    11. Margarita Korovina, Oleg Kudinov
      Pages 282-291
    12. Karoliina Lehtinen, Sandra Quickert
      Pages 292-303
    13. Neil Lutz, D. M. Stull
      Pages 304-314
    14. Thierry Monteil
      Pages 315-326
    15. Gleb Novikov
      Pages 338-350
    16. Iosif Petrakis
      Pages 351-363
    17. Ville Salo, Ilkka Törmä
      Pages 375-386
    18. Victor L. Selivanov
      Pages 387-399
  4. Back Matter
    Pages 401-401

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
  • Buy this book on publisher's site