CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability
in Europe (CiE) is an informal network of European scientists working on computability
theory, including its foundations, technical devel-ment, and applications. Among the aims of
the network is to advance our t-oretical understanding of what can and cannot be computed,
by any means of computation. Its scienti? c vision is broad: computations may be performed
with discrete or continuous data by all kinds of algorithms, programs, and-chines …

… Institute Institute for Logic, Language and Computation (ILLC) … This book constitutes
the refereed proceedings of the 4th International Conference on Computability in Europe,
CiE 2008, held in Athens, Greece, in June 2008. … Among them are papers of 6 special
sessions entitled algorithms in the history of mathematics, formalising mathematics and
extracting algorithms from proofs, higher-type recursion and applications, algorithmic game
theory, quantum algorithms and complexity, and biology and computation. …