test FOO test

**Computability in Europe 2006**

Logical Approaches to Computational Barriers

## 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.
**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 |