From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 73DE27EE94 for ; Thu, 3 Jan 2013 02:20:56 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=209.85.223.194; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of cie.conference.series@gmail.com designates 209.85.223.194 as permitted sender) identity=mailfrom; client-ip=209.85.223.194; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f194.google.com) identity=helo; client-ip=209.85.223.194; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-ie0-f194.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0CACLc5FDRVd/Chmdsb2JhbABFgX+7PggWDgEBAQoJCwcWJ4IxESMBGwwSAxIQXQERAQUBPguHbAEDDwyZdYJtjDOCe4QmChknDVmGCgEFDIxLhEMDklmDM0RYjUwWKYQV X-IronPort-AV: E=Sophos;i="4.84,400,1355094000"; d="scan'208";a="188273287" Received: from mail-ie0-f194.google.com ([209.85.223.194]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Jan 2013 02:20:55 +0100 Received: by mail-ie0-f194.google.com with SMTP id 9so5483570iec.1 for ; Wed, 02 Jan 2013 17:20:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=IDKK0QHc/OBmqGdPeDL3SQ8g9Q0FzbArbPsRQjoDHz8=; b=u443JhK/hK8wD2VI2rOT5VrzCZdN8E5BelkpYTL4LEzj+ubbk+PeEAHT+Q3o/tkjuv fn7SWyDkQWn657/P5PmU6/J3zGV7jGPOqcR93ozAL3D8nkdRPSKG5vdA9wag+17EjXNW kDB/nhnhkEQge2gkZSgfm102Gv4QVn0spBqyDhmGXyOENZOOgPoZs+YUftE78SdS9bwB Wc2SJvZdSXIoCP8rSqDVQLNYPt2rSDYleuDneHEwptjyMUgyDtcbuRiG+8Ruh8tTf+tK epUV1e/JxgHLn7LqYaxsqmR0TKF+AKE9pDVKP7mVPod0cdTv2g805sPnZYVdw4Abrt0B LFzA== MIME-Version: 1.0 Received: by 10.43.125.133 with SMTP id gs5mr36533981icc.54.1357175703493; Wed, 02 Jan 2013 17:15:03 -0800 (PST) Received: by 10.64.46.138 with HTTP; Wed, 2 Jan 2013 17:15:03 -0800 (PST) Date: Thu, 3 Jan 2013 01:15:03 +0000 Message-ID: From: CiE Conference Series To: caml-list@inria.fr Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] CiE13 call for papers and special awards ************************************************************************ CALL FOR PAPERS AND SPECIAL AWARDS: =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0CiE 2013: The Nature = of Computation =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0Logic, Algorith= ms, Applications =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0Milan, Italy =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0July =A01 - 5, 2013 =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0http://cie2013.= disco.unimib.it IMPORTANT DATES: Submission Deadline for LNCS: =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A020 January 2013 Notification of authors: =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A04 March 2013 Deadline for final revisions: =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A01 April 2013 CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. AWARDS: Springer-Verlag has graciously funded two awards that will be given during the CiE 2013 Conference. Best student paper This prize will be awarded for the best student paper presented at CiE 2013, as judged by the Program Committee. A prize of 500 Euros will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). In order to be considered, a paper has to be submitted in the category 'Regular paper (eligible for best student paper award)' on EasyChair. Papers are eligible if all of its authors are full-time students at the time of submission. Best paper on Natural Computing The prize consists of the four volumes of the Handbook of Natural Computing (see http://cie2013.disco.unimib.it/awards/). This prize will be awarded to the best paper on Natural Computing presented at CiE 2013, as judged by the Program Committee. A paper is eligible if its main topic falls within the scope of Natural Computing, roughly defined as the set of fields studied in the above handbook. The Program Committee is the only judge of the relevance of a paper within the Natural Computing scope. The authors of a paper eligible for the award must indicate this in the submission notes. INVITED SPEAKERS Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique F=E9d=E9rale de Lausanne) Mariya Soskova (Sofia University) Endre Szemer=E9di (Hungarian Academy of Sciences, Rutgers University) TUTORIAL SPEAKERS Gilles Brassard (Universit=E9 de Montr=E9al) Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) SPECIAL SESSIONS on Algorithmic Randomness =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Mathieu Hoyrup, Andre Nies Data Streams and Compression =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Paolo Ferragina, Andrew McGregor Computational Complexity in the Continuous World =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Akitoshi Kawamura, Robert Rettinger Computational Molecular Biology =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Alessandra Carbone, Jens Stoye Computation in Nature =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Mark Delay, Natasha Jonoska History of Computation =A0=A0=A0=A0=A0=A0=A0=A0=A0organizers: Gerard Alberts, Liesbeth De Mol PROGRAM COMMITTEE: * Gerard Alberts (Amsterdam) * Lu=EDs Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town, co-chair) * Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa) * Stephen Cook (Toronto ON) * Barry Cooper (Leeds) * Ann Copestake (Cambridge) * Erzs=E9bet Csuhaj-Varj=FA (Budapest) * Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan) * Liesbeth De Mol (Gent) * J=E9r=F4me Durand-Lose (Orl=E9ans) * Viv Kendon (Leeds) * Bj=F8rn Kjos-Hanssen (Honolulu, HI) * Antonina Kolokolova (St. John=92s NF) * Benedikt L=F6we (Amsterdam) * Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin) * Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt) * Sonja Smets (Amsterdam) * Susan Stepney (York) * S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission sitehttps://www.easychair.org/conferences/?conf=3Dcie2= 013 is open. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it ************************************************************************