Received: from rzcomm20.rz.tu-bs.de (rzcomm20.rz.tu-bs.de [134.169.9.66]) by George.iti.cs.tu-bs.de (8.13.4/8.13.4) with ESMTP id jAECFMBi014618 for <coalgebras@iti.cs.tu-bs.de>; Mon, 14 Nov 2005 13:15:22 +0100 (MET) Received: from mhs.swan.ac.uk (mhs.swan.ac.uk [137.44.1.33]) by rzcomm20.rz.tu-bs.de (8.12.11/8.12.11) with ESMTP id jAECFHxR016893 for <coalgebras@iti.cs.tu-bs.de>; Mon, 14 Nov 2005 13:15:18 +0100 (envelope-from cie06@swansea.ac.uk) Received: from [137.44.2.59] (helo=cs-svr1.swan.ac.uk) by mhs.swan.ac.uk with esmtp (Exim 4.54) id 1EbdBw-0006UE-F9 for coalgebras@iti.cs.tu-bs.de; Mon, 14 Nov 2005 12:12:08 +0000 Received: by cs-svr1.swan.ac.uk (Postfix, from userid 4022) id 5BAFE1CC70; Mon, 14 Nov 2005 12:12:08 +0000 (GMT) Date: Mon, 14 Nov 2005 12:12:08 +0000 From: cie06@swansea.ac.uk To: coalgebras@iti.cs.tu-bs.de Subject: CiE06: 2nd Call for Papers Message-ID: <43787F18.mailO0N11KB76@swansea.ac.uk> User-Agent: nail 11.4 8/29/04 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='NO_REAL_NAME 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Scanned-By: MIMEDefang 2.52 on 134.169.39.8 Status: O X-Status: X-Keywords: X-UID: 16 [Apologies for the inevitable multiple copies of this announcement] 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/.