Mathematical Theory and Computational Practice

5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

  • Klaus Ambos-Spies
  • Benedikt Löwe
  • Wolfgang Merkle
Conference proceedings CiE 2009

DOI: 10.1007/978-3-642-03073-4

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

Table of contents

  1. Front Matter
  2. Thomas Anberrée
    Pages 1-10
  3. Mathias Barra, Philipp Gerhardy
    Pages 11-20
  4. David R. Bélanger
    Pages 21-30
  5. Manuel Bodirsky, Miki Hermann, Florian Richoux
    Pages 31-36
  6. Luca Bortolussi, Alberto Policriti
    Pages 37-48
  7. Paul Brodhead, Bjørn Kjos-Hanssen
    Pages 49-58
  8. Paul Brodhead, Bjørn Kjos-Hanssen
    Pages 59-67
  9. Jean Cardinal, Samuel Fiorini, Gwenaël Joret
    Pages 79-88
  10. John Case, Samuel E. Moelius III
    Pages 89-98
  11. Douglas Cenzer, Valentina Harizanov, Jeffrey B. Remmel
    Pages 99-108
  12. Douglas Cenzer, Rebecca Weber, Guohua Wu
    Pages 109-117
  13. Yijia Chen, Jörg Flum, Moritz Müller
    Pages 118-128
  14. Stefan Dantchev, Barnaby Martin
    Pages 134-143
  15. David Diamondstone, Bjørn Kjos-Hanssen
    Pages 144-153
  16. Rod Downey, Keng Meng Ng
    Pages 154-166
  17. Ross Duncan, Simon Perdrix
    Pages 167-177
  18. Ömer Eğecioğlu, Oscar H. Ibarra
    Pages 178-187

About these proceedings

Introduction

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.

The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

Keywords

algebras algorithms combinatorial optimization complexity computability computable model theory computational complexity computational modeling constraint satisfaction dynamical systems first-order logic heuristics logic modeling optimization

Editors and affiliations

  • Klaus Ambos-Spies
    • 1
  • Benedikt Löwe
    • 2
  • Wolfgang Merkle
    • 3
  1. 1.University of HeidelbergHeidelbergGermany
  2. 2.Universiteit van AmsterdamAmsterdamThe Netherlands
  3. 3.Institut für InformatikRuprecht-Karls-Universität HeidelbergHeidelbergGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03072-7
  • Online ISBN 978-3-642-03073-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349