Description:This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005.The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers correspondi