CiE 2007
               http://www.mat.unisi.it/newsito/cie07.html

  Computability in Europe 2007: Computation and Logic in the Real World
                          University of Siena
                         Siena, 18-23 June 2007

                         CALL FOR PARTICIPATION

CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, natural computing, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

The CiE conference series has become a primary focus for basic and applied research into a full range of computability related issues, and CiE is the largest such international meeting.

DEADLINE FOR EARLY REGISTRATION: May 18, 2007

DEADLINE FOR SUBMITTING INFORMAL PRESENTATIONS: April 27, 2007

All presenters of informal presentations, are eligible to be invited to submit a full journal version of their talk to one of the post-conference publications - see:

http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.jour.html

LOCATION

Siena is one of Italy's best preserved medieval towns, located in the heart of Tuscany. Siena, built on three hills and surrounded by well preserved walls, is filled with fine examples of Gothic architecture and has one of the world's most unique piazzas - il Campo. The world-famous Palio, which takes place in the Campo, is an important part of Sienese identity, history and culture.

CiE 2007 takes place just 6 days before the start of the Palio on 29 June, 2007. Siena makes an excellent base for other excursions in Tuscany, as it is not far from charming towns such as San Gimignano, Pienza, and towns world famous for wine, such as Montalcino and Montepulciano. Florence and Pisa too are within easy reach.

INVITED TUTORIAL AND PLENARY SPEAKERS:

Pieter Adriaans (Amsterdam)
Kobi Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
George Odifreddi (Turin)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)

SPECIAL SESSIONS:

* Doing without Turing Machines: Constructivism and Formal Topology
* Approaches to Computational Learning
* Real Computation
* Computability and Mathematical Structure
* Complexity of Algorithms and Proofs
* Logic and New Paradigms of Computability
* Computational Foundations of Physics and Biology

INVITED SPECIAL SESSIONS SPEAKERS:

Eric Allender (Rutgers)
Andrej Bauer (Ljubljana)
Vasco Brattka (Cape Town)
Douglas Bridges (Canterbury, NZ)
John Case (Newark, Delaware)
Pieter Collins (Amsterdam)
Thierry Coquand (Goeteborg)
Felix Costa (Lisbon)
Barbara F. Csima (Waterloo)
Abbas Edalat (London)
Martin Escardo (Birmingham)
Joerg Flum (Freiburg)
Sergey S. Goncharov (Novosibirsk)
Hajime Ishihara (Tokyo)
Natasha Jonoska (Tampa, Florida)
Michal Koucky (Prague)
James Ladyman (Bristol)
Maria Emilia Maietti (Padua)
Giancarlo Mauri (Milan)
Klaus Meer (Odense)
Itamar Pitowsky (Jerusalem)
Robert Rettinger (Hagen)
Grzegorz Rozenberg (Leiden)
Frank Stephan (Singapore)
Neil Thapen (Prague)
Christopher Timpson (Leeds)
Giuseppe Trautteur (Naples)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo)
Jiri Wiedermann (Prague)
Damien Woods (Cork)
Liang Yu (Nanjing)
Martin Ziegler (Paderborn)

WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research
Association's Committee on the Status of Women in Computing Research (CRA-W)
Organisers: Paola Bonizzoni, Elvira Mayordomo. Speakers: Anne Condon (Vancouver),
Natasha Jonoska (Florida), Carmen Leccardi (Milan), and Andrea Cerroni (Milan)

PROGRAMME COMMITTEE:

M. Agrawal (Kanpur)                      M. Arslanov (Kazan)
G. Ausiello (Roma)                       A. Bauer (Ljubljana)
A. Beckmann (Swansea)                    U. Berger (Swansea)
P. Bonizzoni (Milan)                     A. Cantini (Firenze) B. Cooper (Leeds, co-chair)              L. Crosilla (Firenze) J. Diaz (Barcelona)                      C. Dimitracopoulos (Athens) F. Ferreira (Lisbon)                     S. Goncharov (Novosibirsk) P. Gruenwald (Amsterdam)                 D. Harel (Rehovot) A. Hodges (Oxford)                       J. Kempe (Paris) G. Longo (Paris)                         B. Loewe (Amsterdam) J. Makowsky (Haifa)                      E. Mayordomo Camara (Zaragoza) W. Merkle (Heidelberg)                   F. Montagna (Siena) D. Normann (Oslo)                        T. Pheidas (Heraklion) G. Rozenberg (Leiden)                    G. Sambin (Padova) H. Schwichtenberg (Muenchen)             W. Sieg (Carnegie Mellon) A. Sorbi (Siena, co-chair)               I. Soskov (Sofia) P. van Emde Boas (Amsterdam)

CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association for Computer Science Logic), FoLLI (The Association of Logic, Language and Information), GNSAGA-INdAM (Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro Applicazioni-Istituto NAzionale di Alta Matematica), Banca Monte Dei Paschi Di Siena, and The University of Siena.

CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and Complexity in Analysis) Conference (Siena, College Santa Chiara, June 16-18, 2007):
                     http://cca-net.de/cca2007/