TY - JOUR
AU1 - Barry Cooper, S.
AU2 - Löwe, Benedikt
AU3 - Sorbi, Andrea
AB - Logic and Computation in the Real World: CiE 2007 The thirteen papers in this special issue arose from the conference CiE 2007: Logic and Computation in the Real World, held at the University of Siena in June, 2007. CiE 2007 was the third of a new series of conferences associated with the interdisciplinary network Computability in Europe. Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical development and applications. Among the aims of the network is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. Its scientific vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs and machines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory or relativity. Computations may be very general, depending upon the foundations of set theory; or very specific, using the combinatorics of finite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new 
TI - Logic and Computation in the Real World: CiE 2007
JF - Journal of Logic and Computation
DO - 10.1093/logcom/exn020
DA - 2009-02-20
UR - https://www.deepdyve.com/lp/oxford-university-press/logic-and-computation-in-the-real-world-cie-2007-2HE29tPzk6
SP - 1
EP - 2
VL - 19
IS - 1
DP - DeepDyve
ER -