Institute for Logic, Language and Computation
CiE-CS: CiE 2007
CiE 2007: Computation and Logic in the Real World.
Siena, Italy. June 18-23, 2007.

Organizers: B. Cooper, B. Löwe, A. Sorbi

Programme Committee:

Marat Arslanov (Kazan), Giorgio Ausiello (Roma), Andrej Bauer (Ljubljana), Arnold Beckmann (Swansea), Ulrich Berger (Swansea), Andrea Cantini (Firenze), Barry Cooper (Leeds, co-chair), Laura Crosilla (Firenze), Costas Dimitracopoulos (Athens), Fernando Ferreira (Lisbon), Sergei Goncharov (Novosibirsk), Giuseppe Longo (Paris), Benedikt Löwe (Amsterdam), Elvira Mayordomo Cámara (Zaragoza), Wolfgang Merkle (Heidelberg), Franco Montagna (Siena), Dag Normann (Oslo), Thanases Pheidas (Heraklion), Grzegorz Rozenberg (Leiden), Giovanni Sambin (Padova), Helmut Schwichtenberg (München), Andrea Sorbi (Siena, co-chair), Ivan Soskov (Sofia), Peter van Emde Boas (Amsterdam),

General Description:

Classical computability theory, based on the model of Turing machines, has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way to the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and even threaten to breach the so-called Turing barrier, seemingly moving the borderline between the decidable and the undecidable as is currently understood.

The conference will address various aspects of the ways computability theory enables scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, real computation and learning theory. At the same time it will address various aspects of the ways computability emerges from the real world, and how this affects our way of thinking about computability and incomputability.

The conference is held in Siena and organized by the Department of Mathematics and Computer Science "Roberto Magari" of the University of Siena, a leading research institution in logic and computability theory, with links to a number of other Italian research centres strong in the computational sciences.