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 C8B8A8015E for ; Mon, 12 Jun 2017 14:37:41 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-ot0-f198.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of publicityifl@gmail.com) identity=pra; client-ip=74.125.82.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of publicityifl@gmail.com designates 74.125.82.198 as permitted sender) identity=mailfrom; client-ip=74.125.82.198; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ot0-f198.google.com) identity=helo; client-ip=74.125.82.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-ot0-f198.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOXZ5ZhDFtD6dG8G2ZX+KUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT4pcbcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims77pwSB/wli?= =?us-ascii?q?gIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzdb7fc9wHX2pMRsleWS9PDI2h?= =?us-ascii?q?b4UBEfYOMP1CoIXhvVYDtweyCRWuCe7p1zRGhmX23ao/0+k5CQHGwRcvH9YPsH?= =?us-ascii?q?vIrdX1KKcTUeG7zKnM1jjDYPZW1i386IjMaBwuvfaMXbd2fMHMx0cvEAbFgU+R?= =?us-ascii?q?qYzjJz6azPgCs22B4+pnT+KvhHYrqxpwojig3scsjpPGhoQPxlDD7yV5z545Ks?= =?us-ascii?q?OiR05gYd+rDJtQuDubN4tsWM8iRHtouCkixr0Jvp67ezIGyJsjxxLHavyHfYyI?= =?us-ascii?q?7Q7kVOaXLzd3mmhld6y5hxmu70es0Or8VtO70FtMsyFLkcHMu2gP2hHc8MSLV+?= =?us-ascii?q?Vx80e71TuMyQzf8PxILEQ3mKfdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg8/+in?= =?us-ascii?q?8eXnYrH/qp+bK494lhjyMqozlsG7Auk0KAcOX2+c+eSz0L3s41f1T6lNjv0ziq?= =?us-ascii?q?XZsZbaKtoHpqOhAQJY3Zwv5wuhAzqmytgVnmcLIEhYdB+DjIXlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM735H5XCNXzDkLb9crZ8905dyAszzd5b559PBbEBJej8Wk71tN?= =?us-ascii?q?DCEhA5NAm0z/79CNphzoMeRX6PAqiBPazOq1CI4+YvL/CIZI8Uozb9N+Mo5+Xu?= =?us-ascii?q?jH88gV8SZ7Ol3ZoRaHCiH/RpOV+VYXT2goRJLWBftQM7SKnuiUaeeT9VfXe7Ga?= =?us-ascii?q?wmtR8hD4fzFZrJQoGmgaCQ3Sm/NpJTb2FCTFuLFCS7P76YUusBPXrBavRqlSYJ?= =?us-ascii?q?AOTwRg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9DAADij5Zf8ZSfUoZQxwBARYBAQUBA?= =?us-ascii?q?QoBARYBAQUBAYNDP4ENg3SBNp05hjCEGYhRghEOHoJCgmxKHIJRQBcBAQEBAQE?= =?us-ascii?q?BAQEBARIBAQkLCwgmMRiCGwyCfQYdARsLAQcFBgMSA0EDAgQhEQEFAQsqCQ6Jf?= =?us-ascii?q?AEDFRCSDo1Vg0U/jAiCBAUBHIMKBYNpChknDVaDPwEKAQEBAQEBARgCBhKLG4F?= =?us-ascii?q?xgWmBFQsBBQIBSIIoDDGCYQWJOxIHi2qJAYcrjB6CBlWBDoNgij2TJDOBFSEDc?= =?us-ascii?q?EILdIMugkcpgU1ANg0BAYcQAQEkB4ISAQEB?= X-IPAS-Result: =?us-ascii?q?A0D9DAADij5Zf8ZSfUoZQxwBARYBAQUBAQoBARYBAQUBAYN?= =?us-ascii?q?DP4ENg3SBNp05hjCEGYhRghEOHoJCgmxKHIJRQBcBAQEBAQEBAQEBARIBAQkLC?= =?us-ascii?q?wgmMRiCGwyCfQYdARsLAQcFBgMSA0EDAgQhEQEFAQsqCQ6JfAEDFRCSDo1Vg0U?= =?us-ascii?q?/jAiCBAUBHIMKBYNpChknDVaDPwEKAQEBAQEBARgCBhKLG4FxgWmBFQsBBQIBS?= =?us-ascii?q?IIoDDGCYQWJOxIHi2qJAYcrjB6CBlWBDoNgij2TJDOBFSEDcEILdIMugkcpgU1?= =?us-ascii?q?ANg0BAYcQAQEkB4ISAQEB?= X-IronPort-AV: E=Sophos;i="5.39,333,1493676000"; d="scan'208,217";a="278360080" Received: from mail-ot0-f198.google.com ([74.125.82.198]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Jun 2017 14:37:39 +0200 Received: by mail-ot0-f198.google.com with SMTP id o51so34581933otb.9 for ; Mon, 12 Jun 2017 05:37:39 -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=S4txlRuRx1570IAV1VpesvTLNZ4pGmzIKP+7soFXqoQ=; b=i0MIHMNYBqSdb21APZkj3Lbs55UjaKdSBY5+Lgi69iWBS9VgRoIAqB7MZkDD4s/IC+ DEG1i/QvfvMCBWEqxv1gs7RJ5PnWLxUXuDYIKyvg5K+dEKRo+kems78n8p7K3OJ7bJZj gVDU0r/obw67JQUUXttZfCmNXzNOCzREBSm2UQL+gGzTnmGebfwNEIHAGywWdx/JZ9jX vpsAhQLVSMeiZObAP22rJlPz8BWTsE5Rd0V6KYoU9F53JDAZ9nihPhlcd4nLqPmXeOye PcWosbzIdnRvpaCMTcIdi3Mi6dx7G3RmKaTWVgAe2u23HRR/Zf/cpGxjZWW9ZdvseoWZ PBjg== 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=S4txlRuRx1570IAV1VpesvTLNZ4pGmzIKP+7soFXqoQ=; b=lULwkUeJVPPw5fPvDoYIOd1eerSCv9oGPpO1RoayPcBbAaGNpapgzxLbvJAu/dnvQX 37V0hmh5FgoiYnPeypjqME47q7hH6jJ1hIGIjbhnLqHq3054rz2cqjluLcHg6rexdVUI fVnVacD+03Zj1YK6y9SdMxCrfEuIFIsjvysKIFj4Y+GJJg6IU7moE1bMrQsxIWdM1PWJ Zjly9FpEndyBkaVgdtIw4/5l0lrTbu1dVTDzM5u0yfTohq1vias5mWwtwxyiznZhBraC 4PX+E1wp6S4ZfeEEp5zZmYCGmNaiz6wJ288mxpWUWwP+MUZajOgfNJYw5TpzTsAgDxjo vRGg== X-Gm-Message-State: AKS2vOyY1jaDYO8oVj+WUODHAUdsPLV3tGi+wVGwZOQMeCn/0nKdKb26 QfL8rQ+zQZMepTQJKrIwlm4ZSd7xNA== MIME-Version: 1.0 X-Received: by 10.157.43.243 with SMTP id u106mr29349724ota.10.1497271057956; Mon, 12 Jun 2017 05:37:37 -0700 (PDT) Message-ID: <001a113cfef08ac5bd0551c295c6@google.com> Date: Mon, 12 Jun 2017 12:37:37 +0000 From: publicityifl@gmail.com To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="001a113cfef08ac5a40551c295c3" Subject: [Caml-list] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) --001a113cfef08ac5a40551c295c3 Content-Type: text/plain; charset="UTF-8"; format=flowed; delsp=yes Content-Transfer-Encoding: base64 PGRpdiBkaXI9Imx0ciI+SGVsbG8sPGJyPjxicj5QbGVhc2UsIGZpbmQgYmVs b3cgdGhlIGZpcnN0IGNhbGwgZm9yIHBhcGVycyAgDQpmb3IgSUZMIDIwMTcu PGJyPlBsZWFzZSBmb3J3YXJkIHRoZXNlIHRvIGFueW9uZSB5b3UgdGhpbmsg bWF5IGJlICANCmludGVyZXN0ZWQuPGJyPkFwb2xvZ2llcyBmb3IgYW55IGR1 cGxpY2F0ZXMgeW91IG1heSByZWNlaXZlLjxicj48YnI+YmVzdCAgDQpyZWdh cmRzLDxicj5KdXJyaWFhbiBIYWdlPGJyPlB1YmxpY2l0eSBDaGFpciBvZiBJ Rkw8YnI+PGJyPi0tLTxicj48YnI+SUZMICANCjIwMTcgLSBDQUxMIEZPUiBQ QVBFUlM8YnI+PT09PT09PT09PT09PT09PT09PT09PT09PT08YnI+PGJyPjI5 dGggU1lNUE9TSVVNICANCk9OIElNUExFTUVOVEFUSU9OIEFORCBBUFBMSUNB VElPTiBPRiBGVU5DVElPTkFMICANCkxBTkdVQUdFUzxicj49PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT08YnI+PGJyPlVuaXZlcnNpdHkgIA0Kb2YgQnJp c3RvbCwgVUs8YnI+PGJyPkluIGNvb3BlcmF0aW9uIHdpdGggQUNNIFNJR1BM QU48YnI+PGJyPldlZG5lc2RheSAzMCAgDQpBdWd1c3QgLSBGcmlkYXkgMSBT ZXB0ZW1iZXIsIDIwMTc8YnI+PGJyPjxhICANCmhyZWY9Imh0dHA6Ly9pZmxj b25mZXJlbmNlLm9yZy8iPmh0dHA6Ly9pZmxjb25mZXJlbmNlLm9yZy88L2E+ PGJyPjxicj5TY29wZTxicj4tLS0tLTxicj48YnI+VGhlICANCmdvYWwgb2Yg dGhlIElGTCBzeW1wb3NpYSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJj aGVycyBhY3RpdmVseSAgDQplbmdhZ2VkPGJyPmluIHRoZSBpbXBsZW1lbnRh dGlvbiBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQgIA0KZnVu Y3Rpb24tYmFzZWQ8YnI+cHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAx NyB3aWxsIGJlIGEgdmVudWUgZm9yICANCnJlc2VhcmNoZXJzIHRvIHByZXNl bnQgYW5kPGJyPmRpc2N1c3MgbmV3IGlkZWFzIGFuZCBjb25jZXB0cywgd29y ayBpbiAgDQpwcm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0 czxicj5yZWxhdGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgIA0KYXBw bGljYXRpb24gb2YgZnVuY3Rpb25hbCBsYW5ndWFnZXMgYW5kPGJyPmZ1bmN0 aW9uLWJhc2VkICANCnByb2dyYW1taW5nLjxicj48YnI+UGVlci1yZXZpZXc8 YnI+LS0tLS0tLS0tLS08YnI+PGJyPkZvbGxvd2luZyB0aGUgSUZMICANCnRy YWRpdGlvbiwgSUZMIDIwMTcgd2lsbCB1c2UgYSBwb3N0LXN5bXBvc2l1bSBy ZXZpZXcgcHJvY2Vzczxicj50byBwcm9kdWNlICANCnRoZSBmb3JtYWwgcHJv Y2VlZGluZ3MuIEFsbCBwYXJ0aWNpcGFudHMgb2YgSUZMIDIwMTcgYXJlIGlu dml0ZWQgIA0KdG88YnI+c3VibWl0IGVpdGhlciBhIGRyYWZ0IHBhcGVyIG9y IGFuIGV4dGVuZGVkIGFic3RyYWN0IGRlc2NyaWJpbmcgd29yayAgDQp0byBi ZTxicj5wcmVzZW50ZWQgYXQgdGhlIHN5bXBvc2l1bS4gQXQgbm8gdGltZSBt YXkgd29yayBzdWJtaXR0ZWQgdG8gSUZMICANCmJlPGJyPnNpbXVsdGFuZW91 c2x5IHN1Ym1pdHRlZCB0byBvdGhlciB2ZW51ZXM7IHN1Ym1pc3Npb25zIG11 c3QgYWRoZXJlIHRvICANCkFDTTxicj5TSUdQTEFOJiMzOTtzIHJlcHVibGlj YXRpb24gcG9saWN5Ojxicj48YnI+PGEgIA0KaHJlZj0iaHR0cDovL3d3dy5z aWdwbGFuLm9yZy9SZXNvdXJjZXMvUG9saWNpZXMvUmVwdWJsaWNhdGlvbiI+ aHR0cDovL3d3dy5zaWdwbGFuLm9yZy9SZXNvdXJjZXMvUG9saWNpZXMvUmVw dWJsaWNhdGlvbjwvYT48YnI+PGJyPlRoZSAgDQpzdWJtaXNzaW9ucyB3aWxs IGJlIHNjcmVlbmVkIGJ5IHRoZSBwcm9ncmFtIGNvbW1pdHRlZSBjaGFpciB0 byBtYWtlICANCnN1cmU8YnI+dGhleSBhcmUgd2l0aGluIHRoZSBzY29wZSBv ZiBJRkwsIGFuZCB3aWxsIGFwcGVhciBpbiB0aGUgZHJhZnQgIA0KcHJvY2Vl ZGluZ3M8YnI+ZGlzdHJpYnV0ZWQgYXQgdGhlIHN5bXBvc2l1bS4gU3VibWlz c2lvbnMgYXBwZWFyaW5nIGluIHRoZSAgDQpkcmFmdCBwcm9jZWVkaW5nczxi cj5hcmUgbm90IHBlZXItcmV2aWV3ZWQgcHVibGljYXRpb25zLiBIZW5jZSwg IA0KcHVibGljYXRpb25zIHRoYXQgYXBwZWFyIG9ubHkgaW4gdGhlPGJyPmRy YWZ0IHByb2NlZWRpbmdzIGFyZSBub3Qgc3ViamVjdCAgDQp0byB0aGUgQUNN IFNJR1BMQU4gcmVwdWJsaWNhdGlvbiBwb2xpY3kuPGJyPkFmdGVyIHRoZSBz eW1wb3NpdW0sIGF1dGhvcnMgIA0Kd2lsbCBiZSBnaXZlbiB0aGUgb3Bwb3J0 dW5pdHkgdG8gaW5jb3Jwb3JhdGUgdGhlPGJyPmZlZWRiYWNrIGZyb20gIA0K ZGlzY3Vzc2lvbnMgYXQgdGhlIHN5bXBvc2l1bSBhbmQgd2lsbCBiZSBpbnZp dGVkIHRvIHN1Ym1pdCBhPGJyPnJldmlzZWQgIA0KZnVsbCBhcnRpY2xlIGZv ciB0aGUgZm9ybWFsIHJldmlldyBwcm9jZXNzLiBGcm9tIHRoZSAgDQpyZXZp c2VkPGJyPnN1Ym1pc3Npb25zLCB0aGUgcHJvZ3JhbSBjb21taXR0ZWUgd2ls bCBzZWxlY3QgcGFwZXJzIGZvciB0aGUgIA0KZm9ybWFsPGJyPnByb2NlZWRp bmdzIGNvbnNpZGVyaW5nIHRoZWlyIGNvcnJlY3RuZXNzLCBub3ZlbHR5LCBv cmlnaW5hbGl0eSwgIA0KcmVsZXZhbmNlLDxicj5zaWduaWZpY2FuY2UsIGFu ZCBjbGFyaXR5LiBUaGUgZm9ybWFsIHByb2NlZWRpbmdzIHdpbGwgYXBwZWFy ICANCmluIHRoZTxicj5JbnRlcm5hdGlvbmFsIENvbmZlcmVuY2UgUHJvY2Vl ZGluZ3MgU2VyaWVzIG9mIHRoZSBBQ00gRGlnaXRhbCAgDQpMaWJyYXJ5Ljxi cj48YnI+SW1wb3J0YW50IGRhdGVzPGJyPi0tLS0tLS0tLS0tLS0tLTxicj48 YnI+TW9uIDMxIEp1bHnCoMKgwqDCoCAgDQoyMDE3IDogU3VibWlzc2lvbiBk ZWFkbGluZSBkcmFmdCBwYXBlcnM8YnI+V2VkwqAgMiBBdWd1c3TCoMKgIDIw MTcgOiAgDQpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZSBmb3IgcHJlc2Vu dGF0aW9uPGJyPkZyacKgIDQgQXVndXN0wqDCoCAyMDE3IDogRWFybHkgIA0K cmVnaXN0cmF0aW9uIGRlYWRsaW5lPGJyPkZyaSAxMSBBdWd1c3TCoMKgIDIw MTcgOiBMYXRlIHJlZ2lzdHJhdGlvbiAgDQpkZWFkbGluZTxicj5Nb24gMjEg QXVndXN0wqDCoCAyMDE3IDogU3VibWlzc2lvbiBkZWFkbGluZSBmb3IgcHJl LXN5bXBvc2l1bSAgDQpwcm9jZWVkaW5nczxicj5XZWQgMzAgQXVndXN0wqDC oCAyMDE3IC0gRnJpIDEgU2VwdGVtYmVyIDIwMTcgOiBJRkwgIA0KU3ltcG9z aXVtPGJyPk1vbsKgIDQgRGVjZW1iZXIgMjAxNyA6IFN1Ym1pc3Npb24gZGVh ZGxpbmUgZm9yIHBvc3Qtc3ltcG9zaXVtICANCnByb2NlZWRpbmdzPGJyPldl ZCAzMSBKYW51YXJ5wqAgMjAxOCA6IE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRh bmNlIGZvciAgDQpwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5nczxicj5Nb24g MTIgTWFyY2jCoMKgwqAgMjAxOCA6IENhbWVyYS1yZWFkeSB2ZXJzaW9uICAN CmZvciBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5nczxicj48YnI+U3VibWlz c2lvbiAgDQpkZXRhaWxzPGJyPi0tLS0tLS0tLS0tLS0tLS0tLTxicj48YnI+ UHJvc3BlY3RpdmUgYXV0aG9ycyBhcmUgZW5jb3VyYWdlZCB0byAgDQpzdWJt aXQgcGFwZXJzIG9yIGV4dGVuZGVkIGFic3RyYWN0cyB0byBiZTxicj5wdWJs aXNoZWQgaW4gdGhlIGRyYWZ0ICANCnByb2NlZWRpbmdzIGFuZCB0byBwcmVz ZW50IHRoZW0gYXQgdGhlIHN5bXBvc2l1bS4gQWxsPGJyPmNvbnRyaWJ1dGlv bnMgbXVzdCAgDQpiZSB3cml0dGVuIGluIEVuZ2xpc2guIFBhcGVycyBtdXN0 IHVzZSB0aGUgbmV3IEFDTSB0d288YnI+Y29sdW1ucyAgDQpjb25mZXJlbmNl IGZvcm1hdCwgd2hpY2ggY2FuIGJlIGZvdW5kIGF0Ojxicj48YnI+PGEgIA0K aHJlZj0iaHR0cDovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wcm9jZWVk aW5ncy10ZW1wbGF0ZSI+aHR0cDovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9u cy9wcm9jZWVkaW5ncy10ZW1wbGF0ZTwvYT48YnI+PGJyPkZvciAgDQp0aGUg cHJlLXN5bXBvc2l1bSBwcm9jZWVkaW5ncyB3ZSBhZG9wdCBhICYjMzk7d2Vh ayYjMzk7IHBhZ2UgbGltaXQgb2YgMTIgIA0KcGFnZXMuIEZvcjxicj50aGUg cG9zdC1zeW1wb3NpdW0gcHJvY2VlZGluZ3MgdGhlIHBhZ2UgbGltaXQgb2Yg MTIgcGFnZXMgaXMgIA0KZmlybS48YnI+PGJyPkF1dGhvcnMgc3VibWl0IHRo cm91Z2ggRWFzeUNoYWlyOjxicj48YnI+PGEgIA0KaHJlZj0iaHR0cHM6Ly9l YXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWlmbDIwMTciPmh0dHBz Oi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1pZmwyMDE3PC9h Pjxicj48YnI+VG9waWNzPGJyPi0tLS0tLTxicj48YnI+SUZMICANCndlbGNv bWVzIHN1Ym1pc3Npb25zIGRlc2NyaWJpbmcgcHJhY3RpY2FsIGFuZCB0aGVv cmV0aWNhbCB3b3JrIGFzIHdlbGwgIA0KYXM8YnI+c3VibWlzc2lvbnMgZGVz Y3JpYmluZyBhcHBsaWNhdGlvbnMgYW5kIHRvb2xzIGluIHRoZSBjb250ZXh0 IG9mICANCmZ1bmN0aW9uYWw8YnI+cHJvZ3JhbW1pbmcuIElmIHlvdSBhcmUg bm90IHN1cmUgd2hldGhlciB5b3VyIHdvcmsgaXMgIA0KYXBwcm9wcmlhdGUg Zm9yIElGTCAyMDE3LDxicj5wbGVhc2UgY29udGFjdCB0aGUgUEMgY2hhaXIg YXQgPGEgIA0KaHJlZj0ibWFpbHRvOm5pY29sYXMud3VAYnJpc3RvbC5hYy51 ayI+bmljb2xhcy53dUBicmlzdG9sLmFjLnVrPC9hPi4gVG9waWNzICANCm9m IGludGVyZXN0IGluY2x1ZGUsPGJyPmJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86 PGJyPjxicj4tIGxhbmd1YWdlICANCmNvbmNlcHRzPGJyPi0gdHlwZSBzeXN0 ZW1zLCB0eXBlIGNoZWNraW5nLCB0eXBlIGluZmVyZW5jaW5nPGJyPi0gIA0K Y29tcGlsYXRpb24gdGVjaG5pcXVlczxicj4tIHN0YWdlZCBjb21waWxhdGlv bjxicj4tIHJ1bi10aW1lIGZ1bmN0aW9uICANCnNwZWNpYWxpemF0aW9uPGJy Pi0gcnVuLXRpbWUgY29kZSBnZW5lcmF0aW9uPGJyPi0gcGFydGlhbCBldmFs dWF0aW9uPGJyPi0gIA0KKGFic3RyYWN0KSBpbnRlcnByZXRhdGlvbjxicj4t IG1ldGFwcm9ncmFtbWluZzxicj4tIGdlbmVyaWMgIA0KcHJvZ3JhbW1pbmc8 YnI+LSBhdXRvbWF0aWMgcHJvZ3JhbSBnZW5lcmF0aW9uPGJyPi0gYXJyYXkg cHJvY2Vzc2luZzxicj4tICANCmNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3Jh bW1pbmc8YnI+LSBjb25jdXJyZW50L3BhcmFsbGVsIHByb2dyYW0gIA0KZXhl Y3V0aW9uPGJyPi0gZW1iZWRkZWQgc3lzdGVtczxicj4tIHdlYiBhcHBsaWNh dGlvbnM8YnI+LSAoZW1iZWRkZWQpICANCmRvbWFpbiBzcGVjaWZpYyBsYW5n dWFnZXM8YnI+LSBzZWN1cml0eTxicj4tIG5vdmVsIG1lbW9yeSBtYW5hZ2Vt ZW50ICANCnRlY2huaXF1ZXM8YnI+LSBydW4tdGltZSBwcm9maWxpbmcgcGVy Zm9ybWFuY2UgbWVhc3VyZW1lbnRzPGJyPi0gZGVidWdnaW5nICANCmFuZCB0 cmFjaW5nPGJyPi0gdmlydHVhbC9hYnN0cmFjdCBtYWNoaW5lIGFyY2hpdGVj dHVyZXM8YnI+LSB2YWxpZGF0aW9uLCAgDQp2ZXJpZmljYXRpb24gb2YgZnVu Y3Rpb25hbCBwcm9ncmFtczxicj4tIHRvb2xzIGFuZCBwcm9ncmFtbWluZyAg DQp0ZWNobmlxdWVzPGJyPi0gKGluZHVzdHJpYWwpIGFwcGxpY2F0aW9uczxi cj48YnI+UGV0ZXIgTGFuZGluICANClByaXplPGJyPi0tLS0tLS0tLS0tLS0t LS0tLTxicj48YnI+VGhlIFBldGVyIExhbmRpbiBQcml6ZSBpcyBhd2FyZGVk IHRvIHRoZSAgDQpiZXN0IHBhcGVyIHByZXNlbnRlZCBhdCB0aGUgc3ltcG9z aXVtPGJyPmV2ZXJ5IHllYXIuIFRoZSBob25vcmVkIGFydGljbGUgaXMgIA0K c2VsZWN0ZWQgYnkgdGhlIHByb2dyYW0gY29tbWl0dGVlIGJhc2VkIG9uPGJy PnRoZSBzdWJtaXNzaW9ucyByZWNlaXZlZCBmb3IgIA0KdGhlIGZvcm1hbCBy ZXZpZXcgcHJvY2Vzcy4gVGhlIHByaXplIGNhcnJpZXMgYTxicj5jYXNoIGF3 YXJkIGVxdWl2YWxlbnQgdG8gIA0KMTUwIEV1cm9zLjxicj48YnI+UHJvZ3Jh bW1lIGNvbW1pdHRlZTxicj4tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPjxicj5D aGFpcjogIA0KTmljb2xhcyBXdSwgVW5pdmVyc2l0eSBvZiBCcmlzdG9sLCBV Szxicj48YnI+LSBLZW5pY2hpIEFzYWksIE9jaGFub21penUgIA0KVW5pdmVy c2l0eSwgSmFwYW48YnI+LSBTYW5kcmluZSBCbGF6eSwgVW5pdmVyc2l0eSBv ZiBSZW5uZXMgMSwgRnJhbmNlPGJyPi0gIA0KQ2FybG9zIENhbWFyYW8sIFVu aXZlcnNpZGFkZSBGZWRlcmFsIGRlIE1pbmFzIEdlcmFpcywgQnJhemlsPGJy Pi0gU3RlcGhlbiAgDQpEb2xhbiwgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2Us IFVLPGJyPi0gSnVycmlhYW4gSGFnZSwgVXRyZWNodCBVbml2ZXJzaXR5LCAg DQpOZXRoZXJsYW5kczxicj4tIFl1a2l5b3NoaSBLYW1leWFtYSwgVW5pdmVy c2l0eSBvZiBUc3VrdWJhLCBKYXBhbjxicj4tICANCkJlbmphbWluIExlcm5l ciwgQnJvd24gVW5pdmVyc2l0eSwgVVNBPGJyPi0gQmFzIExpam5zZSwgUmFk Ym91ZCBVbml2ZXJzaXR5LCAgDQpOZXRoZXJsYW5kczxicj4tIEdhcnJldHQg TW9ycmlzLCBVbml2ZXJzaXR5IG9mIEthbnNhcywgVVNBPGJyPi0gTWlndWVs ICANClBhZ2FubywgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ+KImuKJpXJk b2JhLCBBcmdlbnRpbmE8YnI+LSBUb21hcyBQZXRyaWNlaywgIA0KQWxhbiBU dXJpbmcgSW5zdGl0dXRlLCBVSzxicj4tIE1hY2llaiBQaXLiiJriiaVnLCBV bml2ZXJzaXR5IG9mIFdyb2PiiYjDh2F3LCAgDQpQb2xhbmQ8YnI+LSBFeGVx dWllbCBSaXZhcywgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgUm9zYXJpbywg QXJnZW50aW5hPGJyPi0gIA0KTmVpbCBTY3VsdGhvcnBlLCBOb3R0aW5naGFt IFRyZW50IFVuaXZlcnNpdHksIFVLPGJyPi0gTWVsaW5kYSBU4oia4omldGgs ICANCkXiiJriiIJ0duKImuKIgnMgTG9y4oiawrBuZCBVbml2ZXJzaXR5LCBI dW5nYXJ5PGJyPi0gUGhpbCBUcmluZGVyLCBHbGFzZ293IFVuaXZlcnNpdHks ICANClVLPGJyPi0gS2FuYWUgVHN1c2hpbWEsIE5hdGlvbmFsIEluc3RpdHV0 ZSBvZiBJbmZvcm1hdGljcywgSmFwYW48YnI+LSAgDQpNYXJjb3MgVmllcmEs IFVuaXZlcnNpZGFkIGRlIGxhIFJlcHVibGljYSwgVXJ1Z3VheTxicj4tIE1l bmcgV2FuZywgIA0KVW5pdmVyc2l0eSBvZiBLZW50LCBVSzxicj48YnI+VmVu dWU8YnI+LS0tLS08YnI+PGJyPlRoZSBJRkwgMjAxNyB3aWxsIGJlICANCmhl bGQgaW4gYXNzb2NpYXRpb24gd2l0aCB0aGUgRGVwYXJ0bWVudCBvZjxicj5D b21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5ICANCm9mIEJyaXN0b2wsIFVL LiBCcmlzdG9sIGlzIGxvY2F0ZWQgaW48YnI+U291dGggV2VzdCBFbmdsYW5k LCBhbmQgY2FuIGJlICANCmVhc2lseSByZWFjaGVkIGZyb20gQnJpc3RvbCBB aXJwb3J0Ljxicj5TZWUgdGhlIHdlYnNpdGUgZm9yIG1vcmUgIA0KaW5mb3Jt YXRpb24gb24gdGhlIHZlbnVlLjxicj48L2Rpdj4NCjxwPiZuYnNwOzwvcD48 YSBzdHlsZT0nZGlzcGxheTogYmxvY2s7IG1hcmdpbjogMzJweCAwIDQwcHgg MDsgcGFkZGluZzogIA0KMTBweDsgZm9udC1zaXplOiAxZW07IHRleHQtYWxp Z246IGNlbnRlcjsgYm9yZGVyOiAwOyBib3JkZXItdG9wOiAxcHggc29saWQg IA0KZ3JheTsgJyBocmVmPSdodHRwczovL2dvby5nbC8ya3NkUnYnPnBvd2Vy ZWQgYnkgR1NNLiBGcmVlIG1haWwgbWVyZ2UgYW5kICANCmVtYWlsIG1hcmtl dGluZyBzb2Z0d2FyZSBmb3IgR21haWwuPC9hPg0K --001a113cfef08ac5a40551c295c3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the first call for papers= for IFL 2017.
Please forward these to anyone you think may be intereste= d.
Apologies for any duplicates you may receive.

best regards,Jurriaan Hage
Publicity Chair of IFL

---

IFL 2017 - CALL = FOR PAPERS
=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=3D

University of Bristol, UK

In cooperation w= ith ACM SIGPLAN

Wednesday 30 August - Friday 1 September, 2017
http://iflconference.org/
Scope
-----

The goal of the IFL symposia is to bring together r= esearchers actively engaged
in the implementation and application of fun= ctional and function-based
programming languages. IFL 2017 will be a ven= ue for researchers to present and
discuss new ideas and concepts, work i= n progress, and publication-ripe results
related to the implementation a= nd application of functional languages and
function-based programming.
Peer-review
-----------

Following the IFL tradition, IFL 20= 17 will use a post-symposium review process
to produce the formal procee= dings. All participants of IFL 2017 are invited to
submit either a draft= paper or an extended abstract describing work to be
presented at the sy= mposium. At no time may work submitted to IFL be
simultaneously submitte= d to other venues; submissions must adhere to ACM
SIGPLAN's republic= ation policy:

http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to ma= ke sure
they are within the scope of IFL, and will appear in the draft p= roceedings
distributed at the symposium. Submissions appearing in the dr= aft proceedings
are not peer-reviewed publications. Hence, publications = that appear only in the
draft proceedings are not subject to the ACM SIG= PLAN republication policy.
After the symposium, authors will be given th= e opportunity to incorporate the
feedback from discussions at the sympos= ium and will be invited to submit a
revised full article for the formal = review process. From the revised
submissions, the program committee will= select papers for the formal
proceedings considering their correctness,= novelty, originality, relevance,
significance, and clarity. The formal = proceedings will appear in the
International Conference Proceedings Seri= es of the ACM Digital Library.

Important dates
---------------
Mon 31 July=C2=A0=C2=A0=C2=A0=C2=A0 2017 : Submission deadline draft p= apers
Wed=C2=A0 2 August=C2=A0=C2=A0 2017 : Notification of acceptance f= or presentation
Fri=C2=A0 4 August=C2=A0=C2=A0 2017 : Early registration= deadline
Fri 11 August=C2=A0=C2=A0 2017 : Late registration deadlineMon 21 August=C2=A0=C2=A0 2017 : Submission deadline for pre-symposium pro= ceedings
Wed 30 August=C2=A0=C2=A0 2017 - Fri 1 September 2017 : IFL Sym= posium
Mon=C2=A0 4 December 2017 : Submission deadline for post-symposiu= m proceedings
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

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

Prospective authors are encouraged to submit pape= rs or extended abstracts to be
published in the draft proceedings and to= present them at the symposium. All
contributions must be written in Eng= lish. Papers must use the new ACM two
columns conference format, which c= an be found at:

http://www.acm.org/publications/proceedings-template
For the pre-symposium proceedings we adopt a 'weak' page limit of= 12 pages. For
the post-symposium proceedings the page limit of 12 pages= is firm.

Authors submit through EasyChair:

https://easychair.org/conferen= ces/?conf=3Difl2017

Topics
------

IFL welcomes submiss= ions describing practical and theoretical work as well as
submissions de= scribing applications and tools in the context of functional
programming= . If you are not sure whether your work is appropriate for IFL 2017,
ple= ase contact the PC chair at nic= olas.wu@bristol.ac.uk. Topics of interest include,
but are not limit= ed to:

- language concepts
- type systems, type checking, type in= ferencing
- compilation techniques
- staged compilation
- run-time= function specialization
- run-time code generation
- partial evaluat= ion
- (abstract) interpretation
- metaprogramming
- generic progra= mming
- automatic program generation
- array processing
- concurre= nt/parallel programming
- concurrent/parallel program execution
- emb= edded systems
- web applications
- (embedded) domain specific languag= es
- security
- novel memory management techniques
- run-time prof= iling performance measurements
- debugging and tracing
- virtual/abst= ract machine architectures
- validation, verification of functional prog= rams
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
------------------

The Peter Landin Priz= e is awarded to the best paper presented at the symposium
every year. Th= e honored article is selected by the program committee based on
the subm= issions received for the formal review process. The prize carries a
cash= award equivalent to 150 Euros.

Programme committee
-------------= ------

Chair: Nicolas Wu, University of Bristol, UK

- Kenichi= Asai, Ochanomizu University, Japan
- Sandrine Blazy, University of Renn= es 1, France
- Carlos Camarao, Universidade Federal de Minas Gerais, Bra= zil
- Stephen Dolan, University of Cambridge, UK
- Jurriaan Hage, Utr= echt University, Netherlands
- Yukiyoshi Kameyama, University of Tsukuba= , Japan
- Benjamin Lerner, Brown University, USA
- Bas Lijnse, Radbou= d University, Netherlands
- Garrett Morris, University of Kansas, USA- Miguel Pagano, Universidad Nacional de C=E2=88=9A=E2=89=A5rdoba, Argenti= na
- Tomas Petricek, Alan Turing Institute, UK
- Maciej Pir=E2=88=9A= =E2=89=A5g, University of Wroc=E2=89=88=C3=87aw, Poland
- Exequiel Rivas= , Universidad Nacional de Rosario, Argentina
- Neil Sculthorpe, Nottingh= am Trent University, UK
- Melinda T=E2=88=9A=E2=89=A5th, E=E2=88=9A=E2= =88=82tv=E2=88=9A=E2=88=82s Lor=E2=88=9A=C2=B0nd University, Hungary
- P= hil Trinder, Glasgow University, UK
- Kanae Tsushima, National Institute= of Informatics, Japan
- Marcos Viera, Universidad de la Republica, Urug= uay
- Meng Wang, University of Kent, UK

Venue
-----

The= IFL 2017 will be held in association with the Department of
Computer Sc= ience, University of Bristol, UK. Bristol is located in
South West Engla= nd, and can be easily reached from Bristol Airport.
See the website for = more information on the venue.

 

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