Mathematical Theory and Computational Practice 5th Conference on Com
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
- PDF / 9,356,937 Bytes
- 524 Pages / 430 x 660 pts Page_size
- 50 Downloads / 176 Views
Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
5635
Klaus Ambos-Spies Benedikt Löwe Wolfgang Merkle (Eds.)
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009 Heidelberg, Germany, July 19-24, 2009 Proceedings
13
Volume Editors Klaus Ambos-Spies Wolfgang Merkle Ruprecht-Karls-Universität Heidelberg Institut für Informatik Im Neuenheimer Feld 294, 69120, Heidelberg, Germany E-mail: {ambos,merkle}@math.uni-heidelberg.de Benedikt Löwe Universiteit van Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands E-mail: [email protected]
Library of Congress Control Number: 2009930216 CR Subject Classification (1998): F.1, F.2.1-2, F.4.1, G.1.0, I.2.6, J.3 LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues ISSN ISBN-10 ISBN-13
0302-9743 3-642-03072-6 Springer Berlin Heidelberg New York 978-3-642-03072-7 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com © Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12718504 06/3180 543210
Preface
CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19–24, 2009
After several years of research activity, the informal cooperation “Computability in Europe” decided to take a more formal status at their meeting in Athens in June 2008: the Association for Computability in Europe was founded to promote the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science, and applications in various natural and engineering sciences s
Data Loading...
