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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 77A287EE80 for ; Thu, 21 Mar 2013 02:08:42 +0100 (CET) Received-SPF: None (mail2-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.195; receiver=mail2-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 (mail2-smtp-roc.national.inria.fr: domain of cie.conference.series@gmail.com designates 209.85.223.195 as permitted sender) identity=mailfrom; client-ip=209.85.223.195; receiver=mail2-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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f195.google.com) identity=helo; client-ip=209.85.223.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-ie0-f195.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArIGAD9cSlHRVd/DiWdsb2JhbABDxwcIFg4BAQEKCRQSKjkBAYINIwEUBwUHEgMSECMBOAEBEQEFATUIAQuHbQEDDwyhKYJyjDKCe4RXChknDVmIfAEFDIw7gmIBgy0DlQCBYIEfijwNA4M1FimELTyBMAcX X-IPAS-Result: ArIGAD9cSlHRVd/DiWdsb2JhbABDxwcIFg4BAQEKCRQSKjkBAYINIwEUBwUHEgMSECMBOAEBEQEFATUIAQuHbQEDDwyhKYJyjDKCe4RXChknDVmIfAEFDIw7gmIBgy0DlQCBYIEfijwNA4M1FimELTyBMAcX X-IronPort-AV: E=Sophos;i="4.84,881,1355094000"; d="scan'208";a="8577326" Received: from mail-ie0-f195.google.com ([209.85.223.195]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Mar 2013 02:08:41 +0100 Received: by mail-ie0-f195.google.com with SMTP id c11so912471ieb.2 for ; Wed, 20 Mar 2013 18:08:40 -0700 (PDT) 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=EbO2oNUkYIXgo4K5vDS6u3Z6AMRX2wKxtWuHFbqeM+k=; b=klnNJMo16+a+qNA5D4fKn3feETd/pF7V3s5D7fHJnRCH9NkAHZQqiOp6zpWP5VqB9w Wiwvicu9pMWJCR/0aebLzyr0kF/xdQhdkKC3fXAS9zCzOly8/JoyBdCh24WqpTXONIfH NR231tvG9GJW4UkYLDzzHQM28kE9gcl8ruaNPpnSwmQ2neG1i0zjrEAPQArtAz+mCoiN byivM67T2c6KFyXsbiWk6Yn35sf7dHvVRNVNeZqvZcz84U4y7F+daBwm2xOdtllR6WJ+ GNI9+lAj5K2CEzwIAO32HjwISwpSkDkVuZUNP2tDTB+Re8ZDjewXk/MePmyqJsltflII YVpg== MIME-Version: 1.0 X-Received: by 10.50.173.102 with SMTP id bj6mr846924igc.16.1363827623210; Wed, 20 Mar 2013 18:00:23 -0700 (PDT) Received: by 10.64.107.136 with HTTP; Wed, 20 Mar 2013 18:00:23 -0700 (PDT) Date: Thu, 21 Mar 2013 01:00:23 +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] CiE 2013: Call for Informal Presentations ---------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2013: The Nature of Computation Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it --------------------------------------------------------------------------= -- CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. T= he format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, this year's CiE conferen= ce endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers = to present informal presentations. For this, please send us a brief descripti= on of your talk (between one paragraph and one page) by the DEADLINE: MAY 31, 2013 Please submit your abstract electronically, via EasyChair , selecting the catego= ry "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission. If you intend to apply for the ASL Student Travel Award, you might need us to confirm that your are going to give a presentation at CiE 2013 (applications of students who are presenting get higher priority). Therefore, we would like to ask you to submit your informal presentations = by 26 March so that we can send you the notification before the ASL deadline = of 1 April 2013. GRANTS: Grants for students, members of the ASL: The Association for Symbolic Logic before the deadline of April 1, 2013. EACTS Students The European Association for Theoretical Computer Science has decided to sponsor all students that are EATCS members and willing to attend CiE2013. The early registration fee for EATCS students is 30=82=C7=A8 cheaper than = the one for non-members. __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2013 http://cie2013.disco.unimib.it CiE Membership Application Form http://www.cs.swan.ac.uk/acie __________________________________________________________________________