From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 6B3167EEEF for ; Sun, 31 May 2015 05:05:23 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eacsl-announce-bounces@kahle.ch) identity=pra; client-ip=80.74.143.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="eacsl-announce-bounces@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eacsl-announce-bounces@kahle.ch designates 80.74.143.35 as permitted sender) identity=mailfrom; client-ip=80.74.143.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="eacsl-announce-bounces@kahle.ch"; 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@web304.oemsites.net) identity=helo; client-ip=80.74.143.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="postmaster@web304.oemsites.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DRBQBLeWpV/yOPSlBcgmYqVF4Bgx2pGgEBAQEBB5EYZgmBUAqGFYEPORQBAQEBAQEBgQqEJAYBARoGEQ8BAgoGEgYNAQMBAgYCJAIFHQQCAgIBAQsCFgERDiMGAgEBAQ+IGgMJsGFwhGoCnj4BCgEBAQEWB4EhhHiGZ4JmEQGDBQwvEoEzi1qLaoQhgjyBKT6DM4Jei2GDfGGBJw+BYm6BDIE7AQEB X-IPAS-Result: A0DRBQBLeWpV/yOPSlBcgmYqVF4Bgx2pGgEBAQEBB5EYZgmBUAqGFYEPORQBAQEBAQEBgQqEJAYBARoGEQ8BAgoGEgYNAQMBAgYCJAIFHQQCAgIBAQsCFgERDiMGAgEBAQ+IGgMJsGFwhGoCnj4BCgEBAQEWB4EhhHiGZ4JmEQGDBQwvEoEzi1qLaoQhgjyBKT6DM4Jei2GDfGGBJw+BYm6BDIE7AQEB X-IronPort-AV: E=Sophos;i="5.13,525,1427752800"; d="scan'208";a="158987929" Received: from srv35-143-74-80.oemsites.net (HELO web304.oemsites.net) ([80.74.143.35]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 31 May 2015 05:05:22 +0200 Received: from web304.oemsites.net (localhost [IPv6:::1]) by web304.oemsites.net (Postfix) with ESMTP id 3D99027C18F0; Sun, 31 May 2015 05:05:16 +0200 (CEST) Received: from [192.168.1.3] (a95-92-224-210.cpe.netcabo.pt [95.92.224.210]) (Authenticated sender: eacsl@kahle.ch) by web304.oemsites.net (Postfix) with ESMTPSA id 09F4B27C18CF for ; Sat, 30 May 2015 21:17:09 +0200 (CEST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=kahle.ch; b=k+1Z5pGH8kvTyujh99PU6+Se/jlyLwX7hRlPQvsE7gvJg+ScwEb86zXAGVrYjEhhPHHgPBvO2z56kCna9sMPtK8QDZpmUq8Sfb74GClQ2vEGowByk/11eYVaGbow6ripFp9iH5+yqIsKFFCk9fjfwioH0I6m5xcwVG1pZL54K5I=; h=Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:Content-Type:Content-Transfer-Encoding:X-PPP-Message-ID:X-PPP-Vhost; Message-ID: <556A0CB3.80809@kahle.ch> Date: Sat, 30 May 2015 20:17:07 +0100 From: European Association of Computer Science Logic User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: eacsl-announce@kahle.ch X-PPP-Message-ID: <20150530191710.7322.83823@web304.oemsites.net> X-PPP-Vhost: kahle.ch X-BeenThere: eacsl-announce@kahle.ch X-Mailman-Version: 2.1.12 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Sender: eacsl-announce-bounces@kahle.ch Errors-To: eacsl-announce-bounces@kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] [Eacsl-announce] ESSLLI 2016 - Call for Course and Workshop Proposals Tk9URTogUGxlYXNlIE5vdGUgdGhlIEVBQ1NMIFNwb25zb3JzaGlwIG9mZmVy ZWQgaW4gdGhlIENhbGwgYmVsb3cuICBJdAppcyBlc3BlY2lhbGx5IG1lYW50 IHRvIGVuY291cmFnZSBwcm9wb3NhbHMgaW4gdGhlIGFyZWEgb2YgTG9naWMg aW4KQ29tcHV0ZXIgU2NpZW5jZSEKCgoKQ2FsbCBmb3IgQ291cnNlIGFuZCBX b3Jrc2hvcCBQcm9wb3NhbHMKMjh0aCBFdXJvcGVhbiBTdW1tZXIgU2Nob29s IGluIExvZ2ljLCBMYW5ndWFnZSBhbmQgSW5mb3JtYXRpb24gLQpFU1NMTEkg MjAxNgoxNS0yNiBBdWd1c3QsIDIwMTYKRmFjdWx0eSBvZiBDb21wdXRlciBT Y2llbmNlLCBGcmVlIFVuaXZlcnNpdHkgb2YgQm96ZW4tQm9semFubywgSXRh bHkKaW4gY29sbGFib3JhdGlvbiB3aXRoIFVuaXZlcnNpdHkgb2YgVHJlbnRv LCBJdGFseQpodHRwOi8vZXNzbGxpMjAxNi51bmliei5pdC8KCgpJTVBPUlRB TlQgREFURVMgKHdpdGggZXh0ZW5kZWQgZGVhZGxpbmUpCgogIDggSnVuZSAy MDE1OiBQcm9wb3NhbCBzdWJtaXNzaW9uIGRlYWRsaW5lCiAgMjMgU2VwdGVt YmVyIDIwMTU6IE5vdGlmaWNhdGlvbgogIDIwIEp1bHkgMjAxNjogQ291cnNl IG1hdGVyaWFsIGR1ZQoKVE9QSUNTIEFORCBGT1JNQVQKClByb3Bvc2FscyBm b3IgY291cnNlcyBhbmQgd29ya3Nob3BzIGF0IEVTU0xMSSAyMDE2IGFyZSBp bnZpdGVkIGluIGFsbAphcmVhcyBvZiBMb2dpYywgTGluZ3Vpc3RpY3MgYW5k IENvbXB1dGluZyBTY2llbmNlcy4gQ3Jvc3MtZGlzY2lwbGluYXJ5CmFuZCBp bm5vdmF0aXZlIHRvcGljcyBhcmUgcGFydGljdWxhcmx5IGVuY291cmFnZWQu CgpFYWNoIGNvdXJzZSBhbmQgd29ya3Nob3Agd2lsbCBjb25zaXN0IG9mIGZp dmUgOTAgbWludXRlIHNlc3Npb25zLApvZmZlcmVkIGRhaWx5IChNb25kYXkt RnJpZGF5KSBpbiBhIHNpbmdsZSB3ZWVrLiBQcm9wb3NhbHMgZm9yIHR3by13 ZWVrCmNvdXJzZXMgc2hvdWxkIGJlIHN0cnVjdHVyZWQgYW5kIHN1Ym1pdHRl ZCBhcyB0d28gaW5kZXBlbmRlbnQgb25lLXdlZWsKY291cnNlcywgZS5nLiBh cyBhbiBpbnRyb2R1Y3RvcnkgY291cnNlIGZvbGxvd2VkIGJ5IGFuIGFkdmFu Y2VkIG9uZS4KSW4gc3VjaCBjYXNlcywgdGhlIEVTU0xMSSBwcm9ncmFtbWUg Y29tbWl0dGVlIHJlc2VydmVzIHRoZSByaWdodCB0bwphY2NlcHQganVzdCBv bmUgb2YgdGhlIHR3byBwcm9wb3NhbHMuCgpBbGwgaW5zdHJ1Y3Rpb25hbCBh bmQgb3JnYW5pemF0aW9uYWwgd29yayBhdCBFU1NMTEkgaXMgcGVyZm9ybWVk CmNvbXBsZXRlbHkgb24gYSB2b2x1bnRhcnkgYmFzaXMsIHNvIGFzIHRvIGtl ZXAgcGFydGljaXBhdGlvbiBmZWVzIHRvIGEKbWluaW11bS4gSG93ZXZlciwg b3JnYW5pemVycyBhbmQgaW5zdHJ1Y3RvcnMgaGF2ZSB0aGVpciByZWdpc3Ry YXRpb24KZmVlcyB3YWl2ZWQsIGFuZCBhcmUgcmVpbWJ1cnNlZCBmb3IgdHJh dmVsIGFuZCBhY2NvbW1vZGF0aW9uIGV4cGVuc2VzCnVwIHRvIGEgbGV2ZWwg dG8gYmUgZGV0ZXJtaW5lZCBhbmQgY29tbXVuaWNhdGVkIHdpdGggdGhlIHBy b3Bvc2FsCm5vdGlmaWNhdGlvbi4gRVNTTExJIGNhbiBvbmx5IGd1YXJhbnRl ZSByZWltYnVyc2VtZW50IGZvciBhdCBtb3N0IG9uZQpjb3Vyc2Uvd29ya3No b3Agb3JnYW5pemVyLCBhbmQgY2FuIG5vdCBndWFyYW50ZWUgZnVsbCByZWlt YnVyc2VtZW50IG9mCnRyYXZlbCBjb3N0cyBmb3IgbGVjdHVyZXJzIG9yIG9y Z2FuaXplcnMgZnJvbSBvdXRzaWRlIG9mIEV1cm9wZS4gVGhlCkVTU0xMSSBv cmdhbml6ZXJzIHdvdWxkIGFwcHJlY2lhdGUgYW55IGhlbHAgaW4gY29udHJv bGxpbmcgdGhlClNjaG9vbCdzIGV4cGVuc2VzIGJ5IHNlZWtpbmcgY29tcGxl dGUgY292ZXJhZ2Ugb2YgdHJhdmVsIGFuZAphY2NvbW1vZGF0aW9uIGV4cGVu c2VzIGZyb20gb3RoZXIgc291cmNlcy4KClRoZSBvcmdhbml6ZXJzIHdhbnQg dG8gcG9pbnQgYXQgdGhlIHBvc3NpYmlsaXR5IG9mIGFuIEVBQ1NMCnNwb25z b3JzaGlwLCBtZW50aW9uZWQgYXQgdGhlIGVuZCBvZiB0aGlzIGNhbGwKCkNB VEVHT1JJRVMKCkVhY2ggcHJvcG9zYWwgc2hvdWxkIGZhbGwgdW5kZXIgb25l IG9mIHRoZSBmb2xsb3dpbmcgY2F0ZWdvcmllcy4KCiogRk9VTkRBVElPTkFM IENPVVJTRVMgKgpTdWNoIGNvdXJzZXMgYXJlIGRlc2lnbmVkIHRvIHByZXNl bnQgdGhlIGJhc2ljcyBvZiBhIHJlc2VhcmNoIGFyZWEsIHRvCnBlb3BsZSB3 aXRoIG5vIHByaW9yIGtub3dsZWRnZSBpbiB0aGF0IGFyZWEuIFRoZXkgc2hv dWxkIGJlIG9mCmVsZW1lbnRhcnkgbGV2ZWwsIHdpdGhvdXQgcHJlcmVxdWlz aXRlcyBpbiB0aGUgY291cnNlJ3MgdG9waWMsIHRob3VnaApwb3NzaWJseSBh c3N1bWluZyBhIGxldmVsIG9mIGdlbmVyYWwgc2NpZW50aWZpYyBtYXR1cml0 eSBpbiB0aGUKcmVsZXZhbnQgZGlzY2lwbGluZS4gVGhleSBzaG91bGQgZW5h YmxlIHJlc2VhcmNoZXJzIGZyb20gcmVsYXRlZApkaXNjaXBsaW5lcyB0byBk ZXZlbG9wIGEgbGV2ZWwgb2YgY29tZm9ydCB3aXRoIHRoZSBmdW5kYW1lbnRh bApjb25jZXB0cyBhbmQgdGVjaG5pcXVlcyBvZiB0aGUgY291cnNlJ3MgdG9w aWMsIHRoZXJlYnkgY29udHJpYnV0aW5nIHRvCnRoZSBpbnRlcmRpc2NpcGxp bmFyeSBuYXR1cmUgb2Ygb3VyIHJlc2VhcmNoIGNvbW11bml0eS4KCiogSU5U Uk9EVUNUT1JZIENPVVJTRVMgKgpJbnRyb2R1Y3RvcnkgY291cnNlcyBhcmUg Y2VudHJhbCB0byBFU1NMTEkncyBtaXNzaW9uLiBUaGV5IGFyZQppbnRlbmRl ZCB0byBpbnRyb2R1Y2UgYSByZXNlYXJjaCBmaWVsZCB0byBzdHVkZW50cywg eW91bmcgcmVzZWFyY2hlcnMsCmFuZCBvdGhlciBub24tc3BlY2lhbGlzdHMs IGFuZCB0byBmb3N0ZXIgYSBzb3VuZCB1bmRlcnN0YW5kaW5nIG9mIGl0cwpi YXNpYyBtZXRob2RzIGFuZCB0ZWNobmlxdWVzLiBTdWNoIGNvdXJzZXMgc2hv dWxkIGVuYWJsZSByZXNlYXJjaGVycwpmcm9tIHJlbGF0ZWQgZGlzY2lwbGlu ZXMgdG8gZGV2ZWxvcCBzb21lIGNvbWZvcnQgYW5kIGNvbXBldGVuY2UgaW4g dGhlCnRvcGljIGNvbnNpZGVyZWQuIEludHJvZHVjdG9yeSBjb3Vyc2VzIGlu IGEgY3Jvc3MtZGlzY2lwbGluYXJ5IGFyZWEKbWF5IHByZXN1cHBvc2UgZ2Vu ZXJhbCBrbm93bGVkZ2Ugb2YgdGhlIHJlbGF0ZWQgZGlzY2lwbGluZXMuCgoq IEFEVkFOQ0VEIENPVVJTRVMgKgpBZHZhbmNlZCBjb3Vyc2VzIGFyZSB0YXJn ZXRlZCBwcmltYXJpbHkgdG8gZ3JhZHVhdGUgc3R1ZGVudHMgd2hvIHdpc2gK dG8gYWNxdWlyZSBhIGxldmVsIG9mIGNvbWZvcnQgYW5kIHVuZGVyc3RhbmRp bmcgaW4gdGhlIGN1cnJlbnQKcmVzZWFyY2ggb2YgYSBmaWVsZC4KCiogV09S S1NIT1BTICoKV29ya3Nob3BzIGZvY3VzIG9uIHNwZWNpYWxpemVkIHRvcGlj cywgdXN1YWxseSBvZiBjdXJyZW50IGludGVyZXN0LgpXb3Jrc2hvcHMgb3Jn YW5pemVycyBhcmUgcmVzcG9uc2libGUgZm9yIHNvbGljaXRpbmcgcGFwZXJz IGFuZApzZWxlY3RpbmcgdGhlIHdvcmtzaG9wIHByb2dyYW1tZS4gVGhleSBh cmUgYWxzbyByZXNwb25zaWJsZSBmb3IKcHVibGlzaGluZyBwcm9jZWVkaW5n cyBpZiB0aGV5IGRlY2lkZSB0byBoYXZlIHByb2NlZWRpbmdzLgoKUFJPUE9T QUwgR1VJREVMSU5FUwoKQ291cnNlIGFuZCB3b3Jrc2hvcCBwcm9wb3NhbHMg c2hvdWxkIGZvbGxvdyBjbG9zZWx5IHRoZSBmb2xsb3dpbmcKZ3VpZGVsaW5l cyB0byBlbnN1cmUgZnVsbCBjb25zaWRlcmF0aW9uLgoKRWFjaCBjb3Vyc2Ug cHJvcG9zYWwgY2FuIGJlIHN1Ym1pdHRlZCBieSBubyBtb3JlIHRoYW4gdHdv IGluc3RydWN0b3JzLAphbmQgZWFjaCB3b3Jrc2hvcCBieSBubyBtb3JlIHRo YW4gdHdvIG9yZ2FuaXplcnMuIEFsbCBpbnN0cnVjdG9ycyBhbmQKb3JnYW5p emVycyBtdXN0IHBvc3Nlc3MgYSBQaEQgb3IgZXF1aXZhbGVudCBkZWdyZWUg YnkgdGhlIHN1Ym1pc3Npb24KZGVhZGxpbmUuCgpDb3Vyc2UgcHJvcG9zYWxz IHNob3VsZCBtZW50aW9uIGV4cGxpY2l0bHkgdGhlIGludGVuZGVkIGNvdXJz ZQpjYXRlZ29yeS4gUHJvcG9zYWxzIGZvciBpbnRyb2R1Y3RvcnkgY291cnNl cyBzaG91bGQgaW5kaWNhdGUgdGhlCmludGVuZGVkIGxldmVsLCBmb3IgZXhh bXBsZSBhcyBpdCByZWxhdGVzIHRvIHN0YW5kYXJkIHRleHRib29rcyBhbmQK bW9ub2dyYXBocyBpbiB0aGUgYXJlYS4gUHJvcG9zYWxzIGZvciBhZHZhbmNl ZCBjb3Vyc2VzIHNob3VsZCBzcGVjaWZ5CnRoZSBwcmVyZXF1aXNpdGVzIGlu IGRldGFpbC4KCgpQcm9wb3NhbHMgbXVzdCBiZSBzdWJtaXR0ZWQgaW4gUERG IGZvcm1hdCB2aWE6CgpodHRwczovL3d3dy5lYXN5Y2hhaXIub3JnL2NvbmZl cmVuY2VzLz9jb25mPWVzc2xsaTIwMTYKCmFuZCBpbmNsdWRlIGFsbCBvZiB0 aGUgZm9sbG93aW5nOgoKYS4gUGVyc29uYWwgaW5mb3JtYXRpb24gZm9yIGVh Y2ggcHJvcG9zZXI6IE5hbWUsIGFmZmlsaWF0aW9uLCBjb250YWN0CiAgICBh ZGRyZXNzLCBlbWFpbCwgaG9tZXBhZ2UgKG9wdGlvbmFsKQoKYi4gR2VuZXJh bCBwcm9wb3NhbCBpbmZvcm1hdGlvbjogVGl0bGUsIGNhdGVnb3J5CgpjLiBD b250ZW50cyBpbmZvcm1hdGlvbjoKICAgIEFic3RyYWN0IG9mIHVwIHRvIDE1 MCB3b3JkcwogICAgTW90aXZhdGlvbiBhbmQgZGVzY3JpcHRpb24gKHVwIHRv IHR3byBwYWdlcykKICAgIFRlbnRhdGl2ZSBvdXRsaW5lCiAgICBFeHBlY3Rl ZCBsZXZlbCBhbmQgcHJlcmVxdWlzaXRlcwogICAgQXBwcm9wcmlhdGUgcmVm ZXJlbmNlcyAoZS5nLiB0ZXh0Ym9va3MsIG1vbm9ncmFwaHMsIHByb2NlZWRp bmdzLApzdXJ2ZXlzKQoKZC4gUHJhY3RpY2FsIGluZm9ybWF0aW9uOgogICAg UmVsZXZhbnQgcHJlY2VkaW5nIG1lZXRpbmdzIGFuZCBldmVudHMsIGlmIGFw cGxpY2FibGUKICAgIFBvdGVudGlhbCBleHRlcm5hbCBmdW5kaW5nIGZvciBw YXJ0aWNpcGFudHMKCkVBQ1NMIFNQT05TT1JTSElQCgpUaGUgRUFDU0wgb2Zm ZXJzIHRvIGFjdCBhcyBhIHNwb25zb3IgZm9yIG9uZSBjb3Vyc2Ugb3Igd29y a3Nob3AgaW4gdGhlCmFyZWFzIG9mIExvZ2ljIGFuZCBDb21wdXRhdGlvbiBj b3ZlcmVkIGJ5IHRoZSBDb21wdXRlciBTY2llbmNlIExvZ2ljCihDU0wpIGNv bmZlcmVuY2VzLiBUaGlzIGNvdXJzZSBvciB3b3Jrc2hvcCB3aWxsIGJlIGRl c2lnbmF0ZWQgYW4gRUFDU0wKY291cnNlL3dvcmtzaG9wLiBJZiB5b3Ugd2lz aCB0byBiZSBjb25zaWRlcmVkIGZvciB0aGlzLCBwbGVhc2UKaW5kaWNhdGUg c28gb24geW91ciBwcm9wb3NhbC4KCgpQUk9HUkFNTUUgQ09NTUlUVEVFCgpD aGFpcjoKCUNsYWlyZSBHYXJkZW50IChMT1JJQSwgQ05SUyAmIFVuaXZlcnNp dMOpIGRlIExvcnJhaW5lLCBOYW5jeSwgRnJhbmNlKQpMb2NhbCBjby1jaGFp cjoKCVJhZmZhZWxsYSBCZXJuYXJkaSAoRElTSSwgVHJlbnRvKQpMYW5ndWFn ZSBhbmQgQ29tcHV0YXRpb246CiAgICAgICAgIEthdHJpbiBFcmsgKFVuaXZl cnNpdHkgb2YgVGV4YXMsIEF1c3RpbikKICAgICAgICAgQWxleGFuZGVyIEtv bGxlciAoVW5pdmVyc2l0eSBvZiBQb3RzZGFtKQpMYW5ndWFnZSBhbmQgTG9n aWM6CiAgICAgICAgIENocmlzIEJhcmtlciAoTGluZ3Vpc3RpY3MsIE5ZVSkK ICAgICAgICAgU3RlcGhhbmllIFNvbHQgKFpBUyBCZXJsaW4pCkxvZ2ljIGFu ZCBDb21wdXRhdGlvbjoKICAgICAgICAgRGlldG1hciBCZXJ3YW5nZXIgKExT ViwgQ05SUyAmIEVOUyBkZSBDYWNoYW4pCiAgICAgICAgIEx1Y2lhbm8gU2Vy YWZpbmkgKERLTSBUcmVudG8pCgpPUkdBTklaSU5HIENPTU1JVFRFRSBDSEFJ UjoKICAgICAgICAgRGllZ28gQ2FsdmFuZXNlIChGcmVlIFVuaXYuIG9mIEJv emVuLUJvbHphbm8pCgoKRlVSVEhFUiBJTkZPUk1BVElPTjoKUGxlYXNlIHNl bmQgYW55IHF1ZXJpZXMgeW91IG1heSBoYXZlIHRvIGNsYWlyZS5nYXJkZW50 QGxvcmlhLmZyCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fCkVhY3NsLWFubm91bmNlIG1haWxpbmcgbGlzdApFYWNz bC1hbm5vdW5jZUBrYWhsZS5jaApodHRwOi8vbGlzdHMua2FobGUuY2gvbWFp bG1hbi9saXN0aW5mby9lYWNzbC1hbm5vdW5jZQo=