CiE 2012 - How the World Computes

Print current page  Print this page

CiE Association and Series

The Association CiE and the CiE Conference Series

The CiE Conference Series is organised by the CiE Conference Series Steering Committee on behalf of the Association CiE.

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.

CiE2005 small poster CiE2006 small poster CiE 2007 small poster CiE 2008 small poster
CiE 2009 small poster CiE 2010 small poster CiE 2011 small poster

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-03-17 Valid HTML 4.01! Valid CSS!