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)

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-40189-8
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-40188-1
  • Online ISBN 978-3-319-40189-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book