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

  News

    Local proceedings
       are online

Explore the location