12 January 2010
CfP: Computability in Europe 2010 — Programs, Proofs, Processes
Posted by Rasmus Rendsvig under: Activities; Call for papers; Computer Science; Conference and workshop announcements; Programming Theory; Proof Theory .
| Wednesday, June 30, 2010 | to | Monday, July 5, 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.
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.
For more information, see http://www.cie2010.uac.pt/
Loading... 
