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
Conference proceedings CiE 2012

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
  19. Chengling Fang, Wang Shenling, Guohua Wu
    Pages 203-211
  20. David Fernández Duque, Joost J. Joosten
    Pages 212-221
  21. Mark Alan Finlayson
    Pages 228-236
  22. Ivor Grattan-Guinness
    Pages 245-252
  23. Pierre Guillon, Charalampos Zinoviadis
    Pages 253-263
  24. Yuri Gurevich
    Pages 264-275
  25. Juris Hartmanis
    Pages 276-282
  26. Matthew Hendtlass, Peter Schuster
    Pages 293-302
  27. Kojiro Higuchi, Takayuki Kihara
    Pages 303-312
  28. Wiebe van der Hoek, Petar Iliev, Barteld Kooi
    Pages 323-333
  29. Emmanuel Jeandel
    Pages 334-343
  30. Anders Johannson, James Zou
    Pages 344-354
  31. Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis, Roland Dries
    Pages 355-362
  32. Alexander Kartzow, Jiamou Liu, Markus Lohrey
    Pages 363-373
  33. Bjørn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen
    Pages 395-404
  34. Peter Koepke, Benjamin Seyfferth
    Pages 405-415
  35. Shigeru Kondo
    Pages 416-421
  36. Alexander S. Kulikov, Olga Melanich, Ivan Mihajlin
    Pages 432-439
  37. Andrés Cordón–Franco, F. Félix Lara–Martín
    Pages 440-449
  38. Jean Lassègue, Giuseppe Longo
    Pages 450-461
  39. Bastien Le Gloannec, Nicolas Ollinger
    Pages 462-471
  40. Fotini Markopoulou
    Pages 472-484
  41. George Metcalfe, Christoph Röthlisberger
    Pages 485-495

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 Computer Science (R0)
  • Print ISBN 978-3-642-30869-7
  • Online ISBN 978-3-642-30870-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment