Computability in Europe 2006
Logical Approaches to Computational Barriers

Department of Computer Science
University of Wales Swansea
30 June - 5 July, 2006

The conference serves as an interdisciplinary forum, which deals with approaches to practical computational problems in many different areas. This includes neural networks, quantum computation, natural computation, molecular computation, computational learning, proof theory, classical computability, computable structures, proof complexity, constructive mathematics, algorithms and bioinformatics. CiE 2006 will have a special focus on logical approaches to computational barriers.

For more information, check our General Information.

Organisers: Arnold Beckmann, Ulrich Berger, S Barry Cooper, Phil Grant, Oliver Kullmann, Benedikt Löwe, Faron Moller, Monika Seisenberger, Anton Setzer, John V Tucker




    Local proceedings
       are online


Explore the location

aerial photo of the campus and beach

Engineering and Physical Sciences Research Council British Logic Colloquium London Mathematical Society
Welsh Assembly GovernmentSwansea Computer ScienceIT Wales
Kurt Gödel Society KGSAssociation for Symbolic Logic  European Association for Theoretical Computer Science British Computer Society

websites: Arnold Beckmann 2008-12-01