The CiE Conference Series is organised by the
CiE Conference Series Steering Committee
on behalf of the
CiE 2012 will be the eighth such conference on Computability Theory
and its role in mathematics, science, computer science and beyond. The series started in Amsterdam with
CiE 2005: New computational paradigms,
and continued in
Swansea: CiE 2006: Logical approaches to computational barriers,
Siena: CiE 2007: Computation and Logic in the Real World,
Athens: CiE 2008: Logic and Theory of Algorithms,
Heidelberg: CiE 2009: Mathematical Theory and Computational Practice,
the University of the Azores CiE 2010: Programs, Proofs, Processes,
and in Sofia with CiE 2011: Models of Computation in Context.
Information about future conferences in this series can be found on the
CiE Conference Series web site.