From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 724A0BC0B for ; Wed, 3 Jan 2007 10:23:42 +0100 (CET) Received: from CUCES1.UNISI.IT (cuces1.unisi.it [193.205.4.2]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l039NfYs000910 for ; Wed, 3 Jan 2007 10:23:42 +0100 Received: from conversion_l.unisi.it by mailsrv.unisi.it (PMDF V6.2-1 #31112) id <01MBHMCC39CG8WYO9C@mailsrv.unisi.it> for caml-list@inria.fr; Wed, 03 Jan 2007 10:21:28 +0200 (MET-DST) Received: from SORBI.unisi.it (sorbi.capitano.unisi.it [172.16.13.24]) by mailsrv.unisi.it (PMDF V6.2-1 #31112) with ESMTP id <01MBHMCA5HHY8Y7U4X@mailsrv.unisi.it>; Wed, 03 Jan 2007 10:21:26 +0200 (MET-DST) Date: Wed, 03 Jan 2007 10:21:23 +0100 From: CiE2007 Subject: CiE2007-Final Call for papers X-Sender: sorbi@mailsrv.unisi.it To: cie2007@unisi.it Cc: calendar@acm.org, camilla.schwind@lim.univ-mrs.fr, caml-list@inria.fr, campos@cs.cmu.edu, carol_logan@vnet.ibm.com, carsten@cs.cmu.edu, carsten@cs.yale.edu, cattani@brics.dk, ccl@dfki.de, ccl@dfki.uni-sb.de, cclin@verplex.com, cdk@it.uc3m.es, cdrossos@math.upatras.gr, cdz@zblmath.fiz-karlsruhe.de, cenciarelli@dsi.uniroma1.it, cesabian@dsi.unimi.it, cestluk@polyu.edu.hk, cf245@dpmms.cam.ac.uk, cfmanski@nwu.edu, charlie@cs.uml.edu, chaudron@cert.fr, chein@lirmm.fr, chengq@em.tsinghua.edu.cn, chenno@dic.k8.rt.bosch.de, chezalviel@laas.fr, chitta@cs.utep.edu, cholvy@cert.fr, christine.paulin@lri.fr, chuijs@cs.utwente.nl, chungli@cs.colgate.edu, cic@eps.udl.es, cindye@vnet.ibm.com, cjf@cs.uq.oz.au, cl@informatik.uni-mainz.de, claesen@imec.be, claudette.cayrol@irit.fr, clote@cs.bc.edu, clp@comp.nus.edu.sg, colibri@let.uu.nl, comlab@comlab.ox.ac.uk, comon@lsv.ens-cachan.fr, complog@cs.nmsu.edu, compulog-deduction@cs.bham.ac.uk, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, compunode@dfki.de, concurrency@cwi.nl, coppola@dimi.uniud.it, coq-club@pauillac.inria.fr, coquand@cs.chalmers.se Message-id: <6.0.0.22.1.20070103102119.019ce2e8@mailsrv.unisi.it> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 6.0.0.22 Content-type: text/plain; charset=us-ascii; format=flowed X-Miltered: at concorde with ID 459B761D.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lncs:01 tocs:01 pieter:01 anil:01 nerode:01 andrej:01 pieter:01 coquand:01 joerg:01 freiburg:01 michal:01 padua:01 damien:01 paderborn:01 harel:01 CiE'07: COMPUTABILITY IN EUROPE 2007 http://www.mat.unisi.it/newsito/cie07.html University of Siena Siena, 18 - 23 June 2007 FINAL CALL FOR PAPERS SUBMISSION DEADLINE: FRIDAY 12 JANUARY, 2007 The CONFERENCE PROCEEDINGS will be published by Springer Lecture Notes in Computer Science (LNCS). 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 to be submitted. For a list of conference topics see: http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.descr.html#themes SUBMISSION OF PAPERS: Jan. 12, 2007 Notification of Authors: Feb. 16, 2007 Deadline for Final Revisions: Mar. 9, 2007 Deadline for Submission of Informal Presentations: Apr. 27, 2007 PLENARY AND TUTORIAL SPEAKERS: Pieter Adriaans (Amsterdam) Yaakov 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) Robert I. Soare (Chicago) Philip Welch (Bristol) SPECIAL SESSIONS SPEAKERS: Eric Allender (Rutgers) Andrej Bauer (Ljubljana) Vasco Brattka (Cape Town) Douglas Bridges (Canterbury, NZ) John Case (Newark, Delaware) Pieter Collins (Amsterdam) Thierry Coquand (Goeteborg) Felix Costa (Lisbon) Barbara F. Csima (Waterloo) Abbas Edalat (London) Martin Escardo (Birmingham) Joerg Flum (Freiburg) Sergey S. Goncharov (Novosibirsk) Hajime Ishihara (Tokyo) Natasha Jonoska (Tampa, Florida) Michal Koucky (Prague) James Ladyman (Bristol) Maria Emilia Maietti (Padua) Giancarlo Mauri (Milan) Klaus Meer (Odense) Itamar Pitowsky (Jerusalem) Robert Rettinger (Hagen) Grzegorz Rozenberg (Leiden) Frank Stephan (Singapore) Neil Thapen (Prague) Giuseppe Trautteur (Naples) Heribert Vollmer (Hannover) Osamu Watanabe (Tokyo) Jiri Wiedermann (Prague) Damien Woods (Cork) Liang Yu (Nanjing) Martin Ziegler (Paderborn) WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research Association's Committee on the Status of Women in Computing Research (CRA-W) Organisers: Paola Bonizzoni, Elvira Mayordomo Speakers: Anne Condon (Vancouver), Natasha Jonoska (Florida), Carmen Leccardi (Milan), and others PROGRAMME COMMITTEE: 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) CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e Applicazioni), EATCS (European Association for Theoretical Computer Science), ASL (Association for Symbolic Logic), EACSL (European Association for Computer Science Logic), FoLLI (The Association of Logic, Language and Information), and The University of Siena. CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and Complexity in Analysis) Conference (Siena, College Santa Chiara, June 16-18, 2007): http://cca-net.de/cca2007/ ************************************************************