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.
|
|
|
|
| |
