CiE 2012 - How the World Computes

Print current page  Print this page

CiE 2012 Overview

CiE 2012 - Conference Overview

Computability in Europe 2012 (CiE 2012), organised by Computer Laboratory, University of Cambridge, takes place in Cambridge, England, 18 June - 23 June, 2012. CiE 2012 is the eighth conference under the heading Computability in Europe, which started 2005 in

The conference serves as a unique multi-disciplinary forum, bringing together mathematicians, computer scientists, physicists, biologists, philosophers, and those confronting computability-theoretic problems in the humanities, social sciences and beyond. It deals with theoretical approaches to practical computational problems in many different areas, while working towards a better understanding of the computational content of the universe we live in.

Conference topics include:

Admissible sets
Analog computation
Artificial intelligence
Automata theory
Classical computability and degree structures
Cognitive science and modelling
Complexity classes
Computability theoretic aspects of programs
Computable analysis and real computation
Computable structures and models
Computational and proof complexity
Computational biology
Computational creativity
Computational learning and complexity
Computational linguistics
Concurrency and distributed computation
Constructive mathematics
Cryptographic complexity
Decidability of theories
DNA computing
Domain theory and computability
Dynamical systems and computational models
Effective descriptive set theory
Emerging and Non-standard Models of Computation
Finite model theory
Formal aspects of program analysis
Formal methods
Foundations of computer science
Generalized recursion theory
History of computation
Hybrid systems
Higher type computability
Hypercomputational models
Infinite time Turing machines
Information theory and computation
Kolmogorov complexity
Lambda and combinatory calculi
L-systems and membrane computation
Machine learning
Mathematical models of emergence
Molecular computation
Morphogenesis and developmental biology
Multi-agent systems
Natural Computation
Neural nets and connectionist models
Philosophy of science and computation
Physics and computability
Probabilistic systems
Process algebras and concurrent systems
Programming language semantics
Proof mining and applications
Proof theory and computability
Proof complexity
Quantum computing and complexity
Quantum information
Reducibilities and relative computation
Relativistic computation
Reverse mathematics
Semantics and logic of computation
Swarm intelligence and self-organisation
Type systems and type theory
Uncertain Reasoning
Weak systems of arithmetic and applications

CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in the broad theme: How the World Computes, with all its different layers of meaning. Contributions which are directly related to the visionary and seminal work of Turing will be particularly welcome.

Cambridge is a specially appropriate place for hosting such a conference, being where Alan Turing made his first ground-breaking contributions in computability. Cambridge University, which has hosted so many revolutionary scientific developments, will make this Turing Centenary Meeting a unique and unmissable event. CiE 2012 promises to be an exciting meeting in keeping with the broad and coherent scientific interests of Turing.

The Alan Turing Year ASL Cambridge University Cambridge University Press Computability in Europe the source site ELsevier EACSL EATCS IET IFCoLog IOS Press Isaac Newton Institute King's College, Cambridge Microsoft Research Cambridge Science AAAS Springer

websites: Barry Cooper and Arnold Beckmann 2011-08-23 Valid HTML 4.01! Valid CSS!