CiE 2007 - First Call for Papers

CiE 2007 - First Call for Papers

Post by pmt6sb » Fri, 03 Nov 2006 22:24:40

[apologies for multiple copies]

CiE 2007

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


Deadline: JANUARY 12, 2007

CiE 2007 invites submissions from a broad range of basic and applied areas
of computability related research. While submissions close to the conference
theme of 'Computation and Logic in the Real World' are specially invited,
CiE also very much welcomes fundamental research papers in computability and
logic. Submissions in emergent areas, such as bioinformatics and natural
computation (including quantum, molecular, neural, and evolutionary
computation), where they have a basic connection with computability, are
particularly welcome. For a fuller list of conference topics see:

Submission of papers: Jan. 12, 2007
Notification of authors: Feb. 16, 2007
Deadline for final revisions: Mar. 9, 2007

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF-format, max 10 pages) for presentation at CiE 2007: see the conference
website for the online submission procedure.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. There
will also be journal special issues: APAL, JLC, TCS-C, ToCS - to which full
versions of selected submissions to CiE 2007 will be invited, in
consultation with the Programme Committee and Special Session Organisers, to


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


M. Agrawal (Kanpur) M. Arslanov (Kazan)
G. Ausiello (Roma) A. Bauer (Ljubljana)
A. Beckmann (Swansea) U. Berger (Swansea)
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)


* Doing without Turing Machines: Constructivism and Formal Topology
* Approaches to Computational Learning
* Real Computation
* Computability and Mathematical Structure
* Complexity of Algorithms and Proofs