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 7C9A47FC06 for ; Tue, 24 May 2016 21:14:01 +0200 (CEST) IronPort-PHdr: 9a23:eWbY9xOuy3DlpyKmZGgl6mtUPXoX/o7sNwtQ0KIMzox0KP79rarrMEGX3/hxlliBBdydsKIVzbaP+Pm7AiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbzrsMSIOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JSngclhtDAhTU7R/+dpj0uyr+8OF63XrJdfbqRKw5DGzxp5xgTwXl3X8K 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-yw0-f197.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.161.197; 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.161.197 as permitted sender) identity=mailfrom; client-ip=209.85.161.197; 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-yw0-f197.google.com) identity=helo; client-ip=209.85.161.197; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-yw0-f197.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AuBACPp0RXcsWhVdFcg1U4fac2hmdSjRkXAQqFJUoegRk8EAEBAQEBAQEBEQEKCwwIIS+CLYIuCwYdARsKAQEMBgMSA0QCBCERAQUBNQkZh3IBAxcOlHaNO4IHgTE+MYs7gWqCWAWIEQoZJw1Sg1cLAQEBAQEZAgYQjByCYgFQghwLLROCRgWYN4YAiCCBaYRPiGSGJIYogUEwgQ83gXctCw8lgTU8MgGISAEBHgeBFwEBAQ X-IPAS-Result: A0AuBACPp0RXcsWhVdFcg1U4fac2hmdSjRkXAQqFJUoegRk8EAEBAQEBAQEBEQEKCwwIIS+CLYIuCwYdARsKAQEMBgMSA0QCBCERAQUBNQkZh3IBAxcOlHaNO4IHgTE+MYs7gWqCWAWIEQoZJw1Sg1cLAQEBAQEZAgYQjByCYgFQghwLLROCRgWYN4YAiCCBaYRPiGSGJIYogUEwgQ83gXctCw8lgTU8MgGISAEBHgeBFwEBAQ X-IronPort-AV: E=Sophos;i="5.26,360,1459807200"; d="scan'208,217";a="178881674" Received: from mail-yw0-f197.google.com ([209.85.161.197]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 May 2016 21:14:00 +0200 Received: by mail-yw0-f197.google.com with SMTP id r185so58524954ywf.3 for ; Tue, 24 May 2016 12:14:00 -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=6defAfgJVZQ52FOw7T5bLYSg1uCRyn/EdMWXZhr1CWQ=; b=lW4xPcPiRY1fX9rWF1wBUk92KhGpZIYMQ05WmzdKl9s9jguCobaw1W9t/aB5+IfB3B VKnTvlT0b+ifnPABj1enBKPXqTDfgjh1i288KqWW2fq3Dvn5X15SIQTHZmeDcr7XBTF3 ftruDlYWHpPx9RqPLfENTRvJc3v0Q3bkZ9/v10FTv2/mqBW0P0qruAiiwg0DCrgJiRW7 IRR/kqzJS/ac9m9UaEfQvmtd+qFV3nl7O0jvGZvprqTf5jgC50aHg94W+D3WfwgI8hEc sb1GUtpYg6dMjfjXV/id040D7kzcagtHXQ3WC0KVG+KS82QrOPOokf+OnbKfDCNu9K3/ ftUA== 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=6defAfgJVZQ52FOw7T5bLYSg1uCRyn/EdMWXZhr1CWQ=; b=Seo4ccNVrNNmfsX/tPsiSAy9+W6tg71XmDfGUuQTNtXPnj+YQZSyqgBPqBa6cHe74E WOu3GsWzA1acgCFzNum8SE0fkhcsco/AUZ5UdRHXMW+/2E1g4JvSBlFsD/vPHaLXuTuG Ei1l/fJWVlfPg9ahmz5XRZtnLxE8L0s3LAQ2+ph/qXC/0i7Y0fGqjOe86v9He0oaXPpz L0QBZnR/QM1dLqKa4JJP8fPMuyQ+DbI4IrYecyWJlvgkIrdvmag0gKSA51wQjrOdYTvf l1QTsQAuksJvXuGcESz21056o3eUpKKZ3RKMjapl9PbiXx3gAOuCPVNv/fkTZgorN7v8 o/TQ== X-Gm-Message-State: ALyK8tLJmgLol83q6pqcfHcQvvietxc8IvqkQKbJTQngM5h3thS6fRgtmGLLf+w+GIwefXUWk8Vx/LtZhql2MQ== MIME-Version: 1.0 X-Received: by 10.13.248.4 with SMTP id i4mr4073670ywf.20.1464117238404; Tue, 24 May 2016 12:13:58 -0700 (PDT) Message-ID: <94eb2c07f7d6e7a42f05339b5bb3@google.com> Date: Tue, 24 May 2016 19:13:58 +0000 From: publicityifl@gmail.com To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=94eb2c07f7d6e7a41005339b5bb0 Subject: [Caml-list] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages) --94eb2c07f7d6e7a41005339b5bb0 Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes Content-Transfer-Encoding: base64 SGVsbG8sDQoNClBsZWFzZSwgZmluZCBiZWxvdyB0aGUgZmlyc3QgY2FsbCBm b3IgcGFwZXJzIGZvciBJRkwgMjAxNi4NClBsZWFzZSBmb3J3YXJkIHRoZXNl IHRvIGFueW9uZSB5b3UgdGhpbmsgbWF5IGJlIGludGVyZXN0ZWQuDQpBcG9s b2dpZXMgZm9yIGFueSBkdXBsaWNhdGVzIHlvdSBtYXkgcmVjZWl2ZS4NCg0K YmVzdCByZWdhcmRzLA0KSnVycmlhYW4gSGFnZQ0KUHVibGljaXR5IENoYWly IG9mIElGTA0KDQotLS0NCg0KSUZMIDIwMTYgLSBDYWxsIGZvciBwYXBlcnMN Cg0KMjh0aCBTWU1QT1NJVU0gT04gSU1QTEVNRU5UQVRJT04gQU5EIEFQUExJ Q0FUSU9OIE9GIEZVTkNUSU9OQUwgTEFOR1VBR0VTIC0NCklGTCAyMDE2DQoN CktVIExldXZlbiwgQmVsZ2l1bQ0KDQpJbiBjb29wZXJhdGlvbiB3aXRoIEFD TSBTSUdQTEFODQoNCkF1Z3VzdCAzMSAtIFNlcHRlbWJlciAyLCAyMDE2DQoN Cmh0dHBzOi8vZHRhaS5jcy5rdWxldXZlbi5iZS9ldmVudHMvaWZsMjAxNi8N Cg0KU2NvcGUNCg0KVGhlIGdvYWwgb2YgdGhlIElGTCBzeW1wb3NpYSBpcyB0 byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVseQ0KZW5nYWdl ZA0KaW4gdGhlIGltcGxlbWVudGF0aW9uIGFuZCBhcHBsaWNhdGlvbiBvZiBm dW5jdGlvbmFsIGFuZCBmdW5jdGlvbi1iYXNlZA0KcHJvZ3JhbW1pbmcgbGFu Z3VhZ2VzLiBJRkwgMjAxNiB3aWxsIGJlIGEgdmVudWUgZm9yIHJlc2VhcmNo ZXJzIHRvIHByZXNlbnQNCmFuZA0KZGlzY3VzcyBuZXcgaWRlYXMgYW5kIGNv bmNlcHRzLCB3b3JrIGluIHByb2dyZXNzLCBhbmQgcHVibGljYXRpb24tcmlw ZQ0KcmVzdWx0cw0KcmVsYXRlZCB0byB0aGUgaW1wbGVtZW50YXRpb24gYW5k IGFwcGxpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgbGFuZ3VhZ2VzIGFuZA0KZnVu Y3Rpb24tYmFzZWQgcHJvZ3JhbW1pbmcuDQoNClBlZXItcmV2aWV3DQoNCkZv bGxvd2luZyB0aGUgSUZMIHRyYWRpdGlvbiwgSUZMIDIwMTYgd2lsbCB1c2Ug YSBwb3N0LXN5bXBvc2l1bSByZXZpZXcNCnByb2Nlc3MNCnRvIHByb2R1Y2Ug dGhlIGZvcm1hbCBwcm9jZWVkaW5ncy4gQWxsIHBhcnRpY2lwYW50cyBvZiBJ RkwgMjAxNiBhcmUgaW52aXRlZA0KdG8NCnN1Ym1pdCBlaXRoZXIgYSBkcmFm dCBwYXBlciBvciBhbiBleHRlbmRlZCBhYnN0cmFjdCBkZXNjcmliaW5nIHdv cmsgdG8gYmUNCnByZXNlbnRlZCBhdCB0aGUgc3ltcG9zaXVtLiBBdCBubyB0 aW1lIG1heSB3b3JrIHN1Ym1pdHRlZCB0byBJRkwgYmUNCnNpbXVsdGFuZW91 c2x5IHN1Ym1pdHRlZCB0byBvdGhlciB2ZW51ZXM7IHN1Ym1pc3Npb25zIG11 c3QgYWRoZXJlIHRvIEFDTQ0KU0lHUExBTidzIHJlcHVibGljYXRpb24gcG9s aWN5Og0KDQpodHRwOi8vd3d3LnNpZ3BsYW4ub3JnL1Jlc291cmNlcy9Qb2xp Y2llcy9SZXB1YmxpY2F0aW9uDQoNClRoZSBzdWJtaXNzaW9ucyB3aWxsIGJl IHNjcmVlbmVkIGJ5IHRoZSBwcm9ncmFtIGNvbW1pdHRlZSBjaGFpciB0byBt YWtlIHN1cmUNCnRoZXkgYXJlIHdpdGhpbiB0aGUgc2NvcGUgb2YgSUZMLCBh bmQgd2lsbCBhcHBlYXIgaW4gdGhlIGRyYWZ0IHByb2NlZWRpbmdzDQpkaXN0 cmlidXRlZCBhdCB0aGUgc3ltcG9zaXVtLiBTdWJtaXNzaW9ucyBhcHBlYXJp bmcgaW4gdGhlIGRyYWZ0IHByb2NlZWRpbmdzDQphcmUgbm90IHBlZXItcmV2 aWV3ZWQgcHVibGljYXRpb25zLiBIZW5jZSwgcHVibGljYXRpb25zIHRoYXQg YXBwZWFyIG9ubHkgaW4NCnRoZQ0KZHJhZnQgcHJvY2VlZGluZ3MgYXJlIG5v dCBzdWJqZWN0IHRvIHRoZSBBQ00gU0lHUExBTiByZXB1YmxpY2F0aW9uIHBv bGljeS4NCkFmdGVyIHRoZSBzeW1wb3NpdW0sIGF1dGhvcnMgd2lsbCBiZSBn aXZlbiB0aGUgb3Bwb3J0dW5pdHkgdG8gaW5jb3Jwb3JhdGUNCnRoZQ0KZmVl ZGJhY2sgZnJvbSBkaXNjdXNzaW9ucyBhdCB0aGUgc3ltcG9zaXVtIGFuZCB3 aWxsIGJlIGludml0ZWQgdG8gc3VibWl0IGENCnJldmlzZWQgZnVsbCBhcnRp Y2xlIGZvciB0aGUgZm9ybWFsIHJldmlldyBwcm9jZXNzLiBGcm9tIHRoZSBy ZXZpc2VkDQpzdWJtaXNzaW9ucywgdGhlIHByb2dyYW0gY29tbWl0dGVlIHdp bGwgc2VsZWN0IHBhcGVycyBmb3IgdGhlIGZvcm1hbA0KcHJvY2VlZGluZ3Mg Y29uc2lkZXJpbmcgdGhlaXIgY29ycmVjdG5lc3MsIG5vdmVsdHksIG9yaWdp bmFsaXR5LCByZWxldmFuY2UsDQpzaWduaWZpY2FuY2UsIGFuZCBjbGFyaXR5 LiBUaGUgZm9ybWFsIHByb2NlZWRpbmdzIHdpbGwgYXBwZWFyIGluIHRoZQ0K SW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIFByb2NlZWRpbmdzIFNlcmllcyBv ZiB0aGUgQUNNIERpZ2l0YWwgTGlicmFyeS4NCg0KSW1wb3J0YW50IGRhdGVz DQoNCkF1Z3VzdCAxOiBTdWJtaXNzaW9uIGRlYWRsaW5lIGRyYWZ0IHBhcGVy cw0KQXVndXN0IDM6IE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIGZvciBw cmVzZW50YXRpb24NCkF1Z3VzdCA1OiBFYXJseSByZWdpc3RyYXRpb24gZGVh ZGxpbmUNCkF1Z3VzdCAxMjogTGF0ZSByZWdpc3RyYXRpb24gZGVhZGxpbmUN CkF1Z3VzdCAyMjogU3VibWlzc2lvbiBkZWFkbGluZSBmb3IgcHJlLXN5bXBv c2l1bSBwcm9jZWVkaW5ncw0KQXVndXN0IDMxIC0gU2VwdGVtYmVyIDI6IElG TCBTeW1wb3NpdW0NCkRlY2VtYmVyIDE6IFN1Ym1pc3Npb24gZGVhZGxpbmUg Zm9yIHBvc3Qtc3ltcG9zaXVtIHByb2NlZWRpbmdzDQpKYW51YXJ5IDMxLCAy MDE3OiBOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZSBmb3IgcG9zdC1zeW1w b3NpdW0gcHJvY2VlZGluZ3MNCk1hcmNoIDE1LCAyMDE3OiBDYW1lcmEtcmVh ZHkgdmVyc2lvbiBmb3IgcG9zdC1zeW1wb3NpdW0gcHJvY2VlZGluZ3MNCg0K U3VibWlzc2lvbiBkZXRhaWxzDQoNClByb3NwZWN0aXZlIGF1dGhvcnMgYXJl IGVuY291cmFnZWQgdG8gc3VibWl0IHBhcGVycyBvciBleHRlbmRlZCBhYnN0 cmFjdHMNCnRvIGJlDQpwdWJsaXNoZWQgaW4gdGhlIGRyYWZ0IHByb2NlZWRp bmdzIGFuZCB0byBwcmVzZW50IHRoZW0gYXQgdGhlIHN5bXBvc2l1bS4gQWxs DQpjb250cmlidXRpb25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLiBQ YXBlcnMgbXVzdCB1c2UgdGhlIG5ldyBBQ00gdHdvDQpjb2x1bW5zIGNvbmZl cmVuY2UgZm9ybWF0LCB3aGljaCBjYW4gYmUgZm91bmQgYXQ6DQoNCmh0dHA6 Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvcHJvY2VlZGluZ3MtdGVtcGxh dGUNCg0KRm9yIHRoZSBwcmUtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHdlIGFk b3B0IGEgJ3dlYWsnIHBhZ2UgbGltaXQgb2YgMTIgcGFnZXMuDQpGb3INCnRo ZSBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5ncyB0aGUgcGFnZSBsaW1pdCBv ZiAxMiBwYWdlcyBpcyBmaXJtLg0KDQpBdXRob3JzIHN1Ym1pdCB0aHJvdWdo IEVhc3lDaGFpcjoNCg0KaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVu Y2VzLz9jb25mPWlmbDIwMTYNCg0KVG9waWNzDQoNCklGTCB3ZWxjb21lcyBz dWJtaXNzaW9ucyBkZXNjcmliaW5nIHByYWN0aWNhbCBhbmQgdGhlb3JldGlj YWwgd29yayBhcyB3ZWxsDQphcw0Kc3VibWlzc2lvbnMgZGVzY3JpYmluZyBh cHBsaWNhdGlvbnMgYW5kIHRvb2xzIGluIHRoZSBjb250ZXh0IG9mIGZ1bmN0 aW9uYWwNCnByb2dyYW1taW5nLiBJZiB5b3UgYXJlIG5vdCBzdXJlIHdoZXRo ZXIgeW91ciB3b3JrIGlzIGFwcHJvcHJpYXRlIGZvciBJRkwNCjIwMTYsDQpw bGVhc2UgY29udGFjdCB0aGUgUEMgY2hhaXIgYXQgdG9tLnNjaHJpanZlcnNA Y3Mua3VsZXV2ZW4uYmUuIFRvcGljcyBvZg0KaW50ZXJlc3QgaW5jbHVkZSwN CmJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86DQoNCi0gbGFuZ3VhZ2UgY29uY2Vw dHMNCi0gdHlwZSBzeXN0ZW1zLCB0eXBlIGNoZWNraW5nLCB0eXBlIGluZmVy ZW5jaW5nDQotIGNvbXBpbGF0aW9uIHRlY2huaXF1ZXMNCi0gc3RhZ2VkIGNv bXBpbGF0aW9uDQotIHJ1bi10aW1lIGZ1bmN0aW9uIHNwZWNpYWxpemF0aW9u DQotIHJ1bi10aW1lIGNvZGUgZ2VuZXJhdGlvbg0KLSBwYXJ0aWFsIGV2YWx1 YXRpb24NCi0gKGFic3RyYWN0KSBpbnRlcnByZXRhdGlvbg0KLSBtZXRhcHJv Z3JhbW1pbmcNCi0gZ2VuZXJpYyBwcm9ncmFtbWluZw0KLSBhdXRvbWF0aWMg cHJvZ3JhbSBnZW5lcmF0aW9uDQotIGFycmF5IHByb2Nlc3NpbmcNCi0gY29u Y3VycmVudC9wYXJhbGxlbCBwcm9ncmFtbWluZw0KLSBjb25jdXJyZW50L3Bh cmFsbGVsIHByb2dyYW0gZXhlY3V0aW9uDQotIGVtYmVkZGVkIHN5c3RlbXMN Ci0gd2ViIGFwcGxpY2F0aW9ucw0KLSAoZW1iZWRkZWQpIGRvbWFpbiBzcGVj aWZpYyBsYW5ndWFnZXMNCi0gc2VjdXJpdHkNCi0gbm92ZWwgbWVtb3J5IG1h bmFnZW1lbnQgdGVjaG5pcXVlcw0KLSBydW4tdGltZSBwcm9maWxpbmcgcGVy Zm9ybWFuY2UgbWVhc3VyZW1lbnRzDQotIGRlYnVnZ2luZyBhbmQgdHJhY2lu Zw0KLSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUgYXJjaGl0ZWN0dXJlcw0K LSB2YWxpZGF0aW9uLCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9n cmFtcw0KLSB0b29scyBhbmQgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlcw0KLSAo aW5kdXN0cmlhbCkgYXBwbGljYXRpb25zDQoNClBldGVyIExhbmRpbiBQcml6 ZQ0KDQpUaGUgUGV0ZXIgTGFuZGluIFByaXplIGlzIGF3YXJkZWQgdG8gdGhl IGJlc3QgcGFwZXIgcHJlc2VudGVkIGF0IHRoZQ0Kc3ltcG9zaXVtDQpldmVy eSB5ZWFyLiBUaGUgaG9ub3JlZCBhcnRpY2xlIGlzIHNlbGVjdGVkIGJ5IHRo ZSBwcm9ncmFtIGNvbW1pdHRlZSBiYXNlZA0Kb24NCnRoZSBzdWJtaXNzaW9u cyByZWNlaXZlZCBmb3IgdGhlIGZvcm1hbCByZXZpZXcgcHJvY2Vzcy4gVGhl IHByaXplIGNhcnJpZXMgYQ0KY2FzaCBhd2FyZCBlcXVpdmFsZW50IHRvIDE1 MCBFdXJvcy4NCg0KUHJvZ3JhbW1lIGNvbW1pdHRlZQ0KDQpDaGFpcjogVG9t IFNjaHJpanZlcnMsIEtVIExldXZlbiwgQmVsZ2l1bQ0KDQotIFNhbmRyaW5l IEJsYXp5LCBVbml2ZXJzaXR5IG9mIFJlbm5lcyAxLCBGcmFuY2UNCi0gTGF1 cmEgQ2FzdHJvLCBVbml2ZXJzaXR5IG9mIEEgQ29ydeKImsKxYSwgU3BhaW4N Ci0gSmFjcXVlcywgR2FycmlndWUsIE5hZ295YSBVbml2ZXJzaXR5LCBKYXBh bg0KLSBDbGVtZW5zIEdyZWxjaywgVW5pdmVyc2l0eSBvZiBBbXN0ZXJkYW0s IFRoZSBOZXRoZXJsYW5kcw0KLSBab2x0YW4gSG9ydmF0aCwgRW90dm9zIExv cmFuZCBVbml2ZXJzaXR5LCBIdW5nYXJ5DQotIEphbiBNYXJ0aW4gSmFuc2Vu LCBOZXRoZXJsYW5kcyBEZWZlbmNlIEFjYWRlbXksIFRoZSBOZXRoZXJsYW5k cw0KLSBNYXVybyBKYXNrZWxpb2ZmLCBDSUZBU0lTL1VuaXZlcnNpZGFkIE5h Y2lvbmFsIGRlIFJvc2FyaW8sIEFyZ2VudGluYQ0KLSBQYXRyaWNpYSBKb2hh bm4sIEFwcGFsYWNoaWFuIFN0YXRlIFVuaXZlcnNpdHksIFVTQQ0KLSBXb2xm cmFtIEthaGwsIE1jTWFzdGVyIFVuaXZlcnNpdHksIENhbmFkYQ0KLSBQaWV0 ZXIgS29vcG1hbiwgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuLCBUaGUg TmV0aGVybGFuZHMNCi0gU2hpbi1DaGVuZyBNdSwgQWNhZGVtaWEgU2luaWNh LCBUYWl3YW4NCi0gSGVucmlrIE5pbHNzb24sIFVuaXZlcnNpdHkgb2YgTm90 dGluZ2hhbSwgVUsNCi0gTmlrb2xhb3MgUGFwYXNweXJvdSwgTmF0aW9uYWwg VGVjaG5pY2FsIFVuaXZlcnNpdHkgb2YgQXRoZW5zLCBHcmVlY2UNCi0gQXR6 ZSB2YW4gZGVyIFBsb2VnLCBDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hu b2xvZ3ksIFN3ZWRlbg0KLSBNYXRpamEgUHJldG5hciwgVW5pdmVyc2l0eSBv ZiBManVibGphbmEsIFNsb3ZlbmlhDQotIFRpbGxtYW5uIFJlbmRlbCwgVW5p dmVyc2l0eSBvZiBU4oiawrpiaW5nZW4sIEdlcm1hbnkNCi0gQ2hyaXN0b3Bo ZSBTY2hvbGxpZXJzLCBVbml2ZXJzaXRlaXQgR2VudCwgQmVsZ2l1bQ0KLSBT dmVuLUJvZG8gU2Nob2x6LCBIZXJpb3QtV2F0dCBVbml2ZXJzaXR5LCBVSw0K LSBNZWxpbmRhIFRvdGgsIEVvdHZvcyBMb3JhbmQgVW5pdmVyc2l0eSwgSHVu Z2FyeQ0KLSBNZW5nIFdhbmcsIFVuaXZlcnNpdHkgb2YgS2VudCwgVUsNCi0g SmVyZW15IFlhbGxvcCwgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UsIFVLDQoN ClZlbnVlDQoNClRoZSAyOHRoIElGTCB3aWxsIGJlIGhlbGQgaW4gYXNzb2Np YXRpb24gd2l0aCB0aGUgRmFjdWx0eSBvZiBDb21wdXRlcg0KU2NpZW5jZSwN CktVIExldXZlbiwgQmVsZ2l1bS4gTGV1dmVuIGlzIGNlbnRyYWxseSBsb2Nh dGVkIGluIEJlbGdpdW0gYW5kIGNhbiBiZSBlYXNpbHkNCnJlYWNoZWQgZnJv bSBCcnVzc2VscyBBaXJwb3J0IGJ5IHRyYWluICh+MTUgbWludXRlcykuIFRo ZSB2ZW51ZSBpbiB0aGUNCkFyZW5iZXJnIENhc3RsZSBwYXJrIGNhbiBiZSBy ZWFjaGVkIGJ5IGZvb3QsIGJ1cyBvciB0YXhpIGZyb20gdGhlIGNpdHkNCmNl bnRlci4NClNlZSB0aGUgd2Vic2l0ZSBmb3IgbW9yZSBpbmZvcm1hdGlvbiBv biB0aGUgdmVudWUuDQo= --94eb2c07f7d6e7a41005339b5bb0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the first call for papers= for IFL 2016.
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 2016 - Call = for papers

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

KU Leuven, Belgium

In cooperation = with ACM SIGPLAN

August 31 - September 2, 2016

https://dtai.cs.kuleuven.be/eve= nts/ifl2016/

Scope

The goal of the IFL symposia is to bri= ng together researchers actively engaged
in the implementation and appli= cation of functional and function-based
programming languages. IFL 2016 = will be a venue for researchers to present and
discuss new ideas and con= cepts, work in progress, and publication-ripe results
related to the imp= lementation and application of functional languages and
function-based p= rogramming.

Peer-review

Following the IFL tradition, IFL 2016= will use a post-symposium review process
to produce the formal proceedi= ngs. All participants of IFL 2016 are invited to
submit either a draft p= aper or an extended abstract describing work to be
presented at the symp= osium. At no time may work submitted to IFL be
simultaneously submitted = to other venues; submissions must adhere to ACM
SIGPLAN's republicat= ion policy:

http://www.sigplan.org/Resources/Policies/Rep= ublication

The submissions will be screened by the program commi= ttee chair to make sure
they are within the scope of IFL, and will appea= r in the draft proceedings
distributed at the symposium. Submissions app= earing in the draft proceedings
are not peer-reviewed publications. Henc= e, publications that appear only in the
draft proceedings are not subjec= t to the ACM SIGPLAN republication policy.
After the symposium, authors = will be given the opportunity to incorporate the
feedback from discussio= ns at the symposium and will be invited to submit a
revised full article= for the formal review process. From the revised
submissions, the progra= m committee will select papers for the formal
proceedings considering th= eir correctness, novelty, originality, relevance,
significance, and clar= ity. The formal proceedings will appear in the
International Conference = Proceedings Series of the ACM Digital Library.

Important dates
August 1: Submission deadline draft papers
August 3: Notification of a= cceptance for presentation
August 5: Early registration deadline
Augu= st 12: Late registration deadline
August 22: Submission deadline for pre= -symposium proceedings
August 31 - September 2: IFL Symposium
Decembe= r 1: Submission deadline for post-symposium proceedings
January 31, 2017= : Notification of acceptance for post-symposium proceedings
March 15, 20= 17: Camera-ready version for post-symposium proceedings

Submission d= etails

Prospective authors are encouraged to submit papers or extend= ed abstracts to be
published in the draft proceedings and to present the= m 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
For the pre-symposium proceedings we adopt a 'weak' page limi= t of 12 pages. For
the post-symposium proceedings the page limit of 12 p= ages is firm.

Authors submit through EasyChair:

https://easychair.org/conferences/?conf=3Difl2016

Topics

IFL welcomes submis= sions describing practical and theoretical work as well as
submissions d= escribing applications and tools in the context of functional
programmin= g. If you are not sure whether your work is appropriate for IFL 2016,
pl= ease contact the PC chair at tom.schrijvers@cs.kuleuven.be. Topics of interest = include,
but are not limited to:

- language concepts
- type sy= stems, type checking, type inferencing
- compilation techniques
- sta= ged compilation
- run-time function specialization
- run-time code ge= neration
- partial evaluation
- (abstract) interpretation
- metapr= ogramming
- generic programming
- automatic program generation
- a= rray processing
- concurrent/parallel programming
- concurrent/parall= el program execution
- embedded systems
- web applications
- (embe= dded) domain specific languages
- security
- novel memory management = techniques
- run-time profiling performance measurements
- debugging = and tracing
- virtual/abstract machine architectures
- validation, ve= rification of functional programs
- tools and programming techniques
= - (industrial) applications

Peter Landin Prize

The Peter Land= in Prize is awarded to the best paper presented at the symposium
every y= ear. The honored article is selected by the program committee based on
t= he submissions received for the formal review process. The prize carries a<= br>cash award equivalent to 150 Euros.

Programme committee

Ch= air: Tom Schrijvers, KU Leuven, Belgium

- Sandrine Blazy, University= of Rennes 1, France
- Laura Castro, University of A Coru=E2=88=9A=C2= =B1a, Spain
- Jacques, Garrigue, Nagoya University, Japan
- Clemens G= relck, University of Amsterdam, The Netherlands
- Zoltan Horvath, Eotvos= Lorand University, Hungary
- Jan Martin Jansen, Netherlands Defence Aca= demy, The Netherlands
- Mauro Jaskelioff, CIFASIS/Universidad Nacional d= e Rosario, Argentina
- Patricia Johann, Appalachian State University, US= A
- Wolfram Kahl, McMaster University, Canada
- Pieter Koopman, Radb= oud University Nijmegen, The Netherlands
- Shin-Cheng Mu, Academia Sinic= a, Taiwan
- Henrik Nilsson, University of Nottingham, UK
- Nikolaos P= apaspyrou, National Technical University of Athens, Greece
- Atze van de= r Ploeg, Chalmers University of Technology, Sweden
- Matija Pretnar, Uni= versity of Ljubljana, Slovenia
- Tillmann Rendel, University of T=E2=88= =9A=C2=BAbingen, Germany
- Christophe Scholliers, Universiteit Gent, Bel= gium
- Sven-Bodo Scholz, Heriot-Watt University, UK
- Melinda Toth, E= otvos Lorand University, Hungary
- Meng Wang, University of Kent, UK
= - Jeremy Yallop, University of Cambridge, UK

Venue

The 28th I= FL will be held in association with the Faculty of Computer Science,
KU = Leuven, Belgium. Leuven is centrally located in Belgium and can be easilyreached from Brussels Airport by train (~15 minutes). The venue in theArenberg Castle park can be reached by foot, bus or taxi from the city cen= ter.
See the website for more information on the venue.
--94eb2c07f7d6e7a41005339b5bb0--