From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 34C107EEAF for ; Fri, 18 Jan 2013 13:35:36 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of cie.conference.series@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail4-smtp-sop.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 (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-ie0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApEBADBB+VDRVd+sm2dsb2JhbABFvi8IFg4BAQEBAQgJCwkUJ4JlARsMEgMSEF0BEQEFAYg7AQMPDJtAgnCMNIJ7hQwKGScNWYdhAQUMjgSDKQOWDIEcjUwWKYQX X-IronPort-AV: E=Sophos;i="4.84,492,1355094000"; d="scan'208";a="168917057" Received: from mail-ie0-f172.google.com ([209.85.223.172]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Jan 2013 13:35:35 +0100 Received: by mail-ie0-f172.google.com with SMTP id c13so6099809ieb.17 for ; Fri, 18 Jan 2013 04:35:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:date:message-id:subject:from:to :content-type:content-transfer-encoding; bh=X35EL9tP22oXlad3qILtuuQqNMHFjwXCbHJM/beFfPU=; b=Kh8aATf4Oa7bMl/hfCvNNg6f3tlhAPnzMDBPzPjl0Sp3tpHad19jZZROPVacztWM3c HMlzH6pHKLx9LITstOyRL+GCGqTe3HTHlwCjgQ5/mm0QYbux6jEBiBmp4ajZ7esTQi0+ BINUKQ6AVaUl0s+zTd1LzNcosKHgAVY+Q6LImQBHY/rOBOOAgfKpO3oiBBIHurvJxhLa MwfGMweh7qxYcDZjLKXOD7XegEy5Vpki+MPRdJgo4j0KSRrGsLfNgdtP+rTscE1rD6DV 1qYr2e+UqQWXtJF+4HYH0OCvcFLdZ8TFGVwrUimVZfWkWMV81ee7tm9ykgVzawOwR2Gx 4Khw== MIME-Version: 1.0 X-Received: by 10.50.33.173 with SMTP id s13mr1915411igi.23.1358512534244; Fri, 18 Jan 2013 04:35:34 -0800 (PST) Received: by 10.64.171.81 with HTTP; Fri, 18 Jan 2013 04:35:34 -0800 (PST) Date: Fri, 18 Jan 2013 12:35:34 +0000 Message-ID: From: CiE Conference Series To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] CiE 2013: The Nature of Computation - final submission by *February 2nd 2013* FINAL SUBMISSION INFORMATION CiE 2013: The Nature of Computation Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it co-located with Unconventional Computation and Natural Computation 2013 http://ucnc2013.disco.unimib.it ALL FINAL SUBMISSION needed by *February 2nd 2013* The organisers have received several requests for extending the deadline. The server for submissions to CIE 2013 will remain open for new submissions until January 30th. Revised versions of papers may be submitted until February 2nd, as long as a preliminary version including an abstract has been submitted by January 30th. --------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. 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. We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. SUBMISSIONS Authors of accepted papers are expected to present their work at the conference. Each presentation will be 25 minutes long, including the time for the eventual discussion. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. Authors are required to submit their manuscripts electronically in PDF using the LNCS style. Authors using LaTeX can download the needed macros at Springer-Verlag site. Papers should not exceed 10 pages; full proofs may appear in a clearly marked technical appendix which will be read at the reviewers=B9 discretion. The submission process is managed by EasyChair and is available at https://www.easychair.org/conferences/?conf=3Dcie2013. The proceedings will be available at the conference venue. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.