[FOM] [CiE] Computability in Europe 2006 - Final Call for Papers

S B Cooper pmt6sbc at maths.leeds.ac.uk
Mon Jan 9 11:33:50 EST 2006


[Apologies for multiple copies]


                  Computability in Europe 2006 :
           Logical Approaches to Computational Barriers
                      30 June - 5 July 2006
                       Swansea University

                http://www.cs.swansea.ac.uk/cie06/

                    FINAL  CALL  FOR  PAPERS

                   Deadline: FEBRUARY 9, 2006


Computability in Europe 2006 (CiE 2006) is the second of a new
conference series which serves as an interdisciplinary forum for
researchers into all aspects of computability and the foundations
of computer science.  The conference series in general welcomes
contributions involving theoretical approaches to practical
computational problems in many different areas.  This includes
(but is not limited to) neural networks, quantum computation,
natural computation, molecular computation, bioinformatics,
physics of computations, computational learning, proof theory,
classical computability, computable structures, proof complexity,
constructive mathematics, hypercomputers, analogue computers,
algorithms, and philosophy of computation.

CiE 2006 will have a special focus on logical approaches to
computational barriers, which include the practical and feasible
barriers, e.g., centred around the P vs. NP problem;  the
computable barriers connected to models of computers and
programming languages; and the hypercomputable barriers related
to physical systems (like quantum and analog computation, neural
nets, molecular computation).

                         GOEDEL CENTENARY

CiE 2006 also celebrates the Goedel Centenary:  We have two plenary
speakers related to Kurt Goedel, Martin Davis and John W Dawson,
the latter giving a Special Address on Kurt Goedel sponsored by the
Kurt Goedel Society, and we will have a Special Session: "Goedel
Centenary: His Legacy for Computability".

Here is a list of Tutorial and Invited Plenary Speakers, and of
names of Special Sessions:

Tutorials:
    Samuel R. Buss (San Diego, CA)
    Julia Kempe (Paris)

Invited Speakers:
    Jan Bergstra (Amsterdam)
    Luca Cardelli (Microsoft Cambridge)
    Martin Davis (New York, NY)
    John W Dawson (York, PA) (Special Address on Kurt Goedel)
    Jan Krajicek (Prague)
    Elvira Mayordomo Camara (Zaragoza)
    Istvan Nemeti (Budapest)
    Helmut Schwichtenberg (Munich)
    Andreas Weiermann (Utrecht)

Special Sessions:
    Proofs and Computation
    Computable Analysis
    Challenges in Complexity
    Foundations of Programming
    Mathematical Models of Computers and Hypercomputers
    Goedel Centenary: His Legacy for Computability

The Programme Committee cordially invites all researchers
(European and non-European) in the area of Computability Theory
to submit their papers (in PDF-format, max 10 pages) for
presentation at CiE 2006.  We particularly invite papers that
build bridges between different parts of the research community.
Since women are underrepresented in mathematics and computer
science, we emphatically encourage submissions by female authors.

The proceedings will be published within Springer's LNCS series.

To submit a paper and for more information on the submission
process, go to our web site http://www.cs.swansea.ac.uk/cie06/

Important dates:

Submission Deadline:          February 9th, 2006.
Notification of Authors:        March 10rd, 2006.
Deadline for Final Version:     March 31th, 2006.

(Please note that the dates have changed.)

Programme Committee:
    Samson Abramsky  (Oxford)
    Klaus Ambos-Spies (Heidelberg)
    Arnold Beckmann (Swansea, co-chair)
    Ulrich Berger (Swansea)
    Olivier Bournez (Nancy)
    Barry Cooper (Leeds)
    Laura Crosilla (Firenze)
    Costas Dimitracopoulos (Athens)
    Abbas Edalat (London)
    Fernando Ferreira (Lisbon)
    Ricard Gavalda (Barcelona)
    Giuseppe Longo (Paris)
    Benedikt Loewe (Amsterdam)
    Yuri Matiyasevich (St.Petersburg)
    Dag Normann (Oslo)
    Giovanni Sambin (Padova)
    Uwe Schoening (Ulm)
    Andrea Sorbi (Siena)
    Ivan Soskov (Sofia)
    Leen Torenvliet (Amsterdam)
    John Tucker (Swansea, co-chair)
    Peter van Emde Boas (Amsterdam)
    Klaus Weihrauch (Hagen)

Sponsors:

Financial support:
    British Logic Colloquium (BLC)
    Engineering and Physical Sciences Research Council (EPSRC)
    Kurt Goedel Society (KGS)
    London Mathematical Society (LMS)
    Welsh Development Agency (WDA)

Other sponsors:
    Association for Symbolic Logic (ASL)
    European Association for Theoretical Computer Science (EATCS)
    British Computer Society (BCS)
    IT Wales

Grants:
    Some UK student grants, funded by the EPSRC, are available. A
    limited number of UK student grants and former Soviet Union
    grants, funded by the LMS, is available.  Registered students,
    who are members of the ASL, may also apply for ASL travel
    funds.

For more information on the conference series, please check the
CiE conference series http://www.illc.uva.nl/CiE/ and our web
page http://www.cs.swansea.ac.uk/cie06/.




More information about the FOM mailing list