CiE 2 010 is the sixth in a successful series of confere nces organised by\n CiE (Computability in E urope), a European association of mathematicians,\ n logicians, computer scientists, philosoph ers, physicists and others\n interested in new developments in computability and their underl ying\n significance for the real world. Pre vious meetings took place in\n Amsterdam (2 005), Swansea (2006), Siena (2007), Athens (2008), and\n Heidelberg (2009).\n
\nFormal systems, attendant proofs, and the pos sibility of their computer\n generation and manipulation (for instance, into programs) have b een\n changing a whole spectrum of discipli nes. The conference will address\n not only the more established lines of research of Computa tional\n Complexity and the interplay betwe en Proof Theory and Computation, but\n also novel views that rely on physical and biological processes and\n models to find new ways of tackling computations and improving their\n efficiency. Also, information systems like the We b are a recent subject\n of attention in vi ew of the fact that managing such complex and evol ving\n systems pose particular problems. In all cases we are looking for\n fundamental and theoretical submissions.\n
\n < p>In line with other conferences in this series, C iE2010 has a broad scope\n and provides a f orum for the discussion of theoretical and practic al\n issues in Computation with an emphasis on new paradigms of computation\n and the development of their mathematical theory.\n < /p>\n \n \nFor more information, see\n http://www.cie2010.uac.pt/\n
\nIn a Call for Papers to be sent out this month, the PC will\n invite all researchers in the area of the con ference to submit their\n papers for presen tation at CiE 2010.\n We particularly invite papers that build bridges between different parts\ n of the research community.\n
\n