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 87C107FA83 for ; Fri, 31 Mar 2017 00:49:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cosmin.oancea@diku.dk; spf=Pass smtp.mailfrom=cosmin.oancea@di.ku.dk; spf=Pass smtp.helo=postmaster@EUR03-AM5-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cosmin.oancea@diku.dk) identity=pra; client-ip=40.107.3.107; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cosmin.oancea@di.ku.dk"; x-sender="cosmin.oancea@diku.dk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cosmin.oancea@di.ku.dk designates 40.107.3.107 as permitted sender) identity=mailfrom; client-ip=40.107.3.107; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cosmin.oancea@di.ku.dk"; x-sender="cosmin.oancea@di.ku.dk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@EUR03-AM5-obe.outbound.protection.outlook.com designates 40.107.3.107 as permitted sender) identity=helo; client-ip=40.107.3.107; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cosmin.oancea@di.ku.dk"; x-sender="postmaster@EUR03-AM5-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AC2Y8YRPAcSO0V9eGC7ol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvTyrarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZQMhfVzFPDI2y?= =?us-ascii?q?YIQAE+UPMudYoYrmqlsSrxazHxWgCP/hxzJKgHL9wK000/4mEQHDxAEtAdUOsG?= =?us-ascii?q?/RrNX0MqcZTPm7w7POzTrfcfxZwyr25Y/UfRAmuvGMWLNwcczLxUkoDQzFiEmf?= =?us-ascii?q?ppL/MD6Oy+sNsmub7/d6We2yiG4qsgd8qSWhyMcrj4nGnIMVylbc+CViwYY1Ks?= =?us-ascii?q?W4SEphbt6iCpdQsDuaN4RuTsw8WW5ooyY7xaEGuZGhfSgK0o4rxxnFa/yIdYWD?= =?us-ascii?q?/xHtVP6JLDp3mH5pYq+ziwqw/ES6xODwTNS43EpIoyZdj9XBuGwB2wbN5sSZSv?= =?us-ascii?q?Zx5EOs1DWV2wzN9u1IPEY5nrfBJZE72L4/jJ8TvFzDHiDonEX2i7ebeEoq9ea0?= =?us-ascii?q?9+jqbKzqq4ObOYJ0kw3+Nb8hldKlDeQ/LwgOQ3OU+eOh1L3l4EL1Wq1Kjucxkq?= =?us-ascii?q?nFrp/VOdgbpq++Aw9TyIoj7Au/Dyui0NQfmnkHL0hJdw6Aj4jsI13OIfb4Aumj?= =?us-ascii?q?g1m0nzpn2+rKMqD9DpjPNHTOnq3tcath50Ne0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TEAR8+KAy0xufnCNNn2oMZQ22PBLOWP73IvlKT++0vIvOAZIwIuDrnNvcl5Obi?= =?us-ascii?q?jWUlll8FYampwZwXZWikEft8JkWZZWPggtMAEWcRogozV/fqiV2HUT5LfXm+Ra?= =?us-ascii?q?M85jchCIKnF4jPXI6tgKbSlBu8S8ldb2VCT1SNCmvAdoOeWv5KZjjEceF7lTlR?= =?us-ascii?q?fr+6To4nnTansgT3wvIzJe3P/ywe85Xq0tN47sXflBIvszB3WZfOm1qRRn15yz?= =?us-ascii?q?tbDwQ927py9Akkkg+O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvBABXit1Yh2sDayhIFhwBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYJkRGRWBy4HAYNaiwSkI4RHhS6ERxQBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?IDQkIKC+CMyIBgmMGFQgBASYRATQCDxcCSRYNAQcBAQWJagMVAQILn0wCAosBa?= =?us-ascii?q?IImgwgBAQWEHBiDGAEKAQEBARsICQGBAYVDggWGAYEHgzyCXwGcboIHhHaOI4g?= =?us-ascii?q?MhluLGIcYAYE8NoEmJRaFQIIRcwGJAQGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BvBABXit1Yh2sDayhIFhwBAQQBAQoBARcBAQQBAQoBAYJ?= =?us-ascii?q?kRGRWBy4HAYNaiwSkI4RHhS6ERxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyIBg?= =?us-ascii?q?mMGFQgBASYRATQCDxcCSRYNAQcBAQWJagMVAQILn0wCAosBaIImgwgBAQWEHBi?= =?us-ascii?q?DGAEKAQEBARsICQGBAYVDggWGAYEHgzyCXwGcboIHhHaOI4gMhluLGIcYAYE8N?= =?us-ascii?q?oEmJRaFQIIRcwGJAQGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,249,1486422000"; d="scan'208";a="218689961" Received: from mail-eopbgr30107.outbound.protection.outlook.com (HELO EUR03-AM5-obe.outbound.protection.outlook.com) ([40.107.3.107]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 31 Mar 2017 00:49:13 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alumni.onmicrosoft.com; s=selector1-di-ku-dk; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=j9StSGuGxxPOpYOBLk41SQ6s1ZGAtwfVB/IGbrmZ6J8=; b=qWsWXAhoFFn/U+iIDF+aO6rgrlwIgovrROLHsTkEufNlLWs9jARTEshPgMNVRoOs4V4DMT4Q+Y0pJCJXo0T1qgBSDMM6lIpInzauPvXlSvjs3PKxw8CYBmyPptj2/n80Y5V3YREH3BM5sNgqiSy6tdXmAbES3mBxbl6MdZ1e+Es= Received: from AM3PR04CA0107.eurprd04.prod.outlook.com (10.163.180.161) by HE1PR0401MB2329.eurprd04.prod.outlook.com (10.168.32.148) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1005.10; Thu, 30 Mar 2017 22:49:11 +0000 Received: from HE1EUR02FT034.eop-EUR02.prod.protection.outlook.com (2a01:111:f400:7e05::207) by AM3PR04CA0107.outlook.office365.com (2a01:111:e400:5366::33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1005.10 via Frontend Transport; Thu, 30 Mar 2017 22:49:10 +0000 Received: from sepo1.ku.dk (192.38.124.75) by HE1EUR02FT034.mail.protection.outlook.com (10.152.10.67) with Microsoft SMTP Server id 15.1.1005.5 via Frontend Transport; Thu, 30 Mar 2017 22:49:10 +0000 Received: from lb-fa-public-snat1.pan.net.ku.dk ([10.78.0.165]) by sepo1.ku.dk (JAMES SMTP Server) with SMTP ID 985; Fri, 31 Mar 2017 00:49:03 +0200 (CEST) Received: from [10.61.33.35] (130.225.98.201) by Exchange.ku.dk (172.28.3.165) with Microsoft SMTP Server (TLS) id 14.3.319.2; Fri, 31 Mar 2017 00:49:00 +0200 To: CC: Phil Trinder , Cosmin Eugen Oancea From: Cosmin Oancea Date: Fri, 31 Mar 2017 00:49:00 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [130.225.98.201] Message-ID: <6669910e-725f-4ecf-b3b5-cdf368a258e7@P1KITHUB03W.unicph.domain> X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:192.38.124.75;IPV:NLI;CTRY:DK;EFV:NLI;SFV:NSPM;SFS:(10019020)(6009001)(39450400003)(39860400002)(39410400002)(39400400002)(39850400002)(39840400002)(2980300002)(438002)(199003)(501624003)(189002)(9170700003)(8936002)(4326008)(54356999)(50986999)(81166006)(8676002)(53936002)(38730400002)(110136004)(64126003)(5660300001)(4001350100001)(305945005)(6916009)(40036005)(189998001)(106466001)(31686004)(7736002)(33646002)(1720100001)(966004)(356003)(42882006)(31696002)(47776003)(2351001)(77096006)(74482002)(50466002)(2906002)(54906002)(65956001)(6116002)(3846002)(83506001)(9686003)(6306002)(19625735003)(65826007)(65806001)(230700001)(66066001)(23676002)(225293001);DIR:OUT;SFP:1102;SCL:1;SRVR:HE1PR0401MB2329;H:sepo1.ku.dk;FPR:;SPF:Pass;MLV:sfv;A:1;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;HE1EUR02FT034;1:MaKsEBHFtkeR9sSRKADCcuMK3sjBTnkCGGw+Yhm9lL3O8BL4EDeK1+MAs2wci2WjOvFWZxJeCDtbO0d7IEHkXRPn8jzQFvYgILbW9BcSOJV+VXngE2+M2XnUVlElAZ2HyhkkTKiw0ANvVqabY6KcFUHohdRid98C35IvUtivr9TPY8bTC1iH3270zvqEnj24aOGjsKsCvYvArN+KM0ptngoNOuhOm+LqWJL+zkMh4RYO4C+v35UThegl01ESrZERi+aW+AzeI3RyOTtHLctEdU/iSTyZwH9LUl67D4Ipy/xbiLL7Ng6O3m0udQkskFqyh/1jf5WagCmmiIYC6M1o8FHq1J6CEJ2Tyjbzh0sd2Gx0AURhvTdFBvoF7YGUkkZMokhzq0CiXZhLue36sRPx3C6KRs/Ep/bBkp+qKwI0q5r9lNyfm2DkX2bZUlOShz882qosr8D3sZ5UQNSTL4/HzHVw/lh1iMG6A5VCmhweyxk+iJLzeh6m0CuXAePCLpxvnLVFjKovdgw1/kMD7sOedA== X-MS-Office365-Filtering-Correlation-Id: b3a4d834-8597-4794-ddf4-08d477befae2 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(2017030254075)(201703131423075)(201703031133081)(201702281549075);SRVR:HE1PR0401MB2329; X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;3:qp15s56ofUu4zaC0sMHiltLicq/aODPAWOfsLyssD4LQPebPvk1Yoa96EFoWTJw2epNQbKYSGS6BgvTBhTSwNF4DF0xvIafEZkDCU4oQmHoGnouO0k9yX/zR7jgQbpM3axvq4psFx+6f4YCfVCqVfjdqsqhhCzWemXLGl8UF2j8So5GRIC2EVbB1aiSkvMyWN/lK9UCOKIAge3ebzcv5q/fg67CLb/SbrWHIDU0eUYV8KGQgU5DI80bxSN15cUBqGqx1GjpEqLTeMvHC7HGMpnJSEgFIcT8BRxD/z/B4Z3yzn5iXJJWXFDkU7y2sRPCzyv0kRlKsPlloj6FMa0ORmO6YtggKPwMcyj4wHdowS0RJMKKS5Wn3bpSuJMXErGJA1zypQuQdiYO2YuDEtXsZAi6T5WgqcZWbJR/bBleFS7WanixeykBHsI/D9a7NP3vp9J4voxhZZl32DlrGz7J/goKcNtlGyPwEU2yVfxqk7NaHOYaGQrZ6DxNn0dV3mojG X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;25:73rwf+T/+vxv39eljOksUTDGoviYaYPvKqIgvLT/t3EEpTE6GK7vxwokkO6QCu5SrzbBIUxFICJlcYhdVJ0TmN6nZB3pN1TlL/M3D+XRFX5THHGjUfffeyT8n702u4QWMvc8UN63WOmwaVj6qS99bVcWQ4YH9m82dYiuwl7ARyAsX9yWC0fvsr8Uk4WCzSmmq5A27nBvxFvhhSaTsDhPPZ9LCxzCSYHJ7M4qafJ8Oid+4NTuMLCpKuqBTkcgmIBDqFdfDW/cbbpjUsfW+EpQ/gCahg4IkJ8atlNgefgkgZyXbLGrX7F9OJQzXyEJdsAXXbYCYMVvEHHsfEBxG5LWyVc2d6dCN/QZchH0vZXk4nELYZNKDlwl+KK41bSSkN1SLq41lfIIVKbtrfiEGE0w0bNdSzzOe7xZgfEKD9n3n2e+8As0zmp9fP2AXcO5vtwoUx0DQPSKZrOivgRgZr5WYw==;31:5Z4mFe2VDpnSvR+PeFaJHVRUWFIniOl5atm1oXqnXPyXeLNddtjCXEtCgNxelntqwk/SWERpYuP9ZRt8jkeH/WPVgOXx7vrhwGXsUsSPS9WW8Tf2Qi7fbXpgKn5sg69GGL2VZtpB6XysYLOb8obb07bLsIoKm7OkDY3siARfPtp7FFhmS4eqKcFatQVfh6KUeAQn8yyJuyMvuAcHPU7hnN5bbyzBc8Xy6yqjO0KWG0V6cMXch1Zag39N4w4thvmi84AZH/1IGo8Z2ng8jpzDMg== X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;20:6k+wmY0miloR1XZ5e7Bjs3pXkuDxykW4Nwvq2q9HEaKaWHzNLnGZx7/BYSUyK+uugJIiKM14IV7U/dMFDflLRQLN/6kGg168EMifLK0KWBAXOW1P/XFuAWyOFvLAr8SjiyWv/O5eAInoeDNWkN8v9gw6igJHBg7Ng2f3CSROpf1Lomu2Xy1INwQuEDk6VECFvy+7wj8zoeZEdk8H230obRdCinEyx7pF9qE/fYLa/kUANy+AjJnMypJ9N6+4x/DkzMajajUCIHEaeurc1dAEoDaJcoRdWu3zxoKi24sblbZ+XtA/XCyNKEjfCi8mjYpwWnZ4bxDSBiBi6OI6peYwh4SF3mZZHeJtNQNOk/WuHwZeWgN5t63SzE6S5uXarHvsfdN8+xJNMzy4WP0FG452ySnRy9cLbsPvbKelqdKAgbAmh16jQ8AcgPn/7oXPMxOS6XW7hHig/im3C9+UtMdOoBuQ7QCG7eiO8fIeY5ro6Zb4oz44IYCdEu9dP6U6Sfys X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(20558992708506); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040450)(601004)(2401047)(13023025)(8121501046)(13016025)(5005006)(13018025)(13024025)(93006076)(93004076)(10201501046)(3002001)(6041248)(20161123555025)(20161123564025)(20161123562025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(20161123560025)(6072148);SRVR:HE1PR0401MB2329;BCL:0;PCL:0;RULEID:;SRVR:HE1PR0401MB2329; X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;4:0DeYETMz5gZciWhExSUGqgsmRE3KBK5pKwq3MOeuKmqur41IM9oLa3syyTulXhjH4i0wn6FyBpkP06nXyXU8bWr3FHho/I1q9+g+vy3Xd4heOBNLqac3QQaqMjmu9Hr8cM6SjVKjrSd2Xm2GX1tupwYFPkFqsz2VQI0abVbK0A1qyseK32Mz9Q1qYpvRYt2bg2yy2hA9RAYPq2Wav4hoGkScI7aSwhMJZ7RyWNQR9rD0HEIqLcnTW2Po+ZJV3BaH7H73ZvhGucwyotoGwDqp4BCZQauWJZ9yU4/KjREwxN+6BM8FGeAwiPjJRJwMhzguucrBWQgy/64rCp6CFG8zv6LJz8Eh1o76Rrfak/TbPG5O1sO5Wc/KAIDCm9GNxtCyyWg9gheCIQMl9SsJeKSPZNiQ44+mesBRDF6LeGM71VZJ/WKI7MIgCtG3nXE6D7hXR1+ZlEdmj/yPKHDAmqxm+T+HmnKWzm5WznLm/B7xQchZMtwd7FBUAQ8NW8fmIV2jWvNZCfv/84Vdjde/cfsu4PVB/E4RpjEkL6yAIOIrC1uIOLGkuEcleOaWFSJ065L92Wx87tqAOaGSoacZCjGjz7jKBd48NaFO2mDBp//ImeiACp0I5KGWGygw5b1W1TZjhe0Z0A2vr6VwyqNdkwsOfhxszzoJD1KB9VOmNSEHivaXq8mUyqAII+te0oIFk0vO7w38qPVMn4Bo/yGrFAS0Zzxe4Q+oVmF//PtWNhIf8ObgeGWmZPLMRWZbAshT4caDHpMyYIisDYL+VSnuXRDnM4FrR3+zQi98o5JJML5aLGAaYrlussiCa5kN+VgKV7MXK+uSezG66P8yVIsrxrNs3uUNs9oRN/iKLv9yUu0UEIHvTs/hy3JwxBYlVbWdg7Nr X-Forefront-PRVS: 02622CEF0A X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtIRTFQUjA0MDFNQjIzMjk7MjM6Q0pmT3BJMUlDMEUzOEYzV05QOWU0RG9W?= =?utf-8?B?cUxlL09IY0s0SzF0Z1l0aTF0SzVrakdqV0ZWaUh0cnVBdytkV2tPMmIvUWFp?= =?utf-8?B?S2VKY29jN2ZpSW02MkJkM2dpQVRDdEpoNlN2NnVGR1l2M1p3bVYzNFVGSW9y?= =?utf-8?B?SmNTQW9oTnFrMTBFd0F1czF4UXhXNDQxSVdONm5lS3A3WlczRldqc1kweXZ6?= =?utf-8?B?eE1XUUh6S3dVbWhROWhMVGFDb09iNjBUWmVDcDVzNFBBTXR2MnUrWTNWOUh6?= =?utf-8?B?RTNjUHQwYVc3YWgyZ1cycXJRNGNBdldnQkdkdm5GbVQ3eERaRW11ZnM5WE5a?= =?utf-8?B?c3BsdjE3V3V4QTkzQ0VTUnpqcVRoREhJeVRUNXpQVVNzTjlLbGJCaVNMVmI0?= =?utf-8?B?SFlaVWZDY1Rad1FpdHFSeGEvQzJTVkRzNzBTZEJaY0U4Z1ozdHZYVFBHQ0hR?= =?utf-8?B?cW11MnRWNFppVVlUeEprUDlGb0FuNytGK3NOSm5XaWx4endJYVZYeTAwRkJh?= =?utf-8?B?RUlhcy94SXN3Q2pkUnpZK1JrR2dqVktBUTRXU3N0bDFIUHFWZHUrdDhWWm9I?= =?utf-8?B?SWZaa1Azbk9SRlJpMHJaOFZGNFdvaEtBVjlzOFRZRFcxWkZwRDUwUzl6cXVC?= =?utf-8?B?QWZjc3RWVnc5am5jNGVQK3psTjgrREgvTWVkUzlwNnhCV1hVUUdxaHJTVjJH?= =?utf-8?B?UVVwQXZHLzc1R29UL3IxL1lTdlEzQVNOcCthQ0g1eXJrdFlHZ3VkeUpUaXgw?= =?utf-8?B?NVB6eXVESVNCbHdPT2UxaC9QSVpFcW50SkZxeVl0NmVtdzB3aXZTL0VXd3Bu?= =?utf-8?B?Q2Nlc1ZvbktDcjZxWkYrVnNzclpicTFRNGJGTDI5cEZDTm5rRFpiS1FEdHFw?= =?utf-8?B?MXQ1Zkw4SnhoUnI5aFd4ejhKRDJrZGpZQ2s0eHNTZjA1TGIvUVgwemVPTFN2?= =?utf-8?B?LzMxbzRwNjlqMHBHSnM0SXhydEJjdU44eTBlaWhGSWVuTHhzVHBWdE96ZGV6?= =?utf-8?B?QW1RREtnWW54bHBqRW42Y29BaUtJUEhuY2dVMmtiRDJUaHphMXBETEcvdm04?= =?utf-8?B?ejdoV2NBbXd0NndZNVhvb3FZK2oxcU5nRlhMbGZXTnNhQllCUnNSRENXQUFn?= =?utf-8?B?UGxuYWpwQUJPRTZXa2I1ZWJFYll5L0dMQkZHYkFCZ0VHUUxEMTVWRW9YSDd6?= =?utf-8?B?VVJoaHljUWk5cDFreCsxSXMzbUd1ejhXRFFyNFlmcU0vS3ZpdG9DbVBVTG9O?= =?utf-8?B?UkJ2SFIwN3d3aUs2UGJqT2xPTFdwaTBzVHBsNUNvd2wyL2tzQzBVYkZNSXZ0?= =?utf-8?B?STVESHd2U3NEbEdqVEQzcHRCdjJTbE5KV24wTm1RTmNNMHRuSVJMZ011clRB?= =?utf-8?B?RzNoMmpEK0Y0RCtaVzJ3RSs3T0tGRldjbDJWWmROSEo4S1MwekNZTTF4bHBF?= =?utf-8?B?V1kxS09IS1NEU0ZQUkhYUlN4TUZZeWdBVXhEeEZKL0xyVUkzTkovZE1Hd2Mw?= =?utf-8?B?RkNadlc4eXFRalAwcDhMQUJObDNyb1BPNEE1blRLSld3K2dVeHdZZzZzWHAy?= =?utf-8?B?UkJGaFBQbXdZWU9yZ2NkWEpSNEkrYW9UQnBFMEN3ZHNaQ3FudTRJOFZrMnZJ?= =?utf-8?B?VTdWcElFdFhuWEpndnFnNW1zbmxnNTJML29LdGVSWjJCYXFFejB1NmRxUzFj?= =?utf-8?B?TnJtSTVwRXJyTFQ0cGx6T211b1hSSTI1LzczVmdrRTBISkpOY2pkMzVid0RF?= =?utf-8?B?ekRSWWVzNkF0WWZwRzlUQWt5M3RibDNLOEZTbmdkSjNJS0NodSsxemdlc3dD?= =?utf-8?B?amNuREt1a0IxeFlJVGJzMGhaclUrdG9nK2F0Y1NVVlRpYk93UWRvOUprV2Rs?= =?utf-8?Q?OLWKFRc484tjpZ0sSmgk3iAGzEJFsoN6hL?= X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;6:QofbEqwDtI38mfdV/BLs2TgCcvm88WeHR0Ssg5fWhmPLChGtaswD0B6VoKUG7ND9DLLU2Cgf3sKr7N9kYIjsnG6ff7Qs43Y4iqN19ksxzReWuZRMZdOik1XxpFH7YxzjKPFMtmBI3sSY8Xnw9eOBfkQHcNHT0p9WeHWc2GO7VIHjipuVnQSRii23tujJJH59xgdrtmiurQ68br4nm3xNmoOYpR/+8izP/qvuIy/3Vg0SYSYjAShgfXPChcwGnFNljerWdpcq1ipDhtzVF9zfs2k0fBR7Kci+HRNTeBOPG1j2/tuUJWyYqqN6P8e5S85CDM75ZLFaAIjarSqlHeuxaGshKgyWyQiLI+LA73uChS8v38FUq4OfEBwDXum40FXBVw6bbkAvzL9tgtjFLiPE/Q==;5:ZKPpVxPjdY1IQCFOtg+rYZ5JkxvutQK9qMNSsR3kI+le2uyJTx9KLrmfDpKf/Y4iL2eBeJJsnO64eEWHJZ8URIXpMys6D54DXR31Y36hau+7kERD6nQea5Ow+nkGPD3k5aCd8R8MVXpAnFbNpyNtkw==;24:tnwM4yDUiGqD+7mz1LFL/p/jJeyFaiYIcprpvhE/1Bgz0gvGn0EZC+PHNAawmEC1jcvcaaCFZeS740WVObCSUICdZJIktzeXm/rDp1IOseI= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;HE1PR0401MB2329;7:jbruMSwwd8IIuha9IVNQPB1STqPU3AQ8b8G5u7D7sEp8YCyCCD4LK1CBwJewzxMoL4ikkM9EMb9eqSXrBpJ9Oum1GkpZPSyGhN9d+ydWlAZ3A/lkeA2fZWjZEobjwBLzg1WC3QtjefDUzw+E8ESI1peuqxEaZ6TVMByNYWJLlbLKk7QTgJTGIf+Rmf2wbzHMt8zFPVDsrBXgDnF/e1isn/XvRwGIIyKU+iMktMld6Ngf1dg4/0+xLEz9uMfsclNil/FKqwMTJCNZFNF/4yxWR+u6zY6/73smndcPKhx8eDiF5awjhqZTHVQvCVOIt7hiiFdbW8j9fK9SqOmP1LM1DA== X-OriginatorOrg: diku.dk X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Mar 2017 22:49:10.1027 (UTC) X-MS-Exchange-CrossTenant-Id: a3927f91-cda1-4696-af89-8c9f1ceffa91 X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=a3927f91-cda1-4696-af89-8c9f1ceffa91;Ip=[192.38.124.75];Helo=[sepo1.ku.dk] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0401MB2329 X-Validation-by: cosmin.oancea@diku.dk Subject: [Caml-list] FHPC'17 Call For Papers (papers due 26th of May) We would deeply appreciate if you disseminate the FHPC'17 Call For Papers to your colleagues and contacts. We apologize if you receive multiple copies of this CFP. With Best Regards, Cosmin and Phil ====================================================================== CALL FOR PAPERS FHPC 2017 The 6th ACM SIGPLAN Workshop on Functional High-Performance Computing Oxford, UK September 7, 2017 http://icfp17.sigplan.org/track/FHPC-2017-papers Co-located with the International Conference on Functional Programming (ICFP 2017) Submission Deadline: 26th of May 2017 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2017 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. This year FHPC will introduce an (optional) artifact-evaluation session, with the intent that selected artifacts will receive additional presentation time in a dedicated slot during the workshop. * Paper submissions due: 26th of May, 2017 (anywhere on earth) * Artifact submissions due: 9th of June, 2017 (optional) * Author notification: 23rd of June, 2017 * Final copy due: 15th of July, 2017 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2017 should be submitted via Easychair, at the following URL: * https://easychair.org/conferences/?conf=fhpc17 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication ------ AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. ------ Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Program Committee: ================== Phil Trinder (co-chair) Glasgow University, UK Cosmin Oancea (co-chair) University of Copenhagen, Denmark Jost Berthold Commonwealth Bank of Australia, Australia Kei Davis Los Alamos National Laboratory, USA Zhenjiang Hu National Institute of Informatics, Japan Gabriele Keller The University of New South Wales, Australia Rita Loogen Philipps-University Marburg, Germany Patrick Maier Glasgow University, UK Geoffrey Mainland Drexel University, USA Gihan Mudalige University of Warwick, UK Louis-Noel Pouchet Colorado State University, USA Mary Sheeran Chalmers University of Technology, Sweden