Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Home page

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

cie-logo

  News

 

    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
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2008-12-01 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net