Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 30 June-5 July 2010
Location: Ponta Delgada (Azores, Portugal)
Deadline: 7 January 2010

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/

In a Call for Papers to be sent out this month, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2010. We particularly invite papers that build bridges between different parts of the research community.

Please note that this newsitem has been archived, and may contain outdated information or links.