30 June-5 July 2010, Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes, Ponta Delgada (Azores, Portugal)

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/