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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 72D56801EB for ; Mon, 7 Aug 2017 20:35:20 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-ua0-f198.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of publicityifl@gmail.com) identity=pra; client-ip=209.85.217.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of publicityifl@gmail.com designates 209.85.217.198 as permitted sender) identity=mailfrom; client-ip=209.85.217.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ua0-f198.google.com) identity=helo; client-ip=209.85.217.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-ua0-f198.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXXDFYRbCy510SWojwL6tVpj/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8+8bnLW6fgltlLVR4KTs6sC0LuG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8qlrVQToiD?= =?us-ascii?q?8ZODEl7GHZhMtwjKdBrxKgoRx03orYbY6ROfZ7eK7WYNEUSndbXstJWCNPAY2y?= =?us-ascii?q?YZYPAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBne3Aw9BN0OtH?= =?us-ascii?q?XUo8n0NKcOUeG1zafIzTHYYvNZ3Dfy8onIchQ7rf6QWrJwdMzcwlQhGQPCi1Wf?= =?us-ascii?q?s43lPzWN2+sXr2eb6vBsVeW1i24osw1xuTmvxsg0ionNnI0VzErI9SJjwIY6Pd?= =?us-ascii?q?G3VlR0YcWkEZRMtyGVLYp2Qtk4T2FvoiY6xaUKuZG8fCgN0pgnyBrfZ+SGc4iG?= =?us-ascii?q?5hLsSOGRITF2hH17YrKwmRCy/lS+xeHmUcm0yllKoyxYmdfPrnAAzwLf5tSDR/?= =?us-ascii?q?dn/Uqs2SyD2x7O5uxGO0w4iK7WJp0nz7UtjJQcq17DETXzmEjujK+ZaEEk+u+w?= =?us-ascii?q?5uTieLrmp5ucO5Zpig7kLqgig8K/Dfk8PwUNRWSb9uO81Lrs/U39XrpGlOE5kq?= =?us-ascii?q?7csJzCJMQboLC2AxNN34o99xqyCy2q3dcYkHUdMl5JZRCKg5L0N1zKI/30FfK/?= =?us-ascii?q?jE6tkDdvyfDGJLrhApDVI3jbjbfuZrJ9609Axwoy0dBe55NUCr8FIP/oVU/xsc?= =?us-ascii?q?bXDh49MwCu3+nnD9B92psEWW2TGq+ZLL/SsViQ6+0zOeaMYYsVtC/5K/gk/P7u?= =?us-ascii?q?kWQ0mUQdfKmsxZsYcmq0HvVgI0WDYHrjmM0NEWkQvll2cOu/g1SHVXtXZm2ud6?= =?us-ascii?q?M6/DAyToy8XqnZQYX4mKGL2CawH4FHZ25CIl+JGHbsMY6DXqRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgE3/uQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ADCQDrsYhZf8bZVdFcHAEBFgEBBQEBC?= =?us-ascii?q?gEBFgEBBQEBg0c/gRSFLIJvlXmEXoY2hB+IXoIEDh6BYIJsTxyEQUMUAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEJCwsIJjGCMwyCfQYdARsLAQcFBgMSAz0EAwIEIREBBQELKgkOi?= =?us-ascii?q?X8BAxUQjk6NVoNFP4wKggQFARyDCQWDWgoZJw1WgzgBCgEBAQEBAQEYAgYSgxa?= =?us-ascii?q?CAoYigXCBaoEaAQsBBQIBS4JmgmEFiV0SB4whiXiBaIVrjGCCD1mBEoNvimOUQ?= =?us-ascii?q?DOBFTZeQgt3gziCSSmBTkA2DQEBhxwBASQHghQBAQE?= X-IPAS-Result: =?us-ascii?q?A0ADCQDrsYhZf8bZVdFcHAEBFgEBBQEBCgEBFgEBBQEBg0c?= =?us-ascii?q?/gRSFLIJvlXmEXoY2hB+IXoIEDh6BYIJsTxyEQUMUAQEBAQEBAQEBAQESAQEJC?= =?us-ascii?q?wsIJjGCMwyCfQYdARsLAQcFBgMSAz0EAwIEIREBBQELKgkOiX8BAxUQjk6NVoN?= =?us-ascii?q?FP4wKggQFARyDCQWDWgoZJw1WgzgBCgEBAQEBAQEYAgYSgxaCAoYigXCBaoEaA?= =?us-ascii?q?QsBBQIBS4JmgmEFiV0SB4whiXiBaIVrjGCCD1mBEoNvimOUQDOBFTZeQgt3gzi?= =?us-ascii?q?CSSmBTkA2DQEBhxwBASQHghQBAQE?= X-IronPort-AV: E=Sophos;i="5.41,339,1498514400"; d="scan'208,217";a="233875261" Received: from mail-ua0-f198.google.com ([209.85.217.198]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Aug 2017 20:35:18 +0200 Received: by mail-ua0-f198.google.com with SMTP id 80so4059463uas.8 for ; Mon, 07 Aug 2017 11:35:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:message-id:date:subject:from:to; bh=6ge55NxBFIC3d5ymn25is3zov13ZKlh1VPyS4rxbeMM=; b=oDyqEYi7O0nGlIwjRGIxxQ2EEbPSs8XK5qO7RM3AFtkZnMyv708Jbz1npZwDHNw8bK BB10NrxmacNLKFrDBTf2EKBTUQ6734FxXoQrPjJHsyITDqyq7pvfKxHJw9Leol+IJCf0 VDKsC6MZbVb0W+DbJjkeHBz2FmS+G56zsNVmB7Gk0pwjgo1RITTVAMTbjYyfzNRnEMBW nHLeKe7JF9a2ywNiMux3570Bb1d9dRRnxpBDU1KGbVj+b4zvy6IkX/CRCnNUXgarvokh lDnBue33ATUKrPMUKVfDpsjLcs8R6f9Adf8gDKVSOnO5F+/PmDUxXN6G3E/yleraY/GZ ULzw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:message-id:date:subject:from:to; bh=6ge55NxBFIC3d5ymn25is3zov13ZKlh1VPyS4rxbeMM=; b=ad4268HtOVhvULvS8MG1BLGM2ae2HW/L63/NCdk0uOdTdoPVTfx5XmefCrycayML36 9h0st/e384eNYjviYCZT5xAVj0h1QAMtibhHjNogk94TXBnxEOTs+Am9yx6IU9wjMa4o ZntAjvgGH/AEaORfqUqTY8/YxQfcnxmAcjebBCK9xIgmZpZrpm428nFQyVODiI9pHJJs 8Ou2T48jaH1X15cdftnnOT5bqnbmwbMSXo/chzHEWVdynHgzCM+EoZOnHJgYUPjSREOt Swe4tD1RV51sMRM4XpaJHVf97ZOSexKxied1QZPfxBsxG+OdwctRHfwo9daGpNsYsh4D l+6A== X-Gm-Message-State: AHYfb5j8IY3ZFGPsgZds1mGCoty5Oo5cx4Xc4yJwSF3FSXeG49L1r9PF tbOcu8HFzR6f/E/qWFyakveD6yvSMQ== MIME-Version: 1.0 X-Received: by 10.176.82.154 with SMTP id v26mr898205uav.27.1502130917068; Mon, 07 Aug 2017 11:35:17 -0700 (PDT) Message-ID: <94eb2c1929eab8062d05562e1bb3@google.com> Date: Mon, 07 Aug 2017 18:35:17 +0000 From: publicityifl@gmail.com To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="94eb2c1929eab8061405562e1bb0" Subject: [Caml-list] Extended deadline: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) --94eb2c1929eab8061405562e1bb0 Content-Type: text/plain; charset="UTF-8"; format=flowed; delsp=yes Content-Transfer-Encoding: base64 PGRpdiBkaXI9Imx0ciI+SGVsbG8sPGJyPjxicj5QbGVhc2UsIGZpbmQgYmVs b3cgdGhlIHRoaXJkIGNhbGwgZm9yIHBhcGVycyAgDQpmb3IgSUZMIDIwMTcu IE5vdGUgdGhhdCBzb21lIDxicj5vZiB0aGUgZGVhZGxpbmVzIGhhdmUgYmVl biBleHRlbmRlZC4gIA0KRGV0YWlscyBhcmUgZ2l2ZW4gYmVsb3cuPGJyPlBs ZWFzZSBmb3J3YXJkIHRoZXNlIHRvIGFueW9uZSB5b3UgdGhpbmsgbWF5IGJl ICANCmludGVyZXN0ZWQuPGJyPkFwb2xvZ2llcyBmb3IgYW55IGR1cGxpY2F0 ZXMgeW91IG1heSByZWNlaXZlLjxicj48YnI+YmVzdCAgDQpyZWdhcmRzLDxi cj5KdXJyaWFhbiBIYWdlPGJyPlB1YmxpY2l0eSBDaGFpciBvZiBJRkw8YnI+ PGJyPi0tLTxicj48YnI+SUZMICANCjIwMTcgLSBDQUxMIEZPUiBQQVBFUlM6 IERFQURMSU5FUyAgDQpFWFRFTkRFRDxicj49PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PGJyPjxicj4yOXRoICANClNZ TVBPU0lVTSBPTiBJTVBMRU1FTlRBVElPTiBBTkQgQVBQTElDQVRJT04gT0Yg RlVOQ1RJT05BTCAgDQpMQU5HVUFHRVM8YnI+PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT08YnI+PGJyPlVuaXZlcnNpdHkgIA0Kb2YgQnJpc3RvbCwgVUs8 YnI+PGJyPkluIGNvb3BlcmF0aW9uIHdpdGggQUNNIFNJR1BMQU48YnI+PGJy PldlZG5lc2RheSAzMCAgDQpBdWd1c3QgLSBGcmlkYXkgMSBTZXB0ZW1iZXIs IDIwMTc8YnI+PGJyPjxhICANCmhyZWY9Imh0dHA6Ly9pZmxjb25mZXJlbmNl Lm9yZy8iPmh0dHA6Ly9pZmxjb25mZXJlbmNlLm9yZy88L2E+PGJyPjxicj5T Y29wZTxicj4tLS0tLTxicj48YnI+VGhlICANCmdvYWwgb2YgdGhlIElGTCBz eW1wb3NpYSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3Rp dmVseSAgDQplbmdhZ2VkPGJyPmluIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQg YXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQgIA0KZnVuY3Rpb24tYmFz ZWQ8YnI+cHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAxNyB3aWxsIGJl IGEgdmVudWUgZm9yICANCnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kPGJy PmRpc2N1c3MgbmV3IGlkZWFzIGFuZCBjb25jZXB0cywgd29yayBpbiAgDQpw cm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0czxicj5yZWxh dGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgIA0KYXBwbGljYXRpb24g b2YgZnVuY3Rpb25hbCBsYW5ndWFnZXMgYW5kPGJyPmZ1bmN0aW9uLWJhc2Vk ICANCnByb2dyYW1taW5nLjxicj48YnI+UGVlci1yZXZpZXc8YnI+LS0tLS0t LS0tLS08YnI+PGJyPkZvbGxvd2luZyB0aGUgSUZMICANCnRyYWRpdGlvbiwg SUZMIDIwMTcgd2lsbCB1c2UgYSBwb3N0LXN5bXBvc2l1bSByZXZpZXcgcHJv Y2Vzczxicj50byBwcm9kdWNlICANCnRoZSBmb3JtYWwgcHJvY2VlZGluZ3Mu IEFsbCBwYXJ0aWNpcGFudHMgb2YgSUZMIDIwMTcgYXJlIGludml0ZWQgIA0K dG88YnI+c3VibWl0IGVpdGhlciBhIGRyYWZ0IHBhcGVyIG9yIGFuIGV4dGVu ZGVkIGFic3RyYWN0IGRlc2NyaWJpbmcgd29yayAgDQp0byBiZTxicj5wcmVz ZW50ZWQgYXQgdGhlIHN5bXBvc2l1bS4gQXQgbm8gdGltZSBtYXkgd29yayBz dWJtaXR0ZWQgdG8gSUZMICANCmJlPGJyPnNpbXVsdGFuZW91c2x5IHN1Ym1p dHRlZCB0byBvdGhlciB2ZW51ZXM7IHN1Ym1pc3Npb25zIG11c3QgYWRoZXJl IHRvICANCkFDTTxicj48YnI+U0lHUExBTiYjMzk7cyByZXB1YmxpY2F0aW9u IHBvbGljeTo8YnI+PGJyPjxhICANCmhyZWY9Imh0dHA6Ly93d3cuc2lncGxh bi5vcmcvUmVzb3VyY2VzL1BvbGljaWVzL1JlcHVibGljYXRpb24iPmh0dHA6 Ly93d3cuc2lncGxhbi5vcmcvUmVzb3VyY2VzL1BvbGljaWVzL1JlcHVibGlj YXRpb248L2E+PGJyPjxicj5UaGUgIA0Kc3VibWlzc2lvbnMgd2lsbCBiZSBz Y3JlZW5lZCBieSB0aGUgcHJvZ3JhbSBjb21taXR0ZWUgY2hhaXIgdG8gbWFr ZSAgDQpzdXJlPGJyPnRoZXkgYXJlIHdpdGhpbiB0aGUgc2NvcGUgb2YgSUZM LCBhbmQgd2lsbCBhcHBlYXIgaW4gdGhlIGRyYWZ0ICANCnByb2NlZWRpbmdz PGJyPmRpc3RyaWJ1dGVkIGF0IHRoZSBzeW1wb3NpdW0uIFN1Ym1pc3Npb25z IGFwcGVhcmluZyBpbiB0aGUgIA0KZHJhZnQgcHJvY2VlZGluZ3M8YnI+YXJl IG5vdCBwZWVyLXJldmlld2VkIHB1YmxpY2F0aW9ucy4gSGVuY2UsICANCnB1 YmxpY2F0aW9ucyB0aGF0IGFwcGVhciBvbmx5IGluIHRoZTxicj5kcmFmdCBw cm9jZWVkaW5ncyBhcmUgbm90IHN1YmplY3QgIA0KdG8gdGhlIEFDTSBTSUdQ TEFOIHJlcHVibGljYXRpb24gcG9saWN5Ljxicj48YnI+QWZ0ZXIgdGhlIHN5 bXBvc2l1bSwgIA0KYXV0aG9ycyB3aWxsIGJlIGdpdmVuIHRoZSBvcHBvcnR1 bml0eSB0byBpbmNvcnBvcmF0ZSB0aGU8YnI+ZmVlZGJhY2sgZnJvbSAgDQpk aXNjdXNzaW9ucyBhdCB0aGUgc3ltcG9zaXVtIGFuZCB3aWxsIGJlIGludml0 ZWQgdG8gc3VibWl0IGE8YnI+cmV2aXNlZCAgDQpmdWxsIGFydGljbGUgZm9y IHRoZSBmb3JtYWwgcmV2aWV3IHByb2Nlc3MuIEZyb20gdGhlICANCnJldmlz ZWQ8YnI+c3VibWlzc2lvbnMsIHRoZSBwcm9ncmFtIGNvbW1pdHRlZSB3aWxs IHNlbGVjdCBwYXBlcnMgZm9yIHRoZSAgDQpmb3JtYWw8YnI+cHJvY2VlZGlu Z3MgY29uc2lkZXJpbmcgdGhlaXIgY29ycmVjdG5lc3MsIG5vdmVsdHksIG9y aWdpbmFsaXR5LCAgDQpyZWxldmFuY2UsPGJyPnNpZ25pZmljYW5jZSwgYW5k IGNsYXJpdHkuIFRoZSBmb3JtYWwgcHJvY2VlZGluZ3Mgd2lsbCBhcHBlYXIg IA0KaW4gdGhlPGJyPkludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBQcm9jZWVk aW5ncyBTZXJpZXMgb2YgdGhlIEFDTSBEaWdpdGFsICANCkxpYnJhcnkuPGJy Pjxicj5JbXBvcnRhbnQgZGF0ZXM8YnI+LS0tLS0tLS0tLS0tLS0tPGJyPjxi cj5Ob3RlIHRoYXQgdGhlICANCm9yaWdpbmFsIGRlYWRsaW5lcyBmb3Igc3Vi bWlzc2lvbiBhbmQgcmVnaXN0cmF0aW9uIGhhdmU8YnI+YmVlbiAgDQpleHRl bmRlZC48YnI+PGJyPnzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgIA0KfMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHw8 YnI+fCANCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS18IA0KLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS18PGJyPnwgVGh1IDE3ICANCkF1Z3VzdMKgwqAgMjAxNyB8IFN1Ym1pc3Np b24gZGVhZGxpbmUgZHJhZnQgcGFwZXJzwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfCANCjxicj58IEZyaSAx OCBBdWd1c3TCoMKgIDIwMTcgfCBOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5j ZSBmb3IgIA0KcHJlc2VudGF0aW9uwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoCB8PGJyPnwgTW9uIDIxIEF1Z3VzdMKgwqAgMjAxNyB8IEVhcmx5IHJl Z2lzdHJhdGlvbiAgDQpkZWFkbGluZcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8PGJyPnwg TW9uIDIxIEF1Z3VzdMKgwqAgMjAxNyB8ICANClN1Ym1pc3Npb24gZGVhZGxp bmUgZm9yIHByZS1zeW1wb3NpdW0gcHJvY2VlZGluZ3PCoMKgwqDCoMKgwqDC oMKgIHw8YnI+fCBGcmkgMjUgIA0KQXVndXN0wqDCoCAyMDE3IHwgTGF0ZSBy ZWdpc3RyYXRpb24gZGVhZGxpbmXCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8IA0KPGJy PnwgV2VkIDMwIEF1Z3VzdMKgwqAgMjAxNyAtIEZyaSAxIFNlcHRlbWJlciAy MDE3IHwgSUZMICANClN5bXBvc2l1bcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoCB8PGJyPnwgTW9uwqAgNCBEZWNlbWJlciAy MDE3IHwgU3VibWlzc2lvbiAgDQpkZWFkbGluZSBmb3IgcG9zdC1zeW1wb3Np dW0gcHJvY2VlZGluZ3PCoMKgwqDCoMKgwqDCoCB8PGJyPnwgV2VkIDMxIEph bnVhcnnCoCAyMDE4ICANCnwgTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2Ug Zm9yIHBvc3Qtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHw8YnI+fCBNb24gMTIg IA0KTWFyY2jCoMKgwqAgMjAxOCB8IENhbWVyYS1yZWFkeSB2ZXJzaW9uIGZv ciBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5nc8KgwqDCoMKgwqDCoCB8IA0K PGJyPjxicj5TdWJtaXNzaW9uIGRldGFpbHM8YnI+LS0tLS0tLS0tLS0tLS0t LS0tPGJyPjxicj5Qcm9zcGVjdGl2ZSBhdXRob3JzICANCmFyZSBlbmNvdXJh Z2VkIHRvIHN1Ym1pdCBwYXBlcnMgb3IgZXh0ZW5kZWQgYWJzdHJhY3RzIHRv IGJlPGJyPnB1Ymxpc2hlZCBpbiAgDQp0aGUgZHJhZnQgcHJvY2VlZGluZ3Mg YW5kIHRvIHByZXNlbnQgdGhlbSBhdCB0aGUgc3ltcG9zaXVtLiAgDQpBbGw8 YnI+Y29udHJpYnV0aW9ucyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaC4g UGFwZXJzIG11c3QgdXNlIHRoZSBuZXcgIA0KQUNNIHR3bzxicj5jb2x1bW5z IGNvbmZlcmVuY2UgZm9ybWF0LCB3aGljaCBjYW4gYmUgZm91bmQgYXQ6PGJy Pjxicj48YSAgDQpocmVmPSJodHRwOi8vd3d3LmFjbS5vcmcvcHVibGljYXRp b25zL3Byb2NlZWRpbmdzLXRlbXBsYXRlIj5odHRwOi8vd3d3LmFjbS5vcmcv cHVibGljYXRpb25zL3Byb2NlZWRpbmdzLXRlbXBsYXRlPC9hPjxicj48YnI+ Rm9yICANCnRoZSBwcmUtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHdlIGFkb3B0 IGEgJiMzOTt3ZWFrJiMzOTsgcGFnZSBsaW1pdCBvZiAxMiAgDQpwYWdlcy4g Rm9yPGJyPnRoZSBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5ncyB0aGUgcGFn ZSBsaW1pdCBvZiAxMiBwYWdlcyBpcyAgDQpmaXJtLjxicj48YnI+QXV0aG9y cyBzdWJtaXQgdGhyb3VnaCBFYXN5Q2hhaXI6PGJyPjxicj48YSAgDQpocmVm PSJodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9aWZs MjAxNyI+aHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25m PWlmbDIwMTc8L2E+PGJyPjxicj5Ub3BpY3M8YnI+LS0tLS0tPGJyPjxicj5J RkwgIA0Kd2VsY29tZXMgc3VibWlzc2lvbnMgZGVzY3JpYmluZyBwcmFjdGlj YWwgYW5kIHRoZW9yZXRpY2FsIHdvcmsgYXMgd2VsbCAgDQphczxicj5zdWJt aXNzaW9ucyBkZXNjcmliaW5nIGFwcGxpY2F0aW9ucyBhbmQgdG9vbHMgaW4g dGhlIGNvbnRleHQgb2YgIA0KZnVuY3Rpb25hbDxicj5wcm9ncmFtbWluZy4g SWYgeW91IGFyZSBub3Qgc3VyZSB3aGV0aGVyIHlvdXIgd29yayBpcyAgDQph cHByb3ByaWF0ZSBmb3IgSUZMIDIwMTcsPGJyPnBsZWFzZSBjb250YWN0IHRo ZSBQQyBjaGFpciBhdCA8YSAgDQpocmVmPSJtYWlsdG86bmljb2xhcy53dUBi cmlzdG9sLmFjLnVrIj5uaWNvbGFzLnd1QGJyaXN0b2wuYWMudWs8L2E+LiBU b3BpY3MgIA0Kb2YgaW50ZXJlc3QgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGlt aXRlZCB0bzo8YnI+PGJyPi0gbGFuZ3VhZ2UgIA0KY29uY2VwdHM8YnI+LSB0 eXBlIHN5c3RlbXMsIHR5cGUgY2hlY2tpbmcsIHR5cGUgaW5mZXJlbmNpbmc8 YnI+LSAgDQpjb21waWxhdGlvbiB0ZWNobmlxdWVzPGJyPi0gc3RhZ2VkIGNv bXBpbGF0aW9uPGJyPi0gcnVuLXRpbWUgZnVuY3Rpb24gIA0Kc3BlY2lhbGl6 YXRpb248YnI+LSBydW4tdGltZSBjb2RlIGdlbmVyYXRpb248YnI+LSBwYXJ0 aWFsIGV2YWx1YXRpb248YnI+LSAgDQooYWJzdHJhY3QpIGludGVycHJldGF0 aW9uPGJyPi0gbWV0YXByb2dyYW1taW5nPGJyPi0gZ2VuZXJpYyAgDQpwcm9n cmFtbWluZzxicj4tIGF1dG9tYXRpYyBwcm9ncmFtIGdlbmVyYXRpb248YnI+ LSBhcnJheSBwcm9jZXNzaW5nPGJyPi0gIA0KY29uY3VycmVudC9wYXJhbGxl bCBwcm9ncmFtbWluZzxicj4tIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3Jh bSAgDQpleGVjdXRpb248YnI+LSBlbWJlZGRlZCBzeXN0ZW1zPGJyPi0gd2Vi IGFwcGxpY2F0aW9uczxicj4tIChlbWJlZGRlZCkgIA0KZG9tYWluIHNwZWNp ZmljIGxhbmd1YWdlczxicj4tIHNlY3VyaXR5PGJyPi0gbm92ZWwgbWVtb3J5 IG1hbmFnZW1lbnQgIA0KdGVjaG5pcXVlczxicj4tIHJ1bi10aW1lIHByb2Zp bGluZyBwZXJmb3JtYW5jZSBtZWFzdXJlbWVudHM8YnI+LSBkZWJ1Z2dpbmcg IA0KYW5kIHRyYWNpbmc8YnI+LSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUg YXJjaGl0ZWN0dXJlczxicj4tIHZhbGlkYXRpb24sICANCnZlcmlmaWNhdGlv biBvZiBmdW5jdGlvbmFsIHByb2dyYW1zPGJyPi0gdG9vbHMgYW5kIHByb2dy YW1taW5nICANCnRlY2huaXF1ZXM8YnI+LSAoaW5kdXN0cmlhbCkgYXBwbGlj YXRpb25zPGJyPjxicj5QZXRlciBMYW5kaW4gIA0KUHJpemU8YnI+LS0tLS0t LS0tLS0tLS0tLS0tPGJyPjxicj5UaGUgUGV0ZXIgTGFuZGluIFByaXplIGlz IGF3YXJkZWQgdG8gdGhlICANCmJlc3QgcGFwZXIgcHJlc2VudGVkIGF0IHRo ZSBzeW1wb3NpdW08YnI+ZXZlcnkgeWVhci4gVGhlIGhvbm9yZWQgYXJ0aWNs ZSBpcyAgDQpzZWxlY3RlZCBieSB0aGUgcHJvZ3JhbSBjb21taXR0ZWUgYmFz ZWQgb248YnI+dGhlIHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZvciAgDQp0aGUg Zm9ybWFsIHJldmlldyBwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhPGJy PmNhc2ggYXdhcmQgZXF1aXZhbGVudCB0byAgDQoxNTAgRXVyb3MuPGJyPjxi cj48YnI+UHJvZ3JhbW1lICANCmNvbW1pdHRlZTxicj4tLS0tLS0tLS0tLS0t LS0tLS0tPGJyPjxicj5DaGFpcjogTmljb2xhcyBXdSwgVW5pdmVyc2l0eSBv ZiAgDQpCcmlzdG9sLCBVSzxicj48YnI+LSBLZW5pY2hpIEFzYWksIE9jaGFu b21penUgVW5pdmVyc2l0eSwgSmFwYW48YnI+LSAgDQpTYW5kcmluZSBCbGF6 eSwgVW5pdmVyc2l0eSBvZiBSZW5uZXMgMSwgRnJhbmNlPGJyPi0gQ2FybG9z IENhbWFyYW8sICANClVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIE1pbmFzIEdl cmFpcywgQnJhemlsPGJyPi0gU3RlcGhlbiBEb2xhbiwgVW5pdmVyc2l0eSAg DQpvZiBDYW1icmlkZ2UsIFVLPGJyPi0gSnVycmlhYW4gSGFnZSwgVXRyZWNo dCBVbml2ZXJzaXR5LCBOZXRoZXJsYW5kczxicj4tICANCll1a2l5b3NoaSBL YW1leWFtYSwgVW5pdmVyc2l0eSBvZiBUc3VrdWJhLCBKYXBhbjxicj4tIEJl bmphbWluIExlcm5lciwgIA0KQnJvd24gVW5pdmVyc2l0eSwgVVNBPGJyPi0g QmFzIExpam5zZSwgUmFkYm91ZCBVbml2ZXJzaXR5LCBOZXRoZXJsYW5kczxi cj4tICANCkdhcnJldHQgTW9ycmlzLCBVbml2ZXJzaXR5IG9mIEthbnNhcywg VVNBPGJyPi0gTWlndWVsIFBhZ2FubywgVW5pdmVyc2lkYWQgIA0KTmFjaW9u YWwgZGUgQ+KImuKJpXJkb2JhLCBBcmdlbnRpbmE8YnI+LSBUb21hcyBQZXRy aWNlaywgQWxhbiBUdXJpbmcgSW5zdGl0dXRlLCAgDQpVSzxicj4tIE1hY2ll aiBQaXLiiJriiaVnLCBVbml2ZXJzaXR5IG9mIFdyb2NsYXcsIFBvbGFuZDxi cj4tIEV4ZXF1aWVsIFJpdmFzLCAgDQpVbml2ZXJzaWRhZCBOYWNpb25hbCBk ZSBSb3NhcmlvLCBBcmdlbnRpbmE8YnI+LSBOZWlsIFNjdWx0aG9ycGUsIE5v dHRpbmdoYW0gIA0KVHJlbnQgVW5pdmVyc2l0eSwgVUs8YnI+LSBNZWxpbmRh IFRvdGgsIEVvdHZvcyBMb3JhbmQgVW5pdmVyc2l0eSwgIA0KSHVuZ2FyeTxi cj4tIFBoaWwgVHJpbmRlciwgR2xhc2dvdyBVbml2ZXJzaXR5LCBVSzxicj4t IEthbmFlIFRzdXNoaW1hLCAgDQpOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5m b3JtYXRpY3MsIEphcGFuPGJyPi0gTWFyY29zIFZpZXJhLCBVbml2ZXJzaWRh ZCBkZSAgDQpsYSBSZXB1YmxpY2EsIFVydWd1YXk8YnI+LSBNZW5nIFdhbmcs IFVuaXZlcnNpdHkgb2YgS2VudCwgIA0KVUs8YnI+PGJyPlZlbnVlPGJyPi0t LS0tPGJyPjxicj5UaGUgSUZMIDIwMTcgd2lsbCBiZSBoZWxkIGluIGFzc29j aWF0aW9uICANCndpdGggdGhlIERlcGFydG1lbnQgb2Y8YnI+Q29tcHV0ZXIg U2NpZW5jZSwgVW5pdmVyc2l0eSBvZiBCcmlzdG9sLCBVSy4gIA0KQnJpc3Rv bCBpcyBsb2NhdGVkIGluPGJyPlNvdXRoIFdlc3QgRW5nbGFuZCwgYW5kIGNh biBiZSBlYXNpbHkgcmVhY2hlZCBmcm9tICANCkJyaXN0b2wgQWlycG9ydC48 YnI+PGJyPlNlZSB0aGUgd2Vic2l0ZSBmb3IgbW9yZSBpbmZvcm1hdGlvbiBv biB0aGUgIA0KdmVudWUuPGJyPjxicj48L2Rpdj4NCjxwPiZuYnNwOzwvcD48 YSBzdHlsZT0nZGlzcGxheTogYmxvY2s7IG1hcmdpbjogMzJweCAwIDQwcHgg MDsgcGFkZGluZzogIA0KMTBweDsgZm9udC1zaXplOiAxZW07IHRleHQtYWxp Z246IGNlbnRlcjsgYm9yZGVyOiAwOyBib3JkZXItdG9wOiAxcHggc29saWQg IA0KZ3JheTsgJyBocmVmPSdodHRwczovL2dvby5nbC8ya3NkUnYnPnBvd2Vy ZWQgYnkgR1NNLiBGcmVlIG1haWwgbWVyZ2UgYW5kICANCmVtYWlsIG1hcmtl dGluZyBzb2Z0d2FyZSBmb3IgR21haWwuPC9hPg0K --94eb2c1929eab8061405562e1bb0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the third call for papers= for IFL 2017. Note that some
of the deadlines have been extended. Deta= ils are given below.
Please forward these to anyone you think may be int= erested.
Apologies for any duplicates you may receive.

best regar= ds,
Jurriaan Hage
Publicity Chair of IFL

---

IFL 2017 -= CALL FOR PAPERS: DEADLINES EXTENDED
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

29th SYMPOSIUM ON IMPLEMENTATION AND = APPLICATION OF FUNCTIONAL LANGUAGES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D

University of Bristol, UK

In coop= eration with ACM SIGPLAN

Wednesday 30 August - Friday 1 September, 2= 017

http://iflconference.org/<= /a>

Scope
-----

The goal of the IFL symposia is to bring t= ogether researchers actively engaged
in the implementation and applicati= on of functional and function-based
programming languages. IFL 2017 will= be a venue for researchers to present and
discuss new ideas and concept= s, work in progress, and publication-ripe results
related to the impleme= ntation and application of functional languages and
function-based progr= amming.

Peer-review
-----------

Following the IFL traditio= n, IFL 2017 will use a post-symposium review process
to produce the form= al proceedings. All participants of IFL 2017 are invited to
submit eithe= r a draft paper or an extended abstract describing work to be
presented = at the symposium. At no time may work submitted to IFL be
simultaneously= submitted to other venues; submissions must adhere to ACM

SIGPLAN&#= 39;s republication policy:

http://www.sigplan.org/Resources/Policies/Republ= ication

The submissions will be screened by the program committe= e chair to make sure
they are within the scope of IFL, and will appear i= n the draft proceedings
distributed at the symposium. Submissions appear= ing in the draft proceedings
are not peer-reviewed publications. Hence, = publications that appear only in the
draft proceedings are not subject t= o the ACM SIGPLAN republication policy.

After the symposium, authors= will be given the opportunity to incorporate the
feedback from discussi= ons at the symposium and will be invited to submit a
revised full articl= e for the formal review process. From the revised
submissions, the progr= am committee will select papers for the formal
proceedings considering t= heir correctness, novelty, originality, relevance,
significance, and cla= rity. The formal proceedings will appear in the
International Conference= Proceedings Series of the ACM Digital Library.

Important dates
-= --------------

Note that the original deadlines for submission and r= egistration have
been extended.

|=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 |=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |<= br>|----------------------|------------------------------------------------= -----------|
| Thu 17 August=C2=A0=C2=A0 2017 | Submission deadline draf= t papers=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 |
| Fri 18 August=C2=A0=C2=A0 2017 | Notification of acceptanc= e for presentation=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 |
| Mon 21 August=C2=A0=C2=A0 2017 | Early r= egistration deadline=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |
| Mon 21 August=C2= =A0=C2=A0 2017 | Submission deadline for pre-symposium proceedings=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |
| Fri 25 August=C2=A0=C2=A0 20= 17 | Late registration deadline=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |
= | Wed 30 August=C2=A0=C2=A0 2017 - Fri 1 September 2017 | IFL Symposium=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |
| Mon=C2=A0 4 Decembe= r 2017 | Submission deadline for post-symposium proceedings=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 |
| Wed 31 January=C2=A0 2018 | Notification= of acceptance for post-symposium proceedings |
| Mon 12 March=C2=A0=C2= =A0=C2=A0 2018 | Camera-ready version for post-symposium proceedings=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 |

Submission details
-------------= -----

Prospective authors are encouraged to submit papers or extende= d abstracts to be
published in the draft proceedings and to present them= at the symposium. All
contributions must be written in English. Papers = must use the new ACM two
columns conference format, which can be found a= t:

= http://www.acm.org/publications/proceedings-template

For the pre= -symposium proceedings we adopt a 'weak' page limit of 12 pages. Fo= r
the post-symposium proceedings the page limit of 12 pages is firm.
=
Authors submit through EasyChair:

https://easychair.org/conferences/?conf=3Di= fl2017

Topics
------

IFL welcomes submissions describi= ng practical and theoretical work as well as
submissions describing appl= ications and tools in the context of functional
programming. If you are = not sure whether your work is appropriate for IFL 2017,
please contact t= he PC chair at nicolas.wu@brist= ol.ac.uk. Topics of interest include, but are not limited to:

- = language concepts
- type systems, type checking, type inferencing
- c= ompilation techniques
- staged compilation
- run-time function specia= lization
- run-time code generation
- partial evaluation
- (abstra= ct) interpretation
- metaprogramming
- generic programming
- autom= atic program generation
- array processing
- concurrent/parallel prog= ramming
- concurrent/parallel program execution
- embedded systems- web applications
- (embedded) domain specific languages
- security=
- novel memory management techniques
- run-time profiling performanc= e measurements
- debugging and tracing
- virtual/abstract machine arc= hitectures
- validation, verification of functional programs
- tools = and programming techniques
- (industrial) applications

Peter Land= in Prize
------------------

The Peter Landin Prize is awarded to = the best paper presented at the symposium
every year. The honored articl= e is selected by the program committee based on
the submissions received= for the formal review process. The prize carries a
cash award equivalen= t to 150 Euros.


Programme committee
-------------------
Chair: Nicolas Wu, University of Bristol, UK

- Kenichi Asai, Ochan= omizu University, Japan
- Sandrine Blazy, University of Rennes 1, France=
- Carlos Camarao, Universidade Federal de Minas Gerais, Brazil
- Ste= phen Dolan, University of Cambridge, UK
- Jurriaan Hage, Utrecht Univers= ity, Netherlands
- Yukiyoshi Kameyama, University of Tsukuba, Japan
-= Benjamin Lerner, Brown University, USA
- Bas Lijnse, Radboud University= , Netherlands
- Garrett Morris, University of Kansas, USA
- Miguel Pa= gano, Universidad Nacional de C=E2=88=9A=E2=89=A5rdoba, Argentina
- Toma= s Petricek, Alan Turing Institute, UK
- Maciej Pir=E2=88=9A=E2=89=A5g, U= niversity of Wroclaw, Poland
- Exequiel Rivas, Universidad Nacional de R= osario, Argentina
- Neil Sculthorpe, Nottingham Trent University, UK
= - Melinda Toth, Eotvos Lorand University, Hungary
- Phil Trinder, Glasgo= w University, UK
- Kanae Tsushima, National Institute of Informatics, Ja= pan
- Marcos Viera, Universidad de la Republica, Uruguay
- Meng Wang,= University of Kent, UK

Venue
-----

The IFL 2017 will be h= eld in association with the Department of
Computer Science, University o= f Bristol, UK. Bristol is located in
South West England, and can be easi= ly reached from Bristol Airport.

See the website for more informatio= n on the venue.

 

powered by GSM. Free mail merge and em= ail marketing software for Gmail.= --94eb2c1929eab8061405562e1bb0--