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 031A27FE44 for ; Tue, 5 Jul 2016 12:17:13 +0200 (CEST) IronPort-PHdr: 9a23:4wEChBdTgdP56EqGbembFAdWlGMj4u6mDksu8pMizoh2WeGdxc67bB7h7PlgxGXEQZ/co6odzbGH6+a6BSdau96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbrusMeJKyxzxxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqBwDTI8Mmlz6te4mwPESF6X+3EYU24XjgtJDQzt4xTzX5O3uSz/5bk14zWTIcCjFeN8Yj+l9ao+EBI= 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-qk0-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.220.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.220.198 as permitted sender) identity=mailfrom; client-ip=209.85.220.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-qk0-f198.google.com) identity=helo; client-ip=209.85.220.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-qk0-f198.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzAQCSiHtXdMbcVdFdhBR8pkGHTo0pIoUsSh6BGzwQAQEBAQEBAQERAQoLDAgfMYIygjMLBh0BGwoBAQwGAxJHAgQhEQEFATUJGYdzAQMXDppEggeBMT4xizuBaoJaBYV/ChknDVKDPAsBAQEBARkCBhCMHYJjAVCCHAstgloFmROGCYg+gWqEVohqhkiGQYFCMIEPNYIlDyaBNTwyAYc0AQEkB4EXAQEB X-IPAS-Result: A0DzAQCSiHtXdMbcVdFdhBR8pkGHTo0pIoUsSh6BGzwQAQEBAQEBAQERAQoLDAgfMYIygjMLBh0BGwoBAQwGAxJHAgQhEQEFATUJGYdzAQMXDppEggeBMT4xizuBaoJaBYV/ChknDVKDPAsBAQEBARkCBhCMHYJjAVCCHAstgloFmROGCYg+gWqEVohqhkiGQYFCMIEPNYIlDyaBNTwyAYc0AQEkB4EXAQEB X-IronPort-AV: E=Sophos;i="5.26,579,1459807200"; d="scan'208,217";a="225628684" Received: from mail-qk0-f198.google.com ([209.85.220.198]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Jul 2016 12:17:11 +0200 Received: by mail-qk0-f198.google.com with SMTP id r68so214150474qka.3 for ; Tue, 05 Jul 2016 03:17:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:message-id:date:subject:from:to; bh=gpofFVo9E0ZbyUnjoHAMCk6cigHfI2qk1gHcbguvNP8=; b=NiJD4z63srpDsSJojXGgUUCrDTiz8dADf6nHNGS8FI0cdAdOhD/LkkDSBoMLZznrUi 7ucCLJAHkWj7n5pPBGjWA9oB9ijUwkIFdDWEB/DUF9iP2qG8iFJDJPGatqXBxEKOeuk9 03xZaqFq1rIlVgnIDbwMlKDiR/vth4+mZxG2BDaPl7rccoGuRdwQMOuRAidW34agPUsZ TcygmDSSk3qJ+lrj+lDa+k5yUf+EK7LwARZFk38NO0X/e5Qe3cycGTpZaLX6JqJiKlT4 k+Ez6bHYHqxyZMCkrO8sxiq2cwYY3FOiuAID36PcWt4QWghDMLp06rqIZjMRXAxImO8d gCkQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:message-id:date:subject:from:to; bh=gpofFVo9E0ZbyUnjoHAMCk6cigHfI2qk1gHcbguvNP8=; b=WOyHyzYwswN9Q8yGVt97lelzfbIwMxdDo/QfIdGH2wWjXZWNI/ULpLCO8ZPmw0i2i7 tpyKsQpKF3R1ViXwcjodvpkoJhAMPPXuxI602T6HnxsK6luz6TE8XwbXXYy4P4hXaPiX ktdsqSLPE3PtylR7OciwJ4j+uK+jtZRxLbe9E9U7hIDQPHwFfLsJRx65gNlNmzc0S1R3 3yD9LeXE9oUHTgQLTWl0wK1L5ioEjg3BayawjjU0a8Fm6MHcV0dAmFLz3lCLkKSjkSNE 2Qon6sC+32AnyPFx/6VNUJV7dtnUVGuOYtVwEkgtPPPU0x0Ws189vsoc3rcUCpH0fzpg RPVA== X-Gm-Message-State: ALyK8tKjzkin+EV9vapw/EqnD4lDG79go6SN9RvihZ+mqotiTOsbAuqfkwFAje0+IWYYLq+qVhjCdwQiETiFig== MIME-Version: 1.0 X-Received: by 10.129.51.149 with SMTP id z143mr35382907ywz.55.1467713830337; Tue, 05 Jul 2016 03:17:10 -0700 (PDT) Message-ID: <001a114177f87d48c80536e0c174@google.com> Date: Tue, 05 Jul 2016 10:17:10 +0000 From: publicityifl@gmail.com To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114177f87d48a90536e0c171 Subject: [Caml-list] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages) --001a114177f87d48a90536e0c171 Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes Content-Transfer-Encoding: base64 SGVsbG8sDQoNClBsZWFzZSwgZmluZCBiZWxvdyB0aGUgc2Vjb25kIGNhbGwg Zm9yIHBhcGVycyBmb3IgSUZMIDIwMTYuDQpQbGVhc2UgZm9yd2FyZCB0aGVz ZSB0byBhbnlvbmUgeW91IHRoaW5rIG1heSBiZSBpbnRlcmVzdGVkLg0KQXBv bG9naWVzIGZvciBhbnkgZHVwbGljYXRlcyB5b3UgbWF5IHJlY2VpdmUuDQoN CmJlc3QgcmVnYXJkcywNCkp1cnJpYWFuIEhhZ2UNClB1YmxpY2l0eSBDaGFp ciBvZiBJRkwNCg0KLS0tDQoNCklGTCAyMDE2IC0gMm5kIENhbGwgZm9yIHBh cGVycw0KDQoyOHRoIFNZTVBPU0lVTSBPTiBJTVBMRU1FTlRBVElPTiBBTkQg QVBQTElDQVRJT04gT0YgRlVOQ1RJT05BTCBMQU5HVUFHRVMgLQ0KSUZMIDIw MTYNCg0KS1UgTGV1dmVuLCBCZWxnaXVtDQoNCkluIGNvb3BlcmF0aW9uIHdp dGggQUNNIFNJR1BMQU4NCg0KQXVndXN0IDMxIC0gU2VwdGVtYmVyIDIsIDIw MTYNCg0KaHR0cHM6Ly9kdGFpLmNzLmt1bGV1dmVuLmJlL2V2ZW50cy9pZmwy MDE2Lw0KDQpTY29wZQ0KDQpUaGUgZ29hbCBvZiB0aGUgSUZMIHN5bXBvc2lh IGlzIHRvIGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGFjdGl2ZWx5DQpl bmdhZ2VkDQppbiB0aGUgaW1wbGVtZW50YXRpb24gYW5kIGFwcGxpY2F0aW9u IG9mIGZ1bmN0aW9uYWwgYW5kIGZ1bmN0aW9uLWJhc2VkDQpwcm9ncmFtbWlu ZyBsYW5ndWFnZXMuIElGTCAyMDE2IHdpbGwgYmUgYSB2ZW51ZSBmb3IgcmVz ZWFyY2hlcnMgdG8gcHJlc2VudA0KYW5kDQpkaXNjdXNzIG5ldyBpZGVhcyBh bmQgY29uY2VwdHMsIHdvcmsgaW4gcHJvZ3Jlc3MsIGFuZCBwdWJsaWNhdGlv bi1yaXBlDQpyZXN1bHRzDQpyZWxhdGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlv biBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBsYW5ndWFnZXMgYW5k DQpmdW5jdGlvbi1iYXNlZCBwcm9ncmFtbWluZy4NCg0KUGVlci1yZXZpZXcN Cg0KRm9sbG93aW5nIHRoZSBJRkwgdHJhZGl0aW9uLCBJRkwgMjAxNiB3aWxs IHVzZSBhIHBvc3Qtc3ltcG9zaXVtIHJldmlldw0KcHJvY2Vzcw0KdG8gcHJv ZHVjZSB0aGUgZm9ybWFsIHByb2NlZWRpbmdzLiBBbGwgcGFydGljaXBhbnRz IG9mIElGTCAyMDE2IGFyZSBpbnZpdGVkDQp0bw0Kc3VibWl0IGVpdGhlciBh IGRyYWZ0IHBhcGVyIG9yIGFuIGV4dGVuZGVkIGFic3RyYWN0IGRlc2NyaWJp bmcgd29yayB0byBiZQ0KcHJlc2VudGVkIGF0IHRoZSBzeW1wb3NpdW0uIEF0 IG5vIHRpbWUgbWF5IHdvcmsgc3VibWl0dGVkIHRvIElGTCBiZQ0Kc2ltdWx0 YW5lb3VzbHkgc3VibWl0dGVkIHRvIG90aGVyIHZlbnVlczsgc3VibWlzc2lv bnMgbXVzdCBhZGhlcmUgdG8gQUNNDQpTSUdQTEFOJ3MgcmVwdWJsaWNhdGlv biBwb2xpY3k6DQoNCmh0dHA6Ly93d3cuc2lncGxhbi5vcmcvUmVzb3VyY2Vz L1BvbGljaWVzL1JlcHVibGljYXRpb24NCg0KVGhlIHN1Ym1pc3Npb25zIHdp bGwgYmUgc2NyZWVuZWQgYnkgdGhlIHByb2dyYW0gY29tbWl0dGVlIGNoYWly IHRvIG1ha2Ugc3VyZQ0KdGhleSBhcmUgd2l0aGluIHRoZSBzY29wZSBvZiBJ RkwsIGFuZCB3aWxsIGFwcGVhciBpbiB0aGUgZHJhZnQgcHJvY2VlZGluZ3MN CmRpc3RyaWJ1dGVkIGF0IHRoZSBzeW1wb3NpdW0uIFN1Ym1pc3Npb25zIGFw cGVhcmluZyBpbiB0aGUgZHJhZnQgcHJvY2VlZGluZ3MNCmFyZSBub3QgcGVl ci1yZXZpZXdlZCBwdWJsaWNhdGlvbnMuIEhlbmNlLCBwdWJsaWNhdGlvbnMg dGhhdCBhcHBlYXIgb25seSBpbg0KdGhlDQpkcmFmdCBwcm9jZWVkaW5ncyBh cmUgbm90IHN1YmplY3QgdG8gdGhlIEFDTSBTSUdQTEFOIHJlcHVibGljYXRp b24gcG9saWN5Lg0KQWZ0ZXIgdGhlIHN5bXBvc2l1bSwgYXV0aG9ycyB3aWxs IGJlIGdpdmVuIHRoZSBvcHBvcnR1bml0eSB0byBpbmNvcnBvcmF0ZQ0KdGhl DQpmZWVkYmFjayBmcm9tIGRpc2N1c3Npb25zIGF0IHRoZSBzeW1wb3NpdW0g YW5kIHdpbGwgYmUgaW52aXRlZCB0byBzdWJtaXQgYQ0KcmV2aXNlZCBmdWxs IGFydGljbGUgZm9yIHRoZSBmb3JtYWwgcmV2aWV3IHByb2Nlc3MuIEZyb20g dGhlIHJldmlzZWQNCnN1Ym1pc3Npb25zLCB0aGUgcHJvZ3JhbSBjb21taXR0 ZWUgd2lsbCBzZWxlY3QgcGFwZXJzIGZvciB0aGUgZm9ybWFsDQpwcm9jZWVk aW5ncyBjb25zaWRlcmluZyB0aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwg b3JpZ2luYWxpdHksIHJlbGV2YW5jZSwNCnNpZ25pZmljYW5jZSwgYW5kIGNs YXJpdHkuIFRoZSBmb3JtYWwgcHJvY2VlZGluZ3Mgd2lsbCBhcHBlYXIgaW4g dGhlDQpJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2UgUHJvY2VlZGluZ3MgU2Vy aWVzIG9mIHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5Lg0KDQpJbXBvcnRhbnQg ZGF0ZXMNCg0KQXVndXN0IDE6IFN1Ym1pc3Npb24gZGVhZGxpbmUgZHJhZnQg cGFwZXJzDQpBdWd1c3QgMzogTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2Ug Zm9yIHByZXNlbnRhdGlvbg0KQXVndXN0IDU6IEVhcmx5IHJlZ2lzdHJhdGlv biBkZWFkbGluZQ0KQXVndXN0IDEyOiBMYXRlIHJlZ2lzdHJhdGlvbiBkZWFk bGluZQ0KQXVndXN0IDIyOiBTdWJtaXNzaW9uIGRlYWRsaW5lIGZvciBwcmUt c3ltcG9zaXVtIHByb2NlZWRpbmdzDQpBdWd1c3QgMzEgLSBTZXB0ZW1iZXIg MjogSUZMIFN5bXBvc2l1bQ0KRGVjZW1iZXIgMTogU3VibWlzc2lvbiBkZWFk bGluZSBmb3IgcG9zdC1zeW1wb3NpdW0gcHJvY2VlZGluZ3MNCkphbnVhcnkg MzEsIDIwMTc6IE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIGZvciBwb3N0 LXN5bXBvc2l1bSBwcm9jZWVkaW5ncw0KTWFyY2ggMTUsIDIwMTc6IENhbWVy YS1yZWFkeSB2ZXJzaW9uIGZvciBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5n cw0KDQpTdWJtaXNzaW9uIGRldGFpbHMNCg0KUHJvc3BlY3RpdmUgYXV0aG9y cyBhcmUgZW5jb3VyYWdlZCB0byBzdWJtaXQgcGFwZXJzIG9yIGV4dGVuZGVk IGFic3RyYWN0cw0KdG8gYmUNCnB1Ymxpc2hlZCBpbiB0aGUgZHJhZnQgcHJv Y2VlZGluZ3MgYW5kIHRvIHByZXNlbnQgdGhlbSBhdCB0aGUgc3ltcG9zaXVt LiBBbGwNCmNvbnRyaWJ1dGlvbnMgbXVzdCBiZSB3cml0dGVuIGluIEVuZ2xp c2guIFBhcGVycyBtdXN0IHVzZSB0aGUgbmV3IEFDTSB0d28NCmNvbHVtbnMg Y29uZmVyZW5jZSBmb3JtYXQsIHdoaWNoIGNhbiBiZSBmb3VuZCBhdDoNCg0K aHR0cDovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wcm9jZWVkaW5ncy10 ZW1wbGF0ZQ0KDQpGb3IgdGhlIHByZS1zeW1wb3NpdW0gcHJvY2VlZGluZ3Mg d2UgYWRvcHQgYSAnd2VhaycgcGFnZSBsaW1pdCBvZiAxMiBwYWdlcy4NCkZv cg0KdGhlIHBvc3Qtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHRoZSBwYWdlIGxp bWl0IG9mIDEyIHBhZ2VzIGlzIGZpcm0uDQoNCkF1dGhvcnMgc3VibWl0IHRo cm91Z2ggRWFzeUNoYWlyOg0KDQpodHRwczovL2Vhc3ljaGFpci5vcmcvY29u ZmVyZW5jZXMvP2NvbmY9aWZsMjAxNg0KDQpUb3BpY3MNCg0KSUZMIHdlbGNv bWVzIHN1Ym1pc3Npb25zIGRlc2NyaWJpbmcgcHJhY3RpY2FsIGFuZCB0aGVv cmV0aWNhbCB3b3JrIGFzIHdlbGwNCmFzDQpzdWJtaXNzaW9ucyBkZXNjcmli aW5nIGFwcGxpY2F0aW9ucyBhbmQgdG9vbHMgaW4gdGhlIGNvbnRleHQgb2Yg ZnVuY3Rpb25hbA0KcHJvZ3JhbW1pbmcuIElmIHlvdSBhcmUgbm90IHN1cmUg d2hldGhlciB5b3VyIHdvcmsgaXMgYXBwcm9wcmlhdGUgZm9yIElGTA0KMjAx NiwNCnBsZWFzZSBjb250YWN0IHRoZSBQQyBjaGFpciBhdCB0b20uc2Nocmlq dmVyc0Bjcy5rdWxldXZlbi5iZS4gVG9waWNzIG9mDQppbnRlcmVzdCBpbmNs dWRlLA0KYnV0IGFyZSBub3QgbGltaXRlZCB0bzoNCg0KLSBsYW5ndWFnZSBj b25jZXB0cw0KLSB0eXBlIHN5c3RlbXMsIHR5cGUgY2hlY2tpbmcsIHR5cGUg aW5mZXJlbmNpbmcNCi0gY29tcGlsYXRpb24gdGVjaG5pcXVlcw0KLSBzdGFn ZWQgY29tcGlsYXRpb24NCi0gcnVuLXRpbWUgZnVuY3Rpb24gc3BlY2lhbGl6 YXRpb24NCi0gcnVuLXRpbWUgY29kZSBnZW5lcmF0aW9uDQotIHBhcnRpYWwg ZXZhbHVhdGlvbg0KLSAoYWJzdHJhY3QpIGludGVycHJldGF0aW9uDQotIG1l dGFwcm9ncmFtbWluZw0KLSBnZW5lcmljIHByb2dyYW1taW5nDQotIGF1dG9t YXRpYyBwcm9ncmFtIGdlbmVyYXRpb24NCi0gYXJyYXkgcHJvY2Vzc2luZw0K LSBjb25jdXJyZW50L3BhcmFsbGVsIHByb2dyYW1taW5nDQotIGNvbmN1cnJl bnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVjdXRpb24NCi0gZW1iZWRkZWQgc3lz dGVtcw0KLSB3ZWIgYXBwbGljYXRpb25zDQotIChlbWJlZGRlZCkgZG9tYWlu IHNwZWNpZmljIGxhbmd1YWdlcw0KLSBzZWN1cml0eQ0KLSBub3ZlbCBtZW1v cnkgbWFuYWdlbWVudCB0ZWNobmlxdWVzDQotIHJ1bi10aW1lIHByb2ZpbGlu ZyBwZXJmb3JtYW5jZSBtZWFzdXJlbWVudHMNCi0gZGVidWdnaW5nIGFuZCB0 cmFjaW5nDQotIHZpcnR1YWwvYWJzdHJhY3QgbWFjaGluZSBhcmNoaXRlY3R1 cmVzDQotIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFs IHByb2dyYW1zDQotIHRvb2xzIGFuZCBwcm9ncmFtbWluZyB0ZWNobmlxdWVz DQotIChpbmR1c3RyaWFsKSBhcHBsaWNhdGlvbnMNCg0KUGV0ZXIgTGFuZGlu IFByaXplDQoNClRoZSBQZXRlciBMYW5kaW4gUHJpemUgaXMgYXdhcmRlZCB0 byB0aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlDQpzeW1wb3NpdW0N CmV2ZXJ5IHllYXIuIFRoZSBob25vcmVkIGFydGljbGUgaXMgc2VsZWN0ZWQg YnkgdGhlIHByb2dyYW0gY29tbWl0dGVlIGJhc2VkDQpvbg0KdGhlIHN1Ym1p c3Npb25zIHJlY2VpdmVkIGZvciB0aGUgZm9ybWFsIHJldmlldyBwcm9jZXNz LiBUaGUgcHJpemUgY2FycmllcyBhDQpjYXNoIGF3YXJkIGVxdWl2YWxlbnQg dG8gMTUwIEV1cm9zLg0KDQpQcm9ncmFtbWUgY29tbWl0dGVlDQoNCkNoYWly OiBUb20gU2NocmlqdmVycywgS1UgTGV1dmVuLCBCZWxnaXVtDQoNCi0gU2Fu ZHJpbmUgQmxhenksIFVuaXZlcnNpdHkgb2YgUmVubmVzIDEsIEZyYW5jZQ0K LSBMYXVyYSBDYXN0cm8sIFVuaXZlcnNpdHkgb2YgQSBDb3J1w7FhLCBTcGFp bg0KLSBKYWNxdWVzLCBHYXJyaWd1ZSwgTmFnb3lhIFVuaXZlcnNpdHksIEph cGFuDQotIENsZW1lbnMgR3JlbGNrLCBVbml2ZXJzaXR5IG9mIEFtc3RlcmRh bSwgVGhlIE5ldGhlcmxhbmRzDQotIFpvbHRhbiBIb3J2YXRoLCBFb3R2b3Mg TG9yYW5kIFVuaXZlcnNpdHksIEh1bmdhcnkNCi0gSmFuIE1hcnRpbiBKYW5z ZW4sIE5ldGhlcmxhbmRzIERlZmVuY2UgQWNhZGVteSwgVGhlIE5ldGhlcmxh bmRzDQotIE1hdXJvIEphc2tlbGlvZmYsIENJRkFTSVMvVW5pdmVyc2lkYWQg TmFjaW9uYWwgZGUgUm9zYXJpbywgQXJnZW50aW5hDQotIFBhdHJpY2lhIEpv aGFubiwgQXBwYWxhY2hpYW4gU3RhdGUgVW5pdmVyc2l0eSwgVVNBDQotIFdv bGZyYW0gS2FobCwgTWNNYXN0ZXIgVW5pdmVyc2l0eSwgQ2FuYWRhDQotIFBp ZXRlciBLb29wbWFuLCBSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4sIFRo ZSBOZXRoZXJsYW5kcw0KLSBTaGluLUNoZW5nIE11LCBBY2FkZW1pYSBTaW5p Y2EsIFRhaXdhbg0KLSBIZW5yaWsgTmlsc3NvbiwgVW5pdmVyc2l0eSBvZiBO b3R0aW5naGFtLCBVSw0KLSBOaWtvbGFvcyBQYXBhc3B5cm91LCBOYXRpb25h bCBUZWNobmljYWwgVW5pdmVyc2l0eSBvZiBBdGhlbnMsIEdyZWVjZQ0KLSBB dHplIHZhbiBkZXIgUGxvZWcsIENoYWxtZXJzIFVuaXZlcnNpdHkgb2YgVGVj aG5vbG9neSwgU3dlZGVuDQotIE1hdGlqYSBQcmV0bmFyLCBVbml2ZXJzaXR5 IG9mIExqdWJsamFuYSwgU2xvdmVuaWENCi0gVGlsbG1hbm4gUmVuZGVsLCBV bml2ZXJzaXR5IG9mIFTDvGJpbmdlbiwgR2VybWFueQ0KLSBDaHJpc3RvcGhl IFNjaG9sbGllcnMsIFVuaXZlcnNpdGVpdCBHZW50LCBCZWxnaXVtDQotIFN2 ZW4tQm9kbyBTY2hvbHosIEhlcmlvdC1XYXR0IFVuaXZlcnNpdHksIFVLDQot IE1lbGluZGEgVG90aCwgRW90dm9zIExvcmFuZCBVbml2ZXJzaXR5LCBIdW5n YXJ5DQotIE1lbmcgV2FuZywgVW5pdmVyc2l0eSBvZiBLZW50LCBVSw0KLSBK ZXJlbXkgWWFsbG9wLCBVbml2ZXJzaXR5IG9mIENhbWJyaWRnZSwgVUsNCg0K VmVudWUNCg0KVGhlIDI4dGggSUZMIHdpbGwgYmUgaGVsZCBpbiBhc3NvY2lh dGlvbiB3aXRoIHRoZSBGYWN1bHR5IG9mIENvbXB1dGVyDQpTY2llbmNlLA0K S1UgTGV1dmVuLCBCZWxnaXVtLiBMZXV2ZW4gaXMgY2VudHJhbGx5IGxvY2F0 ZWQgaW4gQmVsZ2l1bSBhbmQgY2FuIGJlIGVhc2lseQ0KcmVhY2hlZCBmcm9t IEJydXNzZWxzIEFpcnBvcnQgYnkgdHJhaW4gKH4xNSBtaW51dGVzKS4gVGhl IHZlbnVlIGluIHRoZQ0KQXJlbmJlcmcgQ2FzdGxlIHBhcmsgY2FuIGJlIHJl YWNoZWQgYnkgZm9vdCwgYnVzIG9yIHRheGkgZnJvbSB0aGUgY2l0eQ0KY2Vu dGVyLg0KU2VlIHRoZSB3ZWJzaXRlIGZvciBtb3JlIGluZm9ybWF0aW9uIG9u IHRoZSB2ZW51ZS4NCg0K --001a114177f87d48a90536e0c171 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the second call for paper= s for IFL 2016.
Please forward these to anyone you think may be interest= ed.
Apologies for any duplicates you may receive.

best regards,Jurriaan Hage
Publicity Chair of IFL

---

IFL 2016 - 2nd = Call for papers

28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF = FUNCTIONAL LANGUAGES - IFL 2016

KU Leuven, Belgium

In coopera= tion with ACM SIGPLAN

August 31 - September 2, 2016

https://dtai.cs.kuleuven.be/events/ifl2016/

Scope

The goal of the IFL symposia is = to bring together researchers actively engaged
in the implementation and= application of functional and function-based
programming languages. IFL= 2016 will be a venue for researchers to present and
discuss new ideas a= nd concepts, work in progress, and publication-ripe results
related to t= he implementation and application of functional languages and
function-b= ased programming.

Peer-review

Following the IFL tradition, IF= L 2016 will use a post-symposium review process
to produce the formal pr= oceedings. All participants of IFL 2016 are invited to
submit either a d= raft paper or an extended abstract describing work to be
presented at th= e symposium. At no time may work submitted to IFL be
simultaneously subm= itted to other venues; submissions must adhere to ACM
SIGPLAN's repu= blication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program= committee chair to make sure
they are within the scope of IFL, and will= appear in the draft proceedings
distributed at the symposium. Submissio= ns appearing in the draft proceedings
are not peer-reviewed publications= . Hence, publications that appear only in the
draft proceedings are not = subject to the ACM SIGPLAN republication policy.
After the symposium, au= thors will be given the opportunity to incorporate the
feedback from dis= cussions at the symposium and will be invited to submit a
revised full a= rticle for the formal review process. From the revised
submissions, the = program committee will select papers for the formal
proceedings consider= ing their correctness, novelty, originality, relevance,
significance, an= d clarity. The formal proceedings will appear in the
International Confe= rence Proceedings Series of the ACM Digital Library.

Important dates=

August 1: Submission deadline draft papers
August 3: Notificatio= n of acceptance for presentation
August 5: Early registration deadlineAugust 12: Late registration deadline
August 22: Submission deadline f= or pre-symposium proceedings
August 31 - September 2: IFL Symposium
D= ecember 1: Submission deadline for post-symposium proceedings
January 31= , 2017: Notification of acceptance for post-symposium proceedings
March = 15, 2017: Camera-ready version for post-symposium proceedings

Submis= sion details

Prospective authors are encouraged to submit papers or = extended abstracts to be
published in the draft proceedings and to prese= nt 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 at:

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

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/conferences/?conf=3Difl2016

Topics

IFL welcomes = submissions describing practical and theoretical work as well as
submiss= ions describing applications and tools in the context of functional
prog= ramming. If you are not sure whether your work is appropriate for IFL 2016,=
please contact the PC chair at tom.schrijvers@cs.kuleuven.be. Topics of int= erest include,
but are not limited to:

- language concepts
- t= ype systems, type checking, type inferencing
- compilation techniques- staged compilation
- run-time function specialization
- run-time c= ode generation
- partial evaluation
- (abstract) interpretation
- = metaprogramming
- generic programming
- automatic program generation<= br>- array processing
- concurrent/parallel programming
- concurrent/= parallel program execution
- embedded systems
- web applications
-= (embedded) domain specific languages
- security
- novel memory manag= ement techniques
- run-time profiling performance measurements
- debu= gging and tracing
- virtual/abstract machine architectures
- validati= on, verification of functional programs
- tools and programming techniqu= es
- (industrial) applications

Peter Landin Prize

The Pete= r Landin Prize is awarded to the best paper presented at the symposium
e= very year. The honored article is selected by the program committee based o= n
the submissions received for the formal review process. The prize carr= ies a
cash award equivalent to 150 Euros.

Programme committee
=
Chair: Tom Schrijvers, KU Leuven, Belgium

- Sandrine Blazy, Univ= ersity of Rennes 1, France
- Laura Castro, University of A Coru=C3=B1a,= Spain
- Jacques, Garrigue, Nagoya University, Japan
- Clemens Grelck= , University of Amsterdam, The Netherlands
- Zoltan Horvath, Eotvos Lora= nd University, Hungary
- Jan Martin Jansen, Netherlands Defence Academy,= The Netherlands
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Ros= ario, Argentina
- Patricia Johann, Appalachian State University, USA
= - Wolfram Kahl, McMaster University, Canada
- Pieter Koopman, Radboud U= niversity Nijmegen, The Netherlands
- Shin-Cheng Mu, Academia Sinica, Ta= iwan
- Henrik Nilsson, University of Nottingham, UK
- Nikolaos Papasp= yrou, National Technical University of Athens, Greece
- Atze van der Plo= eg, Chalmers University of Technology, Sweden
- Matija Pretnar, Universi= ty of Ljubljana, Slovenia
- Tillmann Rendel, University of T=C3=BCbingen= , Germany
- Christophe Scholliers, Universiteit Gent, Belgium
- Sven-= Bodo Scholz, Heriot-Watt University, UK
- Melinda Toth, Eotvos Lorand Un= iversity, Hungary
- Meng Wang, University of Kent, UK
- Jeremy Yallop= , University of Cambridge, UK

Venue

The 28th IFL will be held= in association with the Faculty of Computer Science,
KU Leuven, Belgium= . Leuven is centrally located in Belgium and can be easily
reached from = Brussels Airport by train (~15 minutes). The venue in the
Arenberg Castl= e park can be reached by foot, bus or taxi from the city center.
See the= website for more information on the venue.

--001a114177f87d48a90536e0c171--