Computability in Europe 2012 (CiE 2012: Turing Centenary Conference), 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.
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.
Papers should be submitted via the CiE 2012 EasyChair submission page at:
All papers need to be prepared in LNCS-style LaTeX, and should not exceed 10 pages. Accepted papers will appear in the Springer Lecture Notes in Computer Science (LNCS) Proceedings volume for CiE 2012. Submissions for presentation only at CiE 2012 are also invited.
Submission Deadline for LNCS: Friday 27 January, 2012 Notification of Authors: Friday 16 March, 2012 Deadline for Final Versions: Friday 6 April, 2012 Submission Deadline for Informal Presentations: Friday 11 May, 2012
Conference topics include:
Admissible sets Algorithms Analog computation Artificial intelligence Automata theory Bioinformatics Classical computability and degree structures Complexity classes Computability theoretic aspects of programs Computable analysis and real computation Computable structures and models Computational and proof complexity Computational learning and complexity Concurrency and distributed computation Constructive mathematics Cryptographic complexity Decidability of theories Derandomization DNA computing Domain theory and computability Dynamical systems and computational models Effective descriptive set theory Finite model theory Formal aspects of program analysis Formal methods Foundations of computer science Games Generalized recursion theory History of computation Hybrid systems Higher type computability Hypercomputational models Infinite time Turing machines Kolmogorov complexity Lambda and combinatory calculi L-systems and membrane computation Mathematical models of emergence Molecular computation Morphogenesis Natural Computation Neural nets and connectionist models Philosophy of science and computation Physics and computability Probabilistic systems Process algebra Programming language semantics Proof mining Proof theory and computability Proof complexity Quantum computing and complexity Randomness Reducibilities and relative computation Relativistic computation Reverse mathematics Swarm intelligence 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.