Pursuit of the Universal

12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

  • Arnold Beckmann
  • Laurent Bienvenu
  • Nataša Jonoska
Conference proceedings CiE 2016

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Natasha Alechina, Brian Logan
      Pages 3-12
    3. Valérie Berthé, Thomas Fernique, Mathieu Sablik
      Pages 13-23
    4. Daniela Besozzi
      Pages 24-34
    5. Priscila Biller, Carole Knibbe, Guillaume Beslon, Eric Tannier
      Pages 35-44
    6. Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
      Pages 58-67
    7. Walter Dean
      Pages 78-88
    8. Aleksander Galicki, André Nies
      Pages 99-104
    9. Danilo Gligoroski, Simona Samardjiska
      Pages 105-114
    10. Mathieu Hoyrup
      Pages 115-123
    11. Emmanuel Jeandel
      Pages 124-131
    12. Delaram Kahrobaei, Vladimir Shpilrain
      Pages 132-141
    13. Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
      Pages 142-152
    14. Pierre-Éric Mounier-Kuhn, Maël Pégny
      Pages 170-181
  3. Contributed Papers

    1. Front Matter
      Pages 193-193
    2. Mikhail Andreev
      Pages 195-204
    3. Sebastián Barbieri, Mathieu Sablik
      Pages 205-214
    4. Olivier Bournez, Nachum Dershowitz, Pierre Néron
      Pages 215-224
    5. Merlin Carl
      Pages 225-233
    6. Rumen Dimitrov, Valentina Harizanov, Andrei Morozov
      Pages 251-260
    7. Lorenzo Galeotti
      Pages 271-281
    8. Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
      Pages 282-291
    9. Anton Konovalov, Victor Selivanov
      Pages 292-301
    10. Oleg V. Kudinov, Victor L. Selivanov
      Pages 302-311
    11. Bas Luttik, Fei Yang
      Pages 312-322
    12. Christian Glaßer, Peter Jonsson, Barnaby Martin
      Pages 323-332
    13. Barnaby Martin, András Pongrácz, Michał Wrona
      Pages 333-342
  4. Back Matter
    Pages 375-375

About these proceedings


This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.

The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.


bioinformatics and bio-inspired computation computational complexity DNA computing natural computation swarm intelligence and self-organisation analog computation computable structures and models computational biology computational learning computational linguistics generalized recursion theory higher type computability history of computation hypercomputational models quantum computing and complexity relativistic computation reverse mathematics semantics and logic of computation

Editors and affiliations

  • Arnold Beckmann
    • 1
  • Laurent Bienvenu
    • 2
  • Nataša Jonoska
    • 3
  1. 1.Swansea UniversitySwanseaUnited Kingdom
  2. 2.Université Paris-Diderot - Paris 7ParisFrance
  3. 3.University of South FloridaTampaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-40188-1
  • Online ISBN 978-3-319-40189-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site