Please note that this newsitem has been archived, and may contain outdated information or links.
30 June - 5 July 2010, Computability in Europe (CiE 2010), Ponta Delgada, Azores, Portugal
Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs 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.
For more information, see http://www.cie2010.uac.pt/
The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2010. The committee particularly invites papers that build bridges between different parts of the research community. Submission date of papers: January 20, 2010.
Please note that this newsitem has been archived, and may contain outdated information or links.