From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <publicityifl@gmail.com>
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 ESMTP id 5DDF1801C9
	for <caml-list@sympa.inria.fr>; Thu, 13 Jul 2017 22:14:18 +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-yb0-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=209.85.213.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 209.85.213.198 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.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-yb0-f198.google.com) identity=helo;
  client-ip=209.85.213.198;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="publicityifl@gmail.com";
  x-sender="postmaster@mail-yb0-f198.google.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A1Ata7x37pKQfY6i5smDT+DRfVm0co7zxezQtwd8Z?=
 =?us-ascii?q?seIVLPad9pjvdHbS+e9qxAeQG96KtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?=
 =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?=
 =?us-ascii?q?JuTyB4Xek9m72/q89pDXYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?=
 =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?=
 =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?=
 =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWVOUMVfWSJcAo2y?=
 =?us-ascii?q?cZcAAvEbMupEtYTwvUcCoQe8CASqGejhyiVIhnjz3aAiy+QhDBrJ3AghH90SsX?=
 =?us-ascii?q?TUsNX0NKYcUeCx16TIwjDDYOlX2Tf58oTHbhchofSKULltf8TRzkwvGBnEjlWW?=
 =?us-ascii?q?sYHqJS+a1uEXv2ic9epgWvqji3UmqwF+ujivwt0jio/TioIS0FDE+j11z5gvKt?=
 =?us-ascii?q?2jSE90fd6kH4FRtyGALYd2RdkiQ25wtCY1zb0GvoS3fCcOyJg/xh7fZfiHfJSP?=
 =?us-ascii?q?4hLlWuaePy14i2xjeL2jmRm+60+gyvfzVsSyzV1ErTJFn8HSunwR0xHf8MuKR/?=
 =?us-ascii?q?tn8ku/xDqC2Rrf5vxALE03k6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgk//Kn?=
 =?us-ascii?q?6+XjYrn/pp6TLJN4hhjwMqgznsGyAv40MgcJX2ic9uS80KPs8VflT7VNi/06iq?=
 =?us-ascii?q?jZsJbEKsQHvqO1HRNZ34I55xu8DzqqysoUkWQJIV5fZR6Ki4vkN0nLIP/iDPe/?=
 =?us-ascii?q?h1qskC1sx/DDJrDhGojNIWPHkLfgYbl96lJcyQoyzdBR45JZEb4BIPfpVU/wsN?=
 =?us-ascii?q?zUFAM2Mwuxw+r/EtVyypseWX6TAq+eKK7drUWH5ucrI+WVYI8VuS39K+Q+6v71?=
 =?us-ascii?q?jX45nEcdcrOz0ZsWbnC4BPVmLF+DbXrimNdSWVsN6wE3SeivjFyZTRZSYWyzVu?=
 =?us-ascii?q?Qy/GIVEoWjWJ/eTISsi72dzSa1GrVZY2lHDhaHFnK7JM2/R/4QZXfKcYdamTse?=
 =?us-ascii?q?WO39GoI=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BCCABO1GdZf8bVVdFdHAEXAQYBCwEXA?=
 =?us-ascii?q?QYBg0g/gRSFJp1FhjKEH4hGghEOHoIPgmxPHINPQRYBAQEBAQEBAQEBARIBAQk?=
 =?us-ascii?q?LCwgmMYIzDIJ9Bh0BGwsBBwUGAxIDQQMCBCERAQUBCyoJDol/AQMVEJB+jVaDR?=
 =?us-ascii?q?T+MCoIEBQEcgwYFg14KGScNVoMOAQEIAQEBAQEBAQEYAgYSgxaIHoFwgWqBFQs?=
 =?us-ascii?q?BBQIBSIIpDDGCYQWJShIHjAqJQ4dKjEqCDFeBD4NmilGUDTOBFSYNYUILdYM1g?=
 =?us-ascii?q?gNFKYFOQDYNAQGGPwEBJAeCEgEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0BCCABO1GdZf8bVVdFdHAEXAQYBCwEXAQYBg0g/gRSFJp1?=
 =?us-ascii?q?FhjKEH4hGghEOHoIPgmxPHINPQRYBAQEBAQEBAQEBARIBAQkLCwgmMYIzDIJ9B?=
 =?us-ascii?q?h0BGwsBBwUGAxIDQQMCBCERAQUBCyoJDol/AQMVEJB+jVaDRT+MCoIEBQEcgwY?=
 =?us-ascii?q?Fg14KGScNVoMOAQEIAQEBAQEBAQEYAgYSgxaIHoFwgWqBFQsBBQIBSIIpDDGCY?=
 =?us-ascii?q?QWJShIHjAqJQ4dKjEqCDFeBD4NmilGUDTOBFSYNYUILdYM1ggNFKYFOQDYNAQG?=
 =?us-ascii?q?GPwEBJAeCEgEBAQ?=
X-IronPort-AV: E=Sophos;i="5.40,355,1496095200"; 
   d="scan'208,217";a="283325387"
Received: from mail-yb0-f198.google.com ([209.85.213.198])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2017 22:13:51 +0200
Received: by mail-yb0-f198.google.com with SMTP id c184so60033776yba.3
        for <caml-list@inria.fr>; Thu, 13 Jul 2017 13:13:50 -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=1BD2BpDxuAOel6/EaqgoddwAKiSlCMeqVyOPYm+7M8o=;
        b=SDfW/xULDCssF3kIjkpsrkRbEe3joAlcnsPdYeVvWvzVUOr6PPURi0Mp6/KIg5OQpu
         CHLvOHru3BAyWtpfuWIqd/6Wz3Iy0J+ArZLvp0sayqrxfFQUlwE7l5fjBAAQqDW/OjNU
         IxndqLCKw3epN1qM8+v24hkXpk49en+QEdwF4uyd8URJXtCeSC9oTQ73s60XHs+g/bP6
         NA/GId2TEP9yq7PikUDOeQ6Lq2c56VHZD9kpHd0qgDTbCjK+/8hNEQmypkOPvTL7cGCk
         qYSYdEJD13MUPD3s9UFilxRB/00i0j65vUCZZYk85Jn3Ew01B2UYZd4Q/LTdWKQX2VGu
         epUg==
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=1BD2BpDxuAOel6/EaqgoddwAKiSlCMeqVyOPYm+7M8o=;
        b=oN4ZI+K0xLNA+U/8IhVMISORQgojuQ4HC7QBoaGCHEGQ+DCZJu1zpFbZYEgmfmm+yX
         EMGHZ8qD3jr5WKZVdQdihrpThaMrr+K9N0/BAgFcGdIjiWlz51EpJdVi4vOzxhCkQIdM
         bveZZ2aCCQdLFBQ+eN3koEurtibXDkDWbiM+1Cy8RipXhvLAa7e4GKoBzv0SlpPmf/Wx
         PkGPcRCJ6CqLeV6hteGNwfcVwC0yiNjBbQ3u2RZANllgyEbPK1dAmBoSOb1pBsNWV5LM
         ikTcAL33Q3MOdufOyf6QDisdw2Bc7++kszPRKdL9F1ZeD87/C7Y6w9d9VLQOzjvlfY82
         BT7g==
X-Gm-Message-State: AIVw111CxCa5ZXZTEiGxO++ocQjep+wnAQKF9L1PJFBrAuCFcjOwW+Wy
	VAVsXuuqBv5IbAEp8FFXYAc5k5VGrw==
MIME-Version: 1.0
X-Received: by 10.129.202.75 with SMTP id y11mr2892929ywk.154.1499976830058;
 Thu, 13 Jul 2017 13:13:50 -0700 (PDT)
Message-ID: <089e082576a42089900554389235@google.com>
Date: Thu, 13 Jul 2017 20:13:50 +0000
From: publicityifl@gmail.com
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary="089e082576a42089770554389232"
Subject: [Caml-list] 2nd CfP: IFL 2017 (29th Symposium on Implementation and
 Application of Functional Languages)

--089e082576a42089770554389232
Content-Type: text/plain; charset="UTF-8"; format=flowed; delsp=yes
Content-Transfer-Encoding: base64

PGRpdiBkaXI9Imx0ciI+SGVsbG8sPGJyPjxicj5QbGVhc2UsIGZpbmQgYmVs
b3cgdGhlIHNlY29uZCBjYWxsIGZvciBwYXBlcnMgIA0KZm9yIElGTCAyMDE3
Ljxicj5QbGVhc2UgZm9yd2FyZCB0aGVzZSB0byBhbnlvbmUgeW91IHRoaW5r
IG1heSBiZSAgDQppbnRlcmVzdGVkLjxicj5BcG9sb2dpZXMgZm9yIGFueSBk
dXBsaWNhdGVzIHlvdSBtYXkgcmVjZWl2ZS48YnI+PGJyPmJlc3QgIA0KcmVn
YXJkcyw8YnI+SnVycmlhYW4gSGFnZTxicj5QdWJsaWNpdHkgQ2hhaXIgb2Yg
SUZMPGJyPjxicj4tLS08YnI+PGJyPklGTCAgDQoyMDE3IC0gQ0FMTCBGT1Ig
UEFQRVJTPGJyPj09PT09PT09PT09PT09PT09PT09PT09PT09PGJyPjxicj4y
OXRoIFNZTVBPU0lVTSAgDQpPTiBJTVBMRU1FTlRBVElPTiBBTkQgQVBQTElD
QVRJT04gT0YgRlVOQ1RJT05BTCAgDQpMQU5HVUFHRVM8YnI+PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PHdicj49PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT08d2JyPj09PT09PT09PT09PTxicj48YnI+VW5pdmVyc2l0
eSAgDQpvZiBCcmlzdG9sLCBVSzxicj48YnI+SW4gY29vcGVyYXRpb24gd2l0
aCBBQ00gU0lHUExBTjxicj48YnI+V2VkbmVzZGF5IDMwICANCkF1Z3VzdCAt
IEZyaWRheSAxIFNlcHRlbWJlciwgMjAxNzxicj48YnI+PGEgIA0KaHJlZj0i
aHR0cDovL2lmbGNvbmZlcmVuY2Uub3JnLyIgIA0KdGFyZ2V0PSJfYmxhbmsi
Pmh0dHA6Ly9pZmxjb25mZXJlbmNlLm9yZy88L2E+PGJyPjxicj5TY29wZTxi
cj4tLS0tLTxicj48YnI+VGhlICANCmdvYWwgb2YgdGhlIElGTCBzeW1wb3Np
YSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVseSAg
DQplbmdhZ2VkPGJyPmluIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgYXBwbGlj
YXRpb24gb2YgZnVuY3Rpb25hbCBhbmQgIA0KZnVuY3Rpb24tYmFzZWQ8YnI+
cHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAxNyB3aWxsIGJlIGEgdmVu
dWUgZm9yICANCnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kPGJyPmRpc2N1
c3MgbmV3IGlkZWFzIGFuZCBjb25jZXB0cywgd29yayBpbiAgDQpwcm9ncmVz
cywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0czxicj5yZWxhdGVkIHRv
IHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgIA0KYXBwbGljYXRpb24gb2YgZnVu
Y3Rpb25hbCBsYW5ndWFnZXMgYW5kPGJyPmZ1bmN0aW9uLWJhc2VkICANCnBy
b2dyYW1taW5nLjxicj48YnI+UGVlci1yZXZpZXc8YnI+LS0tLS0tLS0tLS08
YnI+PGJyPkZvbGxvd2luZyB0aGUgSUZMICANCnRyYWRpdGlvbiwgSUZMIDIw
MTcgd2lsbCB1c2UgYSBwb3N0LXN5bXBvc2l1bSByZXZpZXcgcHJvY2Vzczxi
cj50byBwcm9kdWNlICANCnRoZSBmb3JtYWwgcHJvY2VlZGluZ3MuIEFsbCBw
YXJ0aWNpcGFudHMgb2YgSUZMIDIwMTcgYXJlIGludml0ZWQgIA0KdG88YnI+
c3VibWl0IGVpdGhlciBhIGRyYWZ0IHBhcGVyIG9yIGFuIGV4dGVuZGVkIGFi
c3RyYWN0IGRlc2NyaWJpbmcgd29yayAgDQp0byBiZTxicj5wcmVzZW50ZWQg
YXQgdGhlIHN5bXBvc2l1bS4gQXQgbm8gdGltZSBtYXkgd29yayBzdWJtaXR0
ZWQgdG8gSUZMICANCmJlPGJyPnNpbXVsdGFuZW91c2x5IHN1Ym1pdHRlZCB0
byBvdGhlciB2ZW51ZXM7IHN1Ym1pc3Npb25zIG11c3QgYWRoZXJlIHRvICAN
CkFDTTxicj5TSUdQTEFOJiMzOTtzIHJlcHVibGljYXRpb24gcG9saWN5Ojxi
cj48YnI+PGEgIA0KaHJlZj0iaHR0cDovL3d3dy5zaWdwbGFuLm9yZy9SZXNv
dXJjZXMvUG9saWNpZXMvUmVwdWJsaWNhdGlvbiIgIA0KdGFyZ2V0PSJfYmxh
bmsiPmh0dHA6Ly93d3cuc2lncGxhbi5vcmcvPHdicj5SZXNvdXJjZXMvUG9s
aWNpZXMvPHdicj5SZXB1YmxpY2F0aW9uPC9hPjxicj48YnI+VGhlICANCnN1
Ym1pc3Npb25zIHdpbGwgYmUgc2NyZWVuZWQgYnkgdGhlIHByb2dyYW0gY29t
bWl0dGVlIGNoYWlyIHRvIG1ha2UgIA0Kc3VyZTxicj50aGV5IGFyZSB3aXRo
aW4gdGhlIHNjb3BlIG9mIElGTCwgYW5kIHdpbGwgYXBwZWFyIGluIHRoZSBk
cmFmdCAgDQpwcm9jZWVkaW5nczxicj5kaXN0cmlidXRlZCBhdCB0aGUgc3lt
cG9zaXVtLiBTdWJtaXNzaW9ucyBhcHBlYXJpbmcgaW4gdGhlICANCmRyYWZ0
IHByb2NlZWRpbmdzPGJyPmFyZSBub3QgcGVlci1yZXZpZXdlZCBwdWJsaWNh
dGlvbnMuIEhlbmNlLCAgDQpwdWJsaWNhdGlvbnMgdGhhdCBhcHBlYXIgb25s
eSBpbiB0aGU8YnI+ZHJhZnQgcHJvY2VlZGluZ3MgYXJlIG5vdCBzdWJqZWN0
ICANCnRvIHRoZSBBQ00gU0lHUExBTiByZXB1YmxpY2F0aW9uIHBvbGljeS48
YnI+QWZ0ZXIgdGhlIHN5bXBvc2l1bSwgYXV0aG9ycyAgDQp3aWxsIGJlIGdp
dmVuIHRoZSBvcHBvcnR1bml0eSB0byBpbmNvcnBvcmF0ZSB0aGU8YnI+ZmVl
ZGJhY2sgZnJvbSAgDQpkaXNjdXNzaW9ucyBhdCB0aGUgc3ltcG9zaXVtIGFu
ZCB3aWxsIGJlIGludml0ZWQgdG8gc3VibWl0IGE8YnI+cmV2aXNlZCAgDQpm
dWxsIGFydGljbGUgZm9yIHRoZSBmb3JtYWwgcmV2aWV3IHByb2Nlc3MuIEZy
b20gdGhlICANCnJldmlzZWQ8YnI+c3VibWlzc2lvbnMsIHRoZSBwcm9ncmFt
IGNvbW1pdHRlZSB3aWxsIHNlbGVjdCBwYXBlcnMgZm9yIHRoZSAgDQpmb3Jt
YWw8YnI+cHJvY2VlZGluZ3MgY29uc2lkZXJpbmcgdGhlaXIgY29ycmVjdG5l
c3MsIG5vdmVsdHksIG9yaWdpbmFsaXR5LCAgDQpyZWxldmFuY2UsPGJyPnNp
Z25pZmljYW5jZSwgYW5kIGNsYXJpdHkuIFRoZSBmb3JtYWwgcHJvY2VlZGlu
Z3Mgd2lsbCBhcHBlYXIgIA0KaW4gdGhlPGJyPkludGVybmF0aW9uYWwgQ29u
ZmVyZW5jZSBQcm9jZWVkaW5ncyBTZXJpZXMgb2YgdGhlIEFDTSBEaWdpdGFs
ICANCkxpYnJhcnkuPGJyPjxicj5JbXBvcnRhbnQgZGF0ZXM8YnI+LS0tLS0t
LS0tLS0tLS0tPGJyPjxicj5Nb24gMzEgSnVsecKgwqDCoMKgICANCjIwMTcg
OiBTdWJtaXNzaW9uIGRlYWRsaW5lIGRyYWZ0IHBhcGVyczxicj5XZWTCoCAy
IEF1Z3VzdMKgwqAgMjAxNyA6ICANCk5vdGlmaWNhdGlvbiBvZiBhY2NlcHRh
bmNlIGZvciBwcmVzZW50YXRpb248YnI+RnJpwqAgNCBBdWd1c3TCoMKgIDIw
MTcgOiBFYXJseSAgDQpyZWdpc3RyYXRpb24gZGVhZGxpbmU8YnI+RnJpIDEx
IEF1Z3VzdMKgwqAgMjAxNyA6IExhdGUgcmVnaXN0cmF0aW9uICANCmRlYWRs
aW5lPGJyPk1vbiAyMSBBdWd1c3TCoMKgIDIwMTcgOiBTdWJtaXNzaW9uIGRl
YWRsaW5lIGZvciBwcmUtc3ltcG9zaXVtICANCnByb2NlZWRpbmdzPGJyPldl
ZCAzMCBBdWd1c3TCoMKgIDIwMTcgLSBGcmkgMSBTZXB0ZW1iZXIgMjAxNyA6
IElGTCAgDQpTeW1wb3NpdW08YnI+TW9uwqAgNCBEZWNlbWJlciAyMDE3IDog
U3VibWlzc2lvbiBkZWFkbGluZSBmb3IgcG9zdC1zeW1wb3NpdW0gIA0KcHJv
Y2VlZGluZ3M8YnI+V2VkIDMxIEphbnVhcnnCoCAyMDE4IDogTm90aWZpY2F0
aW9uIG9mIGFjY2VwdGFuY2UgZm9yICANCnBvc3Qtc3ltcG9zaXVtIHByb2Nl
ZWRpbmdzPGJyPk1vbiAxMiBNYXJjaMKgwqDCoCAyMDE4IDogQ2FtZXJhLXJl
YWR5IHZlcnNpb24gIA0KZm9yIHBvc3Qtc3ltcG9zaXVtIHByb2NlZWRpbmdz
PGJyPjxicj5TdWJtaXNzaW9uICANCmRldGFpbHM8YnI+LS0tLS0tLS0tLS0t
LS0tLS0tPGJyPjxicj5Qcm9zcGVjdGl2ZSBhdXRob3JzIGFyZSBlbmNvdXJh
Z2VkIHRvICANCnN1Ym1pdCBwYXBlcnMgb3IgZXh0ZW5kZWQgYWJzdHJhY3Rz
IHRvIGJlPGJyPnB1Ymxpc2hlZCBpbiB0aGUgZHJhZnQgIA0KcHJvY2VlZGlu
Z3MgYW5kIHRvIHByZXNlbnQgdGhlbSBhdCB0aGUgc3ltcG9zaXVtLiBBbGw8
YnI+Y29udHJpYnV0aW9ucyBtdXN0ICANCmJlIHdyaXR0ZW4gaW4gRW5nbGlz
aC4gUGFwZXJzIG11c3QgdXNlIHRoZSBuZXcgQUNNIHR3bzxicj5jb2x1bW5z
ICANCmNvbmZlcmVuY2UgZm9ybWF0LCB3aGljaCBjYW4gYmUgZm91bmQgYXQ6
PGJyPjxicj48YSAgDQpocmVmPSJodHRwOi8vd3d3LmFjbS5vcmcvcHVibGlj
YXRpb25zL3Byb2NlZWRpbmdzLXRlbXBsYXRlIiAgDQp0YXJnZXQ9Il9ibGFu
ayI+aHR0cDovL3d3dy5hY20ub3JnLzx3YnI+cHVibGljYXRpb25zL3Byb2Nl
ZWRpbmdzLTx3YnI+dGVtcGxhdGU8L2E+PGJyPjxicj5Gb3IgIA0KdGhlIHBy
ZS1zeW1wb3NpdW0gcHJvY2VlZGluZ3Mgd2UgYWRvcHQgYSAmIzM5O3dlYWsm
IzM5OyBwYWdlIGxpbWl0IG9mIDEyICANCnBhZ2VzLiBGb3I8YnI+dGhlIHBv
c3Qtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHRoZSBwYWdlIGxpbWl0IG9mIDEy
IHBhZ2VzIGlzICANCmZpcm0uPGJyPjxicj5BdXRob3JzIHN1Ym1pdCB0aHJv
dWdoIEVhc3lDaGFpcjo8YnI+PGJyPjxhICANCmhyZWY9Imh0dHBzOi8vZWFz
eWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1pZmwyMDE3IiAgDQp0YXJn
ZXQ9Il9ibGFuayI+aHR0cHM6Ly9lYXN5Y2hhaXIub3JnLzx3YnI+Y29uZmVy
ZW5jZXMvP2NvbmY9aWZsMjAxNzwvYT48YnI+PGJyPlRvcGljczxicj4tLS0t
LS08YnI+PGJyPklGTCAgDQp3ZWxjb21lcyBzdWJtaXNzaW9ucyBkZXNjcmli
aW5nIHByYWN0aWNhbCBhbmQgdGhlb3JldGljYWwgd29yayBhcyB3ZWxsICAN
CmFzPGJyPnN1Ym1pc3Npb25zIGRlc2NyaWJpbmcgYXBwbGljYXRpb25zIGFu
ZCB0b29scyBpbiB0aGUgY29udGV4dCBvZiAgDQpmdW5jdGlvbmFsPGJyPnBy
b2dyYW1taW5nLiBJZiB5b3UgYXJlIG5vdCBzdXJlIHdoZXRoZXIgeW91ciB3
b3JrIGlzICANCmFwcHJvcHJpYXRlIGZvciBJRkwgMjAxNyw8YnI+cGxlYXNl
IGNvbnRhY3QgdGhlIFBDIGNoYWlyIGF0IDxhICANCmhyZWY9Im1haWx0bzpu
aWNvbGFzLnd1QGJyaXN0b2wuYWMudWsiICANCnRhcmdldD0iX2JsYW5rIj5u
aWNvbGFzLnd1QGJyaXN0b2wuYWMudWs8L2E+LiBUb3BpY3Mgb2YgaW50ZXJl
c3QgIA0KaW5jbHVkZSw8YnI+YnV0IGFyZSBub3QgbGltaXRlZCB0bzo8YnI+
PGJyPi0gbGFuZ3VhZ2UgY29uY2VwdHM8YnI+LSB0eXBlICANCnN5c3RlbXMs
IHR5cGUgY2hlY2tpbmcsIHR5cGUgaW5mZXJlbmNpbmc8YnI+LSBjb21waWxh
dGlvbiB0ZWNobmlxdWVzPGJyPi0gIA0Kc3RhZ2VkIGNvbXBpbGF0aW9uPGJy
Pi0gcnVuLXRpbWUgZnVuY3Rpb24gc3BlY2lhbGl6YXRpb248YnI+LSBydW4t
dGltZSBjb2RlICANCmdlbmVyYXRpb248YnI+LSBwYXJ0aWFsIGV2YWx1YXRp
b248YnI+LSAoYWJzdHJhY3QpIGludGVycHJldGF0aW9uPGJyPi0gIA0KbWV0
YXByb2dyYW1taW5nPGJyPi0gZ2VuZXJpYyBwcm9ncmFtbWluZzxicj4tIGF1
dG9tYXRpYyBwcm9ncmFtICANCmdlbmVyYXRpb248YnI+LSBhcnJheSBwcm9j
ZXNzaW5nPGJyPi0gY29uY3VycmVudC9wYXJhbGxlbCBwcm9ncmFtbWluZzxi
cj4tICANCmNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVjdXRpb248
YnI+LSBlbWJlZGRlZCBzeXN0ZW1zPGJyPi0gd2ViICANCmFwcGxpY2F0aW9u
czxicj4tIChlbWJlZGRlZCkgZG9tYWluIHNwZWNpZmljIGxhbmd1YWdlczxi
cj4tIHNlY3VyaXR5PGJyPi0gIA0Kbm92ZWwgbWVtb3J5IG1hbmFnZW1lbnQg
dGVjaG5pcXVlczxicj4tIHJ1bi10aW1lIHByb2ZpbGluZyBwZXJmb3JtYW5j
ZSAgDQptZWFzdXJlbWVudHM8YnI+LSBkZWJ1Z2dpbmcgYW5kIHRyYWNpbmc8
YnI+LSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUgIA0KYXJjaGl0ZWN0dXJl
czxicj4tIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFs
IHByb2dyYW1zPGJyPi0gIA0KdG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2hu
aXF1ZXM8YnI+LSAoaW5kdXN0cmlhbCkgIA0KYXBwbGljYXRpb25zPGJyPjxi
cj5QZXRlciBMYW5kaW4gUHJpemU8YnI+LS0tLS0tLS0tLS0tLS0tLS0tPGJy
Pjxicj5UaGUgIA0KUGV0ZXIgTGFuZGluIFByaXplIGlzIGF3YXJkZWQgdG8g
dGhlIGJlc3QgcGFwZXIgcHJlc2VudGVkIGF0IHRoZSAgDQpzeW1wb3NpdW08
YnI+ZXZlcnkgeWVhci4gVGhlIGhvbm9yZWQgYXJ0aWNsZSBpcyBzZWxlY3Rl
ZCBieSB0aGUgcHJvZ3JhbSAgDQpjb21taXR0ZWUgYmFzZWQgb248YnI+dGhl
IHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZvciB0aGUgZm9ybWFsIHJldmlldyAg
DQpwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhPGJyPmNhc2ggYXdhcmQg
ZXF1aXZhbGVudCB0byAxNTAgIA0KRXVyb3MuPGJyPjxicj5Qcm9ncmFtbWUg
Y29tbWl0dGVlPGJyPi0tLS0tLS0tLS0tLS0tLS0tLS08YnI+PGJyPkNoYWly
OiAgDQpOaWNvbGFzIFd1LCBVbml2ZXJzaXR5IG9mIEJyaXN0b2wsIFVLPGJy
Pjxicj4tIEtlbmljaGkgQXNhaSwgT2NoYW5vbWl6dSAgDQpVbml2ZXJzaXR5
LCBKYXBhbjxicj4tIFNhbmRyaW5lIEJsYXp5LCBVbml2ZXJzaXR5IG9mIFJl
bm5lcyAxLCBGcmFuY2U8YnI+LSAgDQpDYXJsb3MgQ2FtYXJhbywgVW5pdmVy
c2lkYWRlIEZlZGVyYWwgZGUgTWluYXMgR2VyYWlzLCBCcmF6aWw8YnI+LSBT
dGVwaGVuICANCkRvbGFuLCBVbml2ZXJzaXR5IG9mIENhbWJyaWRnZSwgVUs8
YnI+LSBKdXJyaWFhbiBIYWdlLCBVdHJlY2h0IFVuaXZlcnNpdHksICANCk5l
dGhlcmxhbmRzPGJyPi0gWXVraXlvc2hpIEthbWV5YW1hLCBVbml2ZXJzaXR5
IG9mIFRzdWt1YmEsIEphcGFuPGJyPi0gIA0KQmVuamFtaW4gTGVybmVyLCBC
cm93biBVbml2ZXJzaXR5LCBVU0E8YnI+LSBCYXMgTGlqbnNlLCBSYWRib3Vk
IFVuaXZlcnNpdHksICANCk5ldGhlcmxhbmRzPGJyPi0gR2FycmV0dCBNb3Jy
aXMsIFVuaXZlcnNpdHkgb2YgS2Fuc2FzLCBVU0E8YnI+LSBNaWd1ZWwgIA0K
UGFnYW5vLCBVbml2ZXJzaWRhZCBOYWNpb25hbCBkZSBD4oia4omlcmRvYmEs
IEFyZ2VudGluYTxicj4tIFRvbWFzIFBldHJpY2VrLCAgDQpBbGFuIFR1cmlu
ZyBJbnN0aXR1dGUsIFVLPGJyPi0gTWFjaWVqIFBpcuKImuKJpWcsIFVuaXZl
cnNpdHkgb2YgV3JvY2xhdywgIA0KUG9sYW5kPGJyPi0gRXhlcXVpZWwgUml2
YXMsIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIFJvc2FyaW8sIEFyZ2VudGlu
YTxicj4tICANCk5laWwgU2N1bHRob3JwZSwgTm90dGluZ2hhbSBUcmVudCBV
bml2ZXJzaXR5LCBVSzxicj4tIE1lbGluZGEgVG90aCwgRW90dm9zICANCkxv
cmFuZCBVbml2ZXJzaXR5LCBIdW5nYXJ5PGJyPi0gUGhpbCBUcmluZGVyLCBH
bGFzZ293IFVuaXZlcnNpdHksIFVLPGJyPi0gIA0KS2FuYWUgVHN1c2hpbWEs
IE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcywgSmFwYW48YnI+
LSBNYXJjb3MgVmllcmEsICANClVuaXZlcnNpZGFkIGRlIGxhIFJlcHVibGlj
YSwgVXJ1Z3VheTxicj4tIE1lbmcgV2FuZywgVW5pdmVyc2l0eSBvZiBLZW50
LCAgDQpVSzxicj48YnI+VmVudWU8YnI+LS0tLS08YnI+PGJyPlRoZSBJRkwg
MjAxNyB3aWxsIGJlIGhlbGQgaW4gYXNzb2NpYXRpb24gIA0Kd2l0aCB0aGUg
RGVwYXJ0bWVudCBvZjxicj5Db21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5
IG9mIEJyaXN0b2wsIFVLLiAgDQpCcmlzdG9sIGlzIGxvY2F0ZWQgaW48YnI+
U291dGggV2VzdCBFbmdsYW5kLCBhbmQgY2FuIGJlIGVhc2lseSByZWFjaGVk
IGZyb20gIA0KQnJpc3RvbCBBaXJwb3J0Ljxicj5TZWUgdGhlIHdlYnNpdGUg
Zm9yIG1vcmUgaW5mb3JtYXRpb24gb24gdGhlIHZlbnVlLjwvZGl2Pg0KPHA+
Jm5ic3A7PC9wPjxhIHN0eWxlPSdkaXNwbGF5OiBibG9jazsgbWFyZ2luOiAz
MnB4IDAgNDBweCAwOyBwYWRkaW5nOiAgDQoxMHB4OyBmb250LXNpemU6IDFl
bTsgdGV4dC1hbGlnbjogY2VudGVyOyBib3JkZXI6IDA7IGJvcmRlci10b3A6
IDFweCBzb2xpZCAgDQpncmF5OyAnIGhyZWY9J2h0dHBzOi8vZ29vLmdsLzJr
c2RSdic+cG93ZXJlZCBieSBHU00uIEZyZWUgbWFpbCBtZXJnZSBhbmQgIA0K
ZW1haWwgbWFya2V0aW5nIHNvZnR3YXJlIGZvciBHbWFpbC48L2E+DQo=

--089e082576a42089770554389232
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<br><br>Please, find below the second call for paper=
s for IFL 2017.<br>Please forward these to anyone you think may be interest=
ed.<br>Apologies for any duplicates you may receive.<br><br>best regards,<b=
r>Jurriaan Hage<br>Publicity Chair of IFL<br><br>---<br><br>IFL 2017 - CALL=
 FOR PAPERS<br>=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<br><br>29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION =
OF FUNCTIONAL LANGUAGES<br>=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<wbr>=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<wbr>=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>University of Bristol, UK<br><br>In c=
ooperation with ACM SIGPLAN<br><br>Wednesday 30 August - Friday 1 September=
, 2017<br><br><a href=3D"http://iflconference.org/" target=3D"_blank">http:=
//iflconference.org/</a><br><br>Scope<br>-----<br><br>The goal of the IFL s=
ymposia is to bring together researchers actively engaged<br>in the impleme=
ntation and application of functional and function-based<br>programming lan=
guages. IFL 2017 will be a venue for researchers to present and<br>discuss =
new ideas and concepts, work in progress, and publication-ripe results<br>r=
elated to the implementation and application of functional languages and<br=
>function-based programming.<br><br>Peer-review<br>-----------<br><br>Follo=
wing the IFL tradition, IFL 2017 will use a post-symposium review process<b=
r>to produce the formal proceedings. All participants of IFL 2017 are invit=
ed to<br>submit either a draft paper or an extended abstract describing wor=
k to be<br>presented at the symposium. At no time may work submitted to IFL=
 be<br>simultaneously submitted to other venues; submissions must adhere to=
 ACM<br>SIGPLAN&#39;s republication policy:<br><br><a href=3D"http://www.si=
gplan.org/Resources/Policies/Republication" target=3D"_blank">http://www.si=
gplan.org/<wbr>Resources/Policies/<wbr>Republication</a><br><br>The submiss=
ions will be screened by the program committee chair to make sure<br>they a=
re within the scope of IFL, and will appear in the draft proceedings<br>dis=
tributed at the symposium. Submissions appearing in the draft proceedings<b=
r>are not peer-reviewed publications. Hence, publications that appear only =
in the<br>draft proceedings are not subject to the ACM SIGPLAN republicatio=
n policy.<br>After the symposium, authors will be given the opportunity to =
incorporate the<br>feedback from discussions at the symposium and will be i=
nvited to submit a<br>revised full article for the formal review process. F=
rom the revised<br>submissions, the program committee will select papers fo=
r the formal<br>proceedings considering their correctness, novelty, origina=
lity, relevance,<br>significance, and clarity. The formal proceedings will =
appear in the<br>International Conference Proceedings Series of the ACM Dig=
ital Library.<br><br>Important dates<br>---------------<br><br>Mon 31 July=
=C2=A0=C2=A0=C2=A0=C2=A0 2017 : Submission deadline draft papers<br>Wed=C2=
=A0 2 August=C2=A0=C2=A0 2017 : Notification of acceptance for presentation=
<br>Fri=C2=A0 4 August=C2=A0=C2=A0 2017 : Early registration deadline<br>Fr=
i 11 August=C2=A0=C2=A0 2017 : Late registration deadline<br>Mon 21 August=
=C2=A0=C2=A0 2017 : Submission deadline for pre-symposium proceedings<br>We=
d 30 August=C2=A0=C2=A0 2017 - Fri 1 September 2017 : IFL Symposium<br>Mon=
=C2=A0 4 December 2017 : Submission deadline for post-symposium proceedings=
<br>Wed 31 January=C2=A0 2018 : Notification of acceptance for post-symposi=
um proceedings<br>Mon 12 March=C2=A0=C2=A0=C2=A0 2018 : Camera-ready versio=
n for post-symposium proceedings<br><br>Submission details<br>-------------=
-----<br><br>Prospective authors are encouraged to submit papers or extende=
d abstracts to be<br>published in the draft proceedings and to present them=
 at the symposium. All<br>contributions must be written in English. Papers =
must use the new ACM two<br>columns conference format, which can be found a=
t:<br><br><a href=3D"http://www.acm.org/publications/proceedings-template" =
target=3D"_blank">http://www.acm.org/<wbr>publications/proceedings-<wbr>tem=
plate</a><br><br>For the pre-symposium proceedings we adopt a &#39;weak&#39=
; page limit of 12 pages. For<br>the post-symposium proceedings the page li=
mit of 12 pages is firm.<br><br>Authors submit through EasyChair:<br><br><a=
 href=3D"https://easychair.org/conferences/?conf=3Difl2017" target=3D"_blan=
k">https://easychair.org/<wbr>conferences/?conf=3Difl2017</a><br><br>Topics=
<br>------<br><br>IFL welcomes submissions describing practical and theoret=
ical work as well as<br>submissions describing applications and tools in th=
e context of functional<br>programming. If you are not sure whether your wo=
rk is appropriate for IFL 2017,<br>please contact the PC chair at <a href=
=3D"mailto:nicolas.wu@bristol.ac.uk" target=3D"_blank">nicolas.wu@bristol.a=
c.uk</a>. Topics of interest include,<br>but are not limited to:<br><br>- l=
anguage concepts<br>- type systems, type checking, type inferencing<br>- co=
mpilation techniques<br>- staged compilation<br>- run-time function special=
ization<br>- run-time code generation<br>- partial evaluation<br>- (abstrac=
t) interpretation<br>- metaprogramming<br>- generic programming<br>- automa=
tic program generation<br>- array processing<br>- concurrent/parallel progr=
amming<br>- concurrent/parallel program execution<br>- embedded systems<br>=
- web applications<br>- (embedded) domain specific languages<br>- security<=
br>- novel memory management techniques<br>- run-time profiling performance=
 measurements<br>- debugging and tracing<br>- virtual/abstract machine arch=
itectures<br>- validation, verification of functional programs<br>- tools a=
nd programming techniques<br>- (industrial) applications<br><br>Peter Landi=
n Prize<br>------------------<br><br>The Peter Landin Prize is awarded to t=
he best paper presented at the symposium<br>every year. The honored article=
 is selected by the program committee based on<br>the submissions received =
for the formal review process. The prize carries a<br>cash award equivalent=
 to 150 Euros.<br><br>Programme committee<br>-------------------<br><br>Cha=
ir: Nicolas Wu, University of Bristol, UK<br><br>- Kenichi Asai, Ochanomizu=
 University, Japan<br>- Sandrine Blazy, University of Rennes 1, France<br>-=
 Carlos Camarao, Universidade Federal de Minas Gerais, Brazil<br>- Stephen =
Dolan, University of Cambridge, UK<br>- Jurriaan Hage, Utrecht University, =
Netherlands<br>- Yukiyoshi Kameyama, University of Tsukuba, Japan<br>- Benj=
amin Lerner, Brown University, USA<br>- Bas Lijnse, Radboud University, Net=
herlands<br>- Garrett Morris, University of Kansas, USA<br>- Miguel Pagano,=
 Universidad Nacional de C=E2=88=9A=E2=89=A5rdoba, Argentina<br>- Tomas Pet=
ricek, Alan Turing Institute, UK<br>- Maciej Pir=E2=88=9A=E2=89=A5g, Univer=
sity of Wroclaw, Poland<br>- Exequiel Rivas, Universidad Nacional de Rosari=
o, Argentina<br>- Neil Sculthorpe, Nottingham Trent University, UK<br>- Mel=
inda Toth, Eotvos Lorand University, Hungary<br>- Phil Trinder, Glasgow Uni=
versity, UK<br>- Kanae Tsushima, National Institute of Informatics, Japan<b=
r>- Marcos Viera, Universidad de la Republica, Uruguay<br>- Meng Wang, Univ=
ersity of Kent, UK<br><br>Venue<br>-----<br><br>The IFL 2017 will be held i=
n association with the Department of<br>Computer Science, University of Bri=
stol, UK. Bristol is located in<br>South West England, and can be easily re=
ached from Bristol Airport.<br>See the website for more information on the =
venue.</div>
<p>&nbsp;</p><a style=3D'display: block; margin: 32px 0 40px 0; padding: 10=
px; font-size: 1em; text-align: center; border: 0; border-top: 1px solid gr=
ay; ' href=3D'https://goo.gl/2ksdRv'>powered by GSM. Free mail merge and em=
ail marketing software for Gmail.</a>=

--089e082576a42089770554389232--