Models of Computation in Context

7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

  • Benedikt Löwe
  • Dag Normann
  • Ivan Soskov
  • Alexandra Soskova
Conference proceedings CiE 2011

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

Table of contents

  1. Front Matter
  2. Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
    Pages 1-10
  3. John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
    Pages 31-40
  4. Juan Castellanos, Victor Mitrana, Eugenio Santos
    Pages 41-50
  5. Douglas Cenzer, Valentina Harizanov, Jeffrey B. Remmel
    Pages 51-60
  6. Yijia Chen, Jörg Flum, Moritz Müller
    Pages 61-70
  7. Chengling Fang, Jiang Liu, Guohua Wu
    Pages 71-80
  8. Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer
    Pages 102-111
  9. Peter Hertling, Victor Selivanov
    Pages 112-121
  10. Mathieu Hoyrup
    Pages 122-131
  11. Mathieu Hoyrup, Cristóbal Rojas, Klaus Weihrauch
    Pages 132-141
  12. Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu
    Pages 142-151
  13. Shankara Narayanan Krishna, Gabriel Ciobanu
    Pages 160-170
  14. Martin Kutrib
    Pages 171-180
  15. James I. Lathrop, Jack H. Lutz, Brian Patterson
    Pages 181-190

About these proceedings


This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011.The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.


NP-completeness complexity theory computation theory computational structures game theory randomness unconventional models of computation

Editors and affiliations

  • Benedikt Löwe
    • 1
  • Dag Normann
    • 2
  • Ivan Soskov
    • 3
  • Alexandra Soskova
    • 3
  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of MathematicsUniversity of OsloOsloNorway
  3. 3.Department of Mathematical Logic and ApplicationsSofia UniversitySofiaBulgaria

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21874-3
  • Online ISBN 978-3-642-21875-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book