This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...