[TYPES] CiE06: 2nd Call for Papers

[Ulrich Berger]

                                CiE 2006
                      Computability in Europe 2006 :
               Logical Approaches to Computational Barriers
                          30 June - 5 July 2006
                           Swansea University
                    http://www.cs.swansea.ac.uk/cie06/

                         2nd  CALL  FOR  PAPERS

                        Deadline: JANUARY 6, 2006

CiE 2006 is the second of a new conference series on
Computability Theory and related topics which started in
Amsterdam in 2005.  CiE 2006 will focus on (but not be limited
to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs.
   NP problem;
- computable barriers connected to models of computers and
   programming languages;
- hypercomputable barriers related to physical systems.

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:           January 6th, 2006.
Notification of Authors:         March 3rd, 2006.
Deadline for Final Version:     March 24th, 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/.