Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

General Information

General Information

Computability in Europe 2006 (CiE 2006), organised by the Department of Computer Science of the University of Wales Swansea, takes place in Swansea, Wales, UK, 30 June - 5 July, 2006. CiE06 poster CiE 2006 is the second of a newly evolving series of conferences under the heading Computability in Europe which started 2005 in Amsterdam as CiE 2005: New computational paradigms.

Within the CiE series, CiE 2006 will have a particular focus on Logical Approaches to Computational Barriers. In computability many fascinating barriers have been identified. They can be classified into three kinds: the practical and feasible barriers, centred around the P vs. NP problem; the computable barriers connected to models of computers and programming languages; and hypercomputable barriers which lie beyond. These three kinds of barriers can be found in all areas of computability theory: in classical computability theory on discrete data; in computations with continuous data like higher types, real numbers or topological spaces; and in the physical sciences where we find for example quantum computers, analogue computers, and other computing systems based on classical, relativistic and quantum mechanics.

Logic provides rigorous formal methods for approaching these barriers. The variety of logical methods ranges from the classical areas of mathematical logic to the newly developed areas in theoretical computer science.

Swansea is an ideal place for hosting such a conference. The Department of Computer Science of the University of Wales Swansea is one important member of the CiE network. Together with Wales' beautiful landscape it promises to be an exciting meeting, which gives the opportunity to attend high level scientific talks in a relaxing atmosphere - the beach is only two stone throws away from the campus.

websites: Arnold Beckmann 2006-06-23 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by