From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 71FA2E0380 for ; Mon, 15 Aug 2022 08:42:48 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ifl21.publicity@gmail.com; spf=Pass smtp.mailfrom=ifl21.publicity@gmail.com; spf=None smtp.helo=postmaster@mail-ej1-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ifl21.publicity@gmail.com) identity=pra; client-ip=209.85.218.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ifl21.publicity@gmail.com"; x-sender="ifl21.publicity@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ifl21.publicity@gmail.com designates 209.85.218.42 as permitted sender) identity=mailfrom; client-ip=209.85.218.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ifl21.publicity@gmail.com"; x-sender="ifl21.publicity@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:35.190.247.0/24 ip4:64.233.160.0/19 ip4:66.102.0.0/20 ip4:66.249.80.0/20 ip4:72.14.192.0/18 ip4:74.125.0.0/16 ip4:108.177.8.0/21 ip4:173.194.0.0/16 ip4:209.85.128.0/17 ip4:216.58.192.0/19 ip4:216.239.32.0/19 ~all" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ej1-f42.google.com) identity=helo; client-ip=209.85.218.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ifl21.publicity@gmail.com"; x-sender="postmaster@mail-ej1-f42.google.com"; x-conformance=sidf_compatible IronPort-SDR: 3VesXDMYU6ZoYtrmN1EdTZkhb2zkOm8c3iOw56ulpEZBB6PfYFRLvbBWDC69OYFr3nEMbVstZi 0cAfIQWA7qwqnSevdSEAjPPjLGmVHS088IG41rYrUhc0WFuFeOYs29tvzOPdmsElrKqEbDqLmz 3gpjLRZA5LchipBGq1eUtz8QSjzH6/FqxIFMVpkNdjJminFvgyLv8QHECMu4aSwrw/1113oSVQ fi96u8ATZCrq5mDVn+WUblmO2+kGkBK3bxh2ZS4nnchn6Qs80WrNkmlpKFPOqmhhZmlIdX6vJ4 PbaDeFRtW/GiKRPaY49wXoT+ X-IPAS-Result: =?us-ascii?q?A0CwBgAD6vlifyraVdFag3mBAzMBTVYvBAtFgwKBTIEjj?= =?us-ascii?q?USCJYs0gQmEHo1JA1QLAQMBDTQOBAEBhQdzBoQCAh0HAQQ0EwECBAEBAQEDA?= =?us-ascii?q?gMBAQEBAQEDAQEFAQEBAgEBAgQEARMBAQ0LCQcICgcODgVgAWEDAUSBT4FPJ?= =?us-ascii?q?QsDMQ2CNQyEGgsGHQEbCgEBEgMNBQMNLQEJAiQBEQEFASI1glyCbAEDMgMQN?= =?us-ascii?q?wGLAIx9gh+BBEKLMoEVBReBAYIJBoFAAYMNChkoDWqBWQIBBhKBFBeGToE1A?= =?us-ascii?q?QGHaYEZgRCBFTaDMoEFgV0CAoILgykXgk4EiD0jkAsEBwMEBQEGDgMDAiEBA?= =?us-ascii?q?gFEHgIJAyMRAwsQERUYBAgBBAMBAQEOAgUHAgYDAwICAgIFAQIKAgECBAMGB?= =?us-ascii?q?gIDEAECBAEKBAIDCAIHAwIGBAoEAggCBAUDDQEDBQIDAQEDAwIEAQIBAQMIA?= =?us-ascii?q?QMCAwMCAgICBQIDAgICCQMEAQcDAgMBBAMBAgoEBAMEAgIHAgcCBAcCAQIGA?= =?us-ascii?q?wUGAQECAQcBAQQKBAMDAwMCBQICAwIGEgYGAgQBAwQCCgICCwIHAQECAQEBA?= =?us-ascii?q?QIDAgcFCwEBAQMCAwYFAgEBAwgGAgEEAQUDAQQFAwcCAQUGAgkDAwkDAQEFA?= =?us-ascii?q?QMEAwMDAgcDAQIMBAgDAwIDBAICAgIBAwIHBQgEAgkCAgIBAgIGAgEDGgECA?= =?us-ascii?q?wUCAgkLAQQCAgMBAwEBAggECQQCAwQCAQEDAgECAgEFAg4GAQEBAQIDAwECA?= =?us-ascii?q?wEGBwIIAhwKAQMDAwICBQICAQIDAgIMAQEEAgECAQIGAQMBAgIDAQMBAgIDA?= =?us-ascii?q?gYJAgQBBQMDAgIDAQEFDgUCBAIBAgYFAgEBAQQBAwQEBgICAQMDAg4CBAEEA?= =?us-ascii?q?QIBASMDBAIDAQMXAQIBAgMDAwQGBwUCAQITAQIBAQEFAQIBAQMEBAcJAwICB?= =?us-ascii?q?AMDBQEBAgMCAQEBBwwCAgITAhMDAQYBDgUUAwIEAgIBAgIKAwECAgEDAgkCA?= =?us-ascii?q?QIBBSADAQEPJAEBAgICAgMEBwIBBAYDDQICAQEBBQYNAwIDCA0CBwMCAQMFA?= =?us-ascii?q?wICBAECBAoJAQICAQIEBQcCAQgEBQ0FCQsBAQIBAwcEAxECBQMFBQMDAgEKB?= =?us-ascii?q?QIDAQIBAQMEAQMEBgEBAgMCAgEGAgIBAQMDBAMBAgYCAgcCAwIBBAIDAwEBA?= =?us-ascii?q?QQCAgICAgMDCAMCCAcFAQYBAgEEAwICAQIHAQQBCAIBAwMFAwQBCgMPAwUDA?= =?us-ascii?q?QMDAhQKBQEFCAYJAgQFAgUDAgQCAwMCAggDAgQDAgsDAgYEAgcEDwcCAwICB?= =?us-ascii?q?QICAgICBQQDAQICAgICAgUCBAIBBQECAgECAgIEAQICBwQCAwEDBA4EBAICB?= =?us-ascii?q?wECAgEGAgcDAQIBBAMBAQQCBAECBQIEAQMBAgYCBAMKAgIDAgICBggDAwwJA?= =?us-ascii?q?gMFAgYBAQIHBAICCwEGAgcCAgECAxEBAwIBBAUFAwMDCQICAwIEAgIKAQEBA?= =?us-ascii?q?QICAQUFAgQHDwICAgQCAgIBAwICAQECAgQECRIBAQIDBgQGBQMCCBgBBgICA?= =?us-ascii?q?QECAgIDAwIGAgECCAIEAQQFAgECAgICBAEDBgIDAQECAQICAwMCAQQCBAMDA?= =?us-ascii?q?QECAQICAgMCAgIDAgIBEAIGBgECAgICAgMCAgECBgECAQIEAgcCBAMCAQICB?= =?us-ascii?q?QICAgMBAQYCBAsBAwIHBgEDAgcFAgMBAgMEAwMLBQwIAQUBAwEFHwMCAggCB?= =?us-ascii?q?wIBBQMFAQ8DAgIDAgIBBAoBAgMFAgQCAQIBBAkHAgQBAg0DAwgCBwUYAQICB?= =?us-ascii?q?wQMCgICAgUGAgQBAQIDAQIGZItPiy0nggYKJAocChAUPwUOUzcXGQRCHgwhC?= =?us-ascii?q?g+OVYMiFjqQFYEwnACBGAcBg1SJL4F6jXODZ4MeMoFRgiVJjACYLJcCjTiEZ?= =?us-ascii?q?JACAhIBGIR+ECMSgUOBfjMaIy9SgjZOAQIBAQENAQIBAQMBAgECCQEBAi4mj?= =?us-ascii?q?VMNg1uCZIgaJDE7AgYBCgEBAwmKKF0BAQ?= IronPort-PHdr: A9a23:fEVfGhI8UiPOeFrdINmcuN1sWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM30QaCBNyBo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJfQlFhCexbbxvI Bmrswnaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uiml4 Kl2VR/okz8HOCAl/2HLhMJwi6dbrwigpxx53oXYZI6YOf57cq7bYNgUR3dOXtxJWiNOGYOyb 4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQ6EdIPrnvUsMv6NL0PW u6wy6nIyi3Db/ZM1jf79YPFdREhof+IXb5ubMbd01EvFx7egVWUqIzqIzKV1vgNsmWA4OpgU Pigi28jqw1rvjevwcIsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNeuS+VKod4TN8vTW51t Sg01LELp5G1cicWxJkmwxPSb+GKfoiH7B/jSuqcJSp0inJhdb+8hRu/7Uetx+3/W8Sp1ltBs yRLkt7Jtn8X1hzT7NCKSvR8/ke92TaPyhvc5vtFIUAzk6fQNp0vwqYom5YNrUjOGjX6lUb2g aOMaEko5+ul5/7ob7n4oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em80afs/Uz9QLlTkPI2k LTVvInUJckUuKK1GQBV0oEk6xawCzepzs4UkmUALFJAYB6Hjo7pNE/SIP3gE/uzn1ChnC1oy v3GJLHtHIjBI3vZnLruY7px80tcxxAyzdBb6ZJUELYBIPfrV0/wutzYCgE1PxGuz+b/FdVyz YceWWOTDa+YLKPTsUSF5u0qI+aWZY8VvCzxJOQi5/7rlXM5n0QScrGz3ZQLcHC4AuhmI0KBb HbxmtsBC3sFvhIiTOz2j12PSSJcaGy3X6I4/z07DIOmDZzfRo22m7yA3CK7HoVMaWxcC1CMF 23od4SeVPsWZiKSOJwprjtRfrGkT8oF1Aqy/Fvxwr9ja+7V4TEwtJT51dEz6feFxj8o8jkhN 8WQz2yXB0JzmXsNTjl+iKFxpRYkjE+e26x5iP1EBPRc4vpIVkExMpuKnL8yMMz7Rg+UJoTBc 12hWNjzXWBZprMZxtYPZx04ANC+llXY2DLsBbYJlruNDZhy86TG3nG3Kdwug23e2vwHiF8rC tBKKXXgnrR2ogndA9SQ1V2EnaKrfqUAzQbC8W6CySyFu0QLGBVoX/D9VGsELlDTscy/40rDS 7G0DrFyMwVFk5fEMrZAbtzijElXbPjmMdXaJWm2njT4Hg6Gk5WLaoeiYGABxGPdBUwDxhgU5 mqDPBMiCz2JpmvfCHljFwuqbR+2t+Z5r3y/Qwk/yATig1RJ8b2z91ZVgPWdT6hWxbcYoGI6r C0yGl+h3tXQAt7Gpgx7fawab8lvqFFAnXnUsQBwJPnCZ+hrm0IefgJrvkjvywQ/C4NOltIvp W8ryww6ILyR0VdIfTeVlZ7qPbifJm739RGpI6nYvzOWmNeY/v1WruwloVHitwC1B2It9nxm1 59e1H7drpTGAQwOUI7gB14t/ksfxfmSaS086oXIkHx0ZPPs43mShpRzXbtjlkzzGrUXeLmJH wLzDcAAUs2nKehx3kOscgpBJ+dKsqg9I8KhcfKCnq+tJudp2jy83gElqMhw1FyB8y1kR6vGx ZEAlruZ0A/dDnHkkV2ls8v2hZFsajQbH275wi/hTt00BOU6bcMQBGGiLtfijNRwg8S0HWZF/ lqiDFIayeemfBOTaxr22ggahiF16TS33CC/yTJziTQgqKGSiTfPz+rVfx0CImdXRWNmgD8AO KCMhssBFAitZgktz16+4FrigrNcvOJ5JnXSRkFBe273KXtjW+2+rOjKb8lK4ZIu+SJZNYb0K VGUTuSk5QMH2SfiFGpC1Rg0cjirvtPymBkyhG+GLXl1pWbUYokqnUaZtIGaH6cBmGZcDCBj7 FufTkCxJdyo4cmZm9/Yv+ayWnjgHpxffC/3zJ+R4S6y5GlkGxq6zLi4ntzqFxR/0DeujYE7E 3WV6kylMs+3jfffU6ovZERjCV7i5tAvH4h/ltB1n5QMwT0BgY3T+3MbkGD1ONEd2KTkbXNLS yRYprydqAXjxkBnKWqEgozjUXDIiMpvY4PjJHsL0CY85MFWGY+b6bVFmW1+pV/y/mezKbBt2 ywQz/cj8itQgu8N4lNr1jiXBrEZHFVJFSPpnhWMqdu5qe8EAQTnOaj13014k9e7CbiEqQwJQ 3f1dKApGipo59l+OlbBgzXjr5vpc97KYZcPpwWZxl3e2vNNJst7xZ9ozWJ3fHjwtno/x6sng AxyiNuk6ZOfJTwl/brlUEUFcGSkP4VJpm6r1eEEwo6Xx9z9QMknQG5QGsK2FbTwV2tD0Javf weWTG9i9DHCQeCZRUnHrx0+53PXT8L1aTfNeChfnY0kHF7HfARemFxGA298x8J/T1HwgpSmK RcchHhZ50ak+EQQjLsyal+nFD+Y/Vngay9oGsHHfFwPsV4EtwGNdpbHpuNrQ3MBocbn9V3Rb DTdP0MRUwRrEgSFHwyxZOH/o4mdtbHCVqzmaKKRKbSW9b4EDqnOmMLpi9o8uW7Lb5THP2E+X adihAwZBiE/QJ6fw3JWGkl132rbZsqf7n9Q4wVRqcayuLTuUQPrvs6UDqdKdM5o41awiLuCM OiZgGB4LyxZ39UC3y2Azr9Xx1MUhyx0ElvlWb0dqS7ASr7Rka5LHlYabS10Ls5B86M72EFEJ 8fajtr/0rMwgOQyDh9JUlnom8fhYsJvQSn1LFTcGEOCL6iLPxXOysDzJK6+EPhe0L8SuBq3t jKWVUTkO3XLljXkUQyuLfAZjCyfO0872sn1eRJsBG7/CdP+P0fjYZkn0HtsmO1y2imZUAxUe SJxeE5MsLCKuCZRg/EkXndE8mIgNu6c3SCQ8+jfLJ8S9/ptGCV90exAsxFYg/NY6j9JQPttl W7ctNlr9hunnO3Vk3x/TRBKqz1KmJOjskBrOKGf/Z5FEyWhnlpF/SCLBhIGqsEwQMXooLxVw 8PTmbjbLT5D95fZ/5JZCZSObs2AN3UlPFziHzueX25nBXa7cGrYgUJaivSb8HaY+4M7ppbbk 50LUrZHVVYxG5vy72xqGdUDJNF8WTZ2ydZzY+YH4HO/qF/aQ8AI5/gvt9qXCPTrbTub1PxKO 0FOzrT/IoAecIb83h46AmQ= IronPort-Data: A9a23:UDJHXqO3AJQzTpXvrR2ZkcFynXyQoLVcMsEvi/4bfWQNrUon1zUCm mtLDWuGO/eDamf8fdsiPIyz8RxVu5SDyoVgTHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EkLd9IR2NYy24DpWl/V4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB3XlPdKw sVXuKasEzgGM4eTnu8WdylXRnQW0a1uoNcrIFC6uM2XikDEKj7in68oA0YxMokVvO1wBAmi9 9RCcGFLPk3F3bvmhu7hIgVvrpxLwM3DPY0b4Cgm1SzTCfctQIzSa6rP7N5cmjw3g6iiGN6EP pBINmsyM3wsZTVAJkUSVY4wudv4i0DCLBMBl3DJuK0etj27IAtZieCxarI5YOeiTsxQmgOcp 3na13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUbC6r7tk3AfVyWsUBxkbE1C8pJFVl3JSRfoBI Gsv8Do0oJIurnOEQ/OiWRazhE6L60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9mLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW1z jLT6SZi3fMciskE06j99lfC695NmnQrZl9sjuk0djj9hu+cWGJDT9L0gbQ8xagdRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQcF8r239oCDyI904DNRCyKFBYpZsldjBM B+7hO+tzMI70IaCNvIpPdrgW6zGM4C5RIy5Bpg4keaikrAoLFPdlM2fTUGX2G/pnSARfVIXa P+mnTKXJS9CU8xPlWLoL89EiOND7n1gmAv7GM+jpzz6gOL2TCPEEt8tbQreBshntv/siFuOq L53aZDaoyizpcWkPUE7B6ZIfQ5URZX6bLiqw/FqmhmreFQ9QTB6W6CAmNvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiZi8xZbXxc4x4qH5nbyUgMUz5iXcmaIerqqwYcsJvL7Ug8eViy99yT uUEK53QWKQRFmyf9mRPd4T5oaxjaA+v2lCDMi+jVz41IMxtSgnPzdn7c1a97yIJFCe26ZAzr uT4hAPWSJYOXSp4C8PSZK79xl+9pylPl+d7Xk+OKd5WIR2+/I9vIi33r/k2P8BccUWZlmXGj 16bWE5Kq/PMrok59MjyqZqF94r5QfFjGkd6HnXA6enkOCTf+F2ly9ASXeuNewfbSzqoqqivY ONiz8b8PucCq1BEvtcuCL1s168/u4LiqrIGnARpGHLHMwaiBr96eCLU2MBOsuhAxOYct1fsH E2I/dZeNPOCP8a8SAwdIw8sb+Ki0/AIm2mNsa5kfh2ivCInrqCaVUhyPgWXjHAPJrVCNo54k /wqv9Qb6lDihxd2YMyKiDtYqzaFInAaCf51s5gbBMrmiFNuxA0YJ5PbDSDy7deEbNAVahsmJ TqdhazjgbVAxxqdLyBiSyCVhecN144TvB1qzUMZIwjbkNTygPJqjgZa9i46T1gIwxhKuw6p1 rOH66GoyWSyEzZUaAxrWmmtH0RMBkTc9BCrjVQOk2LdQg+jUWmlwKjR/wqS1Bhxzo6eVmEzE HKkJKLNXjPjfcW31Sw3MaKgg+K2VsR/r2Uuh+j+d/lo3PAGjf7NjaqnZG5OoBziaS/0aIsru sEylNtNhWbH2eL8bkH150R2FVjddfxcGFF/fA== IronPort-HdrOrdr: A9a23:8VZczauEHDv7JnyURXPqQe0F7skDV9V00zEX/kB9WHVpm62j5r uTdZEgvyMc5wxhPE3I9erwXZVoIkmslqKdg7NhW4tKNTOO0ADITL2KwrGSoQEIcBeOj9K1u5 0QC5SWy+edMbG5t6vHyTj9PdAnztyKtJqlgurT1DNEURxqApsQiDuRxjz1LqS+fmd7OaY= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,237,1654552800"; d="scan'208,217";a="21297957" X-MGA-submission: =?us-ascii?q?MDGvsgTNvfu3n51B/8+x8OciofRSD0AUSFm21t?= =?us-ascii?q?nc1BouANlE0Nvor5LYRNxx2gPq/qDAmSBX1AtrPYj2GNyPS0eo30rxCH?= =?us-ascii?q?3Sv9LVr1uQkbjS5n1jugevXq3xVZHlLb0l8QlMaqCPOqplaEj5fLupm8?= =?us-ascii?q?9TpQq7e9rUbgqRVcZ7WLeoZQ=3D=3D?= Received: from mail-ej1-f42.google.com ([209.85.218.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Aug 2022 08:42:47 +0200 Received: by mail-ej1-f42.google.com with SMTP id a7so12046755ejp.2 for ; Sun, 14 Aug 2022 23:42:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:sender:mime-version:from:to:cc; bh=dThaJC0uV8ynp4hKSBffaGRfi4X9eOdc7Xq6djJUE6E=; b=Or0MBw1N9ZrgqpgjRvQtQUy2jdPZr43rLzNLIW2Pa8UzPHuegTvazekYcSKYgk5wR+ 6MlciCV0zutjolai9snq+1S/sv7yMZ0HtI86b5W1V+jJKr0pEyQhEyvzGbzmbpFfhbjA G5jjCjBcchFLPM8NhuqeFCeJjuyAul/S0Aeq8HuQE78mzBnpp/il54FndS7z43/Y76YG j02/ZBn2q2spJ65s8tr13hbHDXqQup3lvwYwx1GfAdGN/ZF6sAw0zSgffbrdKjY/DLHV XenIziTGH4JIkMJh5QLdF5lG5/15SytyUCBzhcVaph52hzebRNsljtxT4Fp55KVkgzeh S7qQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:sender:mime-version :x-gm-message-state:from:to:cc; bh=dThaJC0uV8ynp4hKSBffaGRfi4X9eOdc7Xq6djJUE6E=; b=asg/hNL0jmWMhTZFJQg4oq2UpyDDUOt/rAujPrT8RQvexHBzy2e+gu0SLfeSPk79sh Lcb6afDVFYvSQKdTFM0rezNxar7hRUBRhhNdGjBDUd5zAL7wPBchOPG0emggjD+zOdly E+3PX4927zrqeZ/SuyEHj5lOYRhKiFlwtpzgSbx/6B8RUEsvU3BIayLMKJbQTu4Q94LC sFSzwfbW9ITimoIfwvtR3Glk8+3VtyT+B0iPhbJc6peh9L5w7bRwbav15wXRqi8erhAi eRZi6Cif1I74wJEQTEizPtT0w35uLWQzsynKxvtwEeW7jFc9teuHJuYgzaxbmyiQaxUf kpRQ== X-Gm-Message-State: ACgBeo0v7QzjJHvTK0MpNNdC7dDe8Grg+bgfJUz4MlgQANb91NfWZIsn 00fD3tvLItLuu0//86wo3P4Se2h0c0lr3Sl0UG/CpVSc X-Google-Smtp-Source: AA6agR7xSZcLUrrIwh6pZPULziTvN13S6RNWGd4yL6gPfqAq3oQ7nSzwxvrId0Pc3CgIjM9dyHhvEyFEmim+TtEa2ig= X-Received: by 2002:a17:907:b590:b0:730:9e4c:3d5f with SMTP id qx16-20020a170907b59000b007309e4c3d5fmr9612250ejc.169.1660545766392; Sun, 14 Aug 2022 23:42:46 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Sun, 14 Aug 2022 23:42:45 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Sun, 14 Aug 2022 23:42:45 -0700 MIME-Version: 1.0 Sender: Pieter Koopman From: Pieter Koopman Date: Sun, 14 Aug 2022 23:42:45 -0700 X-Google-Sender-Auth: hLAdONlWB8qzozSjeKRkozWy728 Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000008a074905e641f003" Subject: [Caml-list] IFL22: Early registration deadline August 15th --0000000000008a074905e641f003 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *IFL 2022Frederiksberg Campus of Faculty of Science, UCPH, CopenhagenAugust 31s-September 2nd, 2022* *Early registration deadline: August 15th AoE * *See **https://ifl22.github.io/* * for more information.* *CALL FOR PARTICIPATION:* The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022) Copenhagen, August 31st-September 2nd, 2022 *Important dates* Submission deadline of draft papers August 8th, 2022 (EXPIRED) Notification of acceptance August 9th, 2022 (EXPIRED) Early registration deadline August 15th, 2022 (AoE) Late registration deadline August 31st, 2022, 12:59 CET (UTC+2) IFL Symposium August 31st - September 2nd, 2022 (We-Fr) *Scope* The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. IFL 2022 is held in beautiful Copenhagen, Denmark and is a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming. *Invited speakers* IFL 2022 is pleased to announce keynote talks by the following three invited speakers: * Peter Sestoft, Professor, Head of Department, IT University of Copenhagen, Denmark: "Abstract machines and functional language implementation" * Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new functional-logic language" * Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides: "Talk title to be announced" *Venue and registration* The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Days 1 and 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditorium at B=C3=BClowsvej 17. For registration and fees, please consult the symposium web site at https://ifl22.github.io/. Please notice that the early registration date is August 15, 2022 (AoE). *Accepted papers* * Asynchronous Shared Data Sources. Mart Lubbers, Haye B=C3=B6hm, Pieter Ko= opman and Rinus Plasmeijer. * Heuristics-based Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk and Jurriaan Hage. * Verified Technology Mapping in an Agda DSL for Circuit Design. Jo=C3=A3o = Paulo Pizani Flor and Wouter Swierstra. * Creating Interactive Visualizations of TopHat Programs. Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden. * An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin. * A Structure Editor with Type-Safe Copy/Paste. Hans H=C3=BCttel, Christoff= er Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen. * How to fold and color a map: Comparing Use-Cases of Tree-Fold vs Fold-Left. Jim Newton. * Compiling a functional array language with non-semantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen. * Systems of partial values and their applications in Haskell. Natasha England-Elbro. * First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer. * Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette Bieniusa. * Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and Mart Lubbers. * Ztrategic: Strategic Programming with Zippers. Jos=C3=A9 Nuno Macedo, Ema= nuel Rodrigues, Marcos Viera and Jo=C3=A3o Saraiva. * Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage. * Jeopardy: An invertible functional programming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen. * The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alexey Radul and Adam Paszke. * Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen, Niki Vazou and Lindsey Kuper. * Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix Mikkelsen, Robert Gl=C3=BCck and Maja Hanne Kirkeby. * A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto Hamana. * On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz. * Compiling Haskell for Energy Efficiency: Analysis of Individual Transformations. Bernardo Santos, Jo=C3=A3o Fernandes, Maja Kirkeby and Alb= erto Pardo. *Post-symposium peer review * Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers have been screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that draft papers that are accepted for presentation be presented physically at the symposium. After the symposium the authors are invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper will be accepted or rejected for the formal proceedings. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. *Peter Landin Prize* The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. *Sponsors* IFL 2022 is financially supported by - Meta (Silver sponsor), - Well-typed (Bronze sponsor), - Funktionelle K=C3=B8benhavnere (Bronze sponsor), and - University of Copenhagen (administrative support, host). *Organisation* General chair Fritz Henglein, University of Copenhagen Program chair Martin Elsman, University of Copenhagen Communications chair Troels Henriksen, University of Copenhagen *Program committee* Laura M. Castro Universidade da Coru=C3=B1a, Spain David Christiansen Haskell Foundation Martin Elsman University of Copenhagen, Denmark (chair) Matthew Fluet Rochester Institute of Technology, USA Clemens Grelck Universiteit van Amsterdam, The Netherlands Zhenjiang Hu Peking University, China Robin Kaarsgaard University of Edinburgh, Scotland Gabriele Keller Utrecht University, The Netherlands Oleg Kiselyov Tohoku University, Japan Neil Mitchell Facebook Stefan Monnier Universite de Montreal, Canada Magnus Myreen Chalmers University, Sweden Cyrus Omar University of Michigan, USA Romain P=C3=A9choux University of Lorraine, Inria, France Rinus Plasmeijer Radboud University, The Netherlands Morten Rhiger Roskilde University, Denmark Peter van Roy Catholic University of Louvain, Belgium Olin Shivers Northeastern University, USA Peter Thiemann University of Freiburg, Germany Marcos Viera Universidad de la Rep=C3=BAblica, Uruguay Meng Wang University of Bristol, UK [image: beacon] --0000000000008a074905e641f003 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

= IFL 2022
Frederi= ksberg Campus of Faculty of Science, UCPH, Copenhagen
August 31s-Septemb= er 2nd, 2022

Early reg= istration deadline: August 15th AoE=C2=A0

See= =C2=A0https://ifl22.github.io/=C2=A0for more information.

CALL FOR = PARTICIPATION:


Th= e 34th Symposium on Implementation and Application of Functional Languages = (IFL 2022)

Copenhagen, August 31st-September 2nd, 2022


Important dates<= /b>


Submission = deadline of draft papers =C2=A0 August 8th, 2022 (EXPIRED)

= Notification of acceptance =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0August = 9th, 2022 (EXPIRED)

Early registration deadline =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 August 15th, 2022 (AoE)

Late regis= tration deadline =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0August 31st, 2022= , 12:59 CET (UTC+2)

IFL Symposium =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 August 31st - S= eptember 2nd, 2022 (We-Fr)


<= p class=3D"gmail-p2" style=3D"font-variant-numeric:normal;font-variant-east= -asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-= family:Courier;margin:0px">Scope


Th= e goal of IFL is to bring together researchers and developers actively enga= ged in the implementation and application of functional programming languag= es and function-oriented programming. IFL 2022 is held in beautiful Copenha= gen, Denmark and is a venue for researchers to present and discuss new idea= s and concepts, work in progress, and publication-ripe results related to t= he implementation and application of functional programming languages and f= unction-oriented programming.


Invited speakers


=

IFL 2022 is pleased to announce keynote talks by the following th= ree invited speakers:


= * Peter Sestoft, Professor, Head of Department, IT University of Copenhagen= , Denmark: "Abstract machines and functional language implementation&q= uot;


* Lennart Augusts= son, Principal Programmer, Epic Games: "Verse - a new functional-logic= language"


* Thom= as Gazagnaire, Chief Technology Officer and co-founder, Tarides: "Talk= title to be announced"


Venue and registration


The symposium will be held physically on the Frederiksberg = Campus of the Faculty of Science at the University of Copenhagen. Days 1 an= d 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Tho= rvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditoriu= m at B=C3=BClowsvej 17.=C2=A0


For registration= and fees, please consult the symposium web site at=C2=A0https://ifl22.github.io/. P= lease notice that the early registration date is August 15, 2022 (AoE).


Accepted papers


* Asynchronous Shared Da= ta Sources. Mart Lubbers, Haye B=C3=B6hm, Pieter Koopman and Rinus Plasmeij= er.


* Heuristics-based= Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk= and Jurriaan Hage.

<= span class=3D"gmail-s1" style=3D"font-kerning:none">

* = Verified Technology Mapping in an Agda DSL for Circuit Design. Jo=C3=A3o Pa= ulo Pizani Flor and Wouter Swierstra.


* Creating Interactive Visualizations of TopHat Programs. M= ark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden.


* An SQL Frontend on top of OCaml for = Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin.


* A Structure Editor with Type-Safe Copy= /Paste. Hans H=C3=BCttel, Christoffer Lind Andersen, Nana Gjerulf Sandberg,= Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen.


* How to fold and color a map: Comparing Use= -Cases of Tree-Fold vs Fold-Left. Jim Newton.


* Compiling a functional array language with non-se= mantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henr= iksen.


* Systems of pa= rtial values and their applications in Haskell. Natasha England-Elbro.


* First-Class Data Types i= n Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lu= bbers, Pieter Koopman and Rinus Plasmeijer.


* Set-theoretic Types for Erlang. Albert Schimpf, St= efan Wehr and Annette Bieniusa.


=

* Strongly-Typed Multi-View Stack-Based Computations. Pieter Koop= man and Mart Lubbers.


= * Ztrategic: Strategic Programming with Zippers. Jos=C3=A9 Nuno Macedo, Ema= nuel Rodrigues, Marcos Viera and Jo=C3=A3o Saraiva.


* Higher-ranked region inference for polymorp= hic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage.


* Jeopardy: An invertible functional pr= ogramming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirked= al Thomsen.


* The Foil= : Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alex= ey Radul and Adam Paszke.


* Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan S= hen, Niki Vazou and Lindsey Kuper.

<= br>

* Towards Inversion of Tail-recursive Term Rewriting Systems. = Maria Bendix Mikkelsen, Robert Gl=C3=BCck and Maja Hanne Kirkeby.


* A Confluence and Termination = Checker for Haskell Rewrite Rules. Makoto Hamana.


* On Generating Out-Of-Core GPU Code for Multi-= Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz.


* Compiling Haskell for E= nergy Efficiency: Analysis of Individual Transformations. Bernardo Santos, = Jo=C3=A3o Fernandes, Maja Kirkeby and Alberto Pardo.


Post-symposium peer review=C2=A0


Following IFL tradition, IFL 2022 will use a post-= symposium review process to produce the formal proceedings.


Before the symposium authors submit d= raft papers. These draft papers have been screened by the program chair to = make sure that they are within the scope of IFL. The draft papers will be m= ade available to all participants at the symposium. Each draft paper is pre= sented by one of the authors at the symposium. Notice that it is a requirem= ent that draft papers that are accepted for presentation be presented physi= cally at the symposium.


After the symposium the authors are invited to submit a full paper, incor= porating feedback from discussions at the symposium. Work submitted to IFL = may not be simultaneously submitted to other venues; submissions must adher= e to ACM SIGPLAN's republication policy. The program committee will eva= luate these submissions according to their correctness, novelty, originalit= y, relevance, significance, and clarity, and will thereby determine whether= the paper will be accepted or rejected for the formal proceedings. Papers = that are accepted for the formal proceedings are published in the Internati= onal Conference Proceedings Series of the ACM Digital Library, as in previo= us years.


Peter Lan= din Prize


The Pete= r Landin Prize is awarded to the best paper presented at the symposium ever= y year. The honored article is selected by the program committee based on t= he submissions received for the formal review process. The prize carries a = cash award equivalent to 150 Euros.


Sponsors


IFL 2022 is financially supported by=C2=A0

  • Meta (Silver sponsor),=C2=A0=
  • Well-typed (Bronze sponsor),=C2=A0
  • Funktionelle K=C3= =B8benhavnere (Bronze sponsor), and
  • University of Copenh= agen (administrative support, host).

=

Organisation


General chair =C2=A0 =C2=A0 =C2=A0 =C2=A0 = Fritz Henglein, University of Copenhagen

Program chair =C2= =A0 =C2=A0 =C2=A0 =C2=A0 Martin Elsman, University of Copenhagen

=

Communications chair =C2=A0Troels Henriksen, University of Copenhagen=


Program com= mittee


La= ura M. Castro =C2=A0 =C2=A0 =C2=A0 Universidade da Coru=C3=B1a, Spain

David Christiansen =C2=A0 =C2=A0Haskell Foundation

Martin Elsman =C2=A0 =C2=A0 =C2=A0 =C2=A0 University of Copenhagen, Denm= ark (chair)

Matthew Fluet =C2=A0 =C2=A0 =C2=A0 =C2=A0 Roche= ster Institute of Technology, USA

Clemens Grelck =C2=A0 =C2= =A0 =C2=A0 =C2=A0Universiteit van Amsterdam, The Netherlands

Zhenjiang Hu =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Peking University, China

Robin Kaarsgaard =C2=A0 =C2=A0 =C2=A0University of Edinburgh= , Scotland

Gabriele Keller =C2=A0 =C2=A0 =C2=A0 Utrecht Uni= versity, The Netherlands

Oleg Kiselyov =C2=A0 =C2=A0 =C2= =A0 =C2=A0 Tohoku University, Japan

Neil Mitchell =C2=A0 = =C2=A0 =C2=A0 =C2=A0 Facebook

Stefan Monnier =C2=A0 =C2=A0 = =C2=A0 =C2=A0Universite de Montreal, Canada

Magnus Myreen = =C2=A0 =C2=A0 =C2=A0 =C2=A0 Chalmers University, Sweden

Cy= rus Omar =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0University of Michigan, U= SA

Romain P=C3=A9choux =C2=A0 =C2=A0 =C2=A0 =C2=A0Universit= y of Lorraine, Inria, France

Rinus Plasmeijer =C2=A0 =C2=A0= =C2=A0Radboud University, The Netherlands

Morten Rhiger = =C2=A0 =C2=A0 =C2=A0 =C2=A0 Roskilde University, Denmark

Pe= ter van Roy =C2=A0 =C2=A0 =C2=A0 =C2=A0 Catholic University of Louvain, Bel= gium

Olin Shivers =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0North= eastern University, USA

Peter Thiemann =C2=A0 =C2=A0 =C2= =A0 =C2=A0University of Freiburg, Germany

Marcos Viera =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Universidad de la Rep=C3=BAblica, Uruguay

Meng Wang =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Universit= y of Bristol, UK


3D"beacon" --0000000000008a074905e641f003--