How the World Computes

Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

  • S. Barry Cooper
  • Anuj Dawar
  • Benedikt Löwe

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

Table of contents

  1. Front Matter
  2. Bahareh Afshari, Michael Rathjen
    Pages 1-10
  3. Patrick Allo
    Pages 17-28
  4. Luís Antunes, Andre Souto, Andreia Teixeira
    Pages 29-34
  5. Verónica Becher
    Pages 35-45
  6. Michael Beeson
    Pages 46-55
  7. Vasco Brattka, Stéphane Le Roux, Arno Pauly
    Pages 56-67
  8. Douglas S. Bridges, Robin S. Havea
    Pages 68-77
  9. Dan Brumleve, Joel David Hamkins, Philipp Schlicht
    Pages 78-88
  10. Lorenzo Carlucci, Konrad Zdanowski
    Pages 89-95
  11. John Case, Sanjay Jain, Samuel Seah, Frank Stephan
    Pages 96-106
  12. Marcel Celaya, Frank Ruskey
    Pages 107-117
  13. Yijia Chen, Jörg Flum, Moritz Müller
    Pages 118-128
  14. Peter A. Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
    Pages 129-138
  15. Jürgen Dassow, Florin Manea, Robert Mercaş
    Pages 151-161
  16. Rod Downey
    Pages 162-181
  17. Bruce Edmonds, Carlos Gershenson
    Pages 182-192
  18. Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
    Pages 193-202

About these proceedings


This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012.
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.


combinatorial algorithms formal methods parameterized complexity reinforcement learning universal machine

Editors and affiliations

  • S. Barry Cooper
    • 1
  • Anuj Dawar
    • 2
  • Benedikt Löwe
    • 3
  1. 1.School of MathematicsUniversity of LeedsLeedsUK
  2. 2.Computer LaboratoryUniversity of CambridgeCambridgeUK
  3. 3.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30869-7
  • Online ISBN 978-3-642-30870-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
IT & Software