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
|