Logic List Mailing Archive

CiE 2006: Logical Approaches to Computational Barriers (Jun/Jul 2006; Swansea, Wales)

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/.