Beschrijving

Constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The papers address many aspects of computability in Europe with a special focus on new computational paradigms.

CiE 2005: New Computational Paradigms . illc. uva. nl/CiE/ ThecooperationComputabilityinEurope (CiE)isaninformalEuropeannetwork covering computability in theoretical computer science and mathematical logic, ranging from application of novel approaches to computation to set-theoretic analysesofin?nitarycomputingmodels. Thecooperationconsistsofelevenmain nodesandincludesover400researchers;itiscoordinatedfromLeeds(UK). More information about CiE can be found in Barry Cooper’s introductory paper to this volume (p. 1) and at . amsta. leeds. ac. uk/pure/staff/cooper/cie. html CiE 2005 was a conference on the special topic \