From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 53E5A5D5 for ; Tue, 7 Jun 2022 08:34:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=kK3zZL+wBezoYNlTiQhu1rKXGB2Aw8I3qhZIlKI+oRY=; b=GVALjTZ+g3Q2CYIBJ+VGFjd/SSEkg3tuIQ4AindAqhGfKiOkyoM0Xj0W +mGEMvOG36hnmeCtbyYgdGHbyuVJKnbjXgbnUPBjRBhOcpnjEQP93gvWo ZD6VX118W8X4Vmk9oYCaZjiP5RzdYNxKFmwG0QE4totQiljEZLTVdt6ab I=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@googlemail.com X-IronPort-AV: E=Sophos;i="5.91,283,1647298800"; d="scan'208";a="39760451" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jun 2022 10:34:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6F714E0B4E; Tue, 7 Jun 2022 10:34:39 +0200 (CEST) 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 68154E02B4; Tue, 7 Jun 2022 10:34:33 +0200 (CEST) IronPort-SDR: JQW/CnRZeP6AmwowojSd16K6Z704d5eTNvgqFS1ED5SVMaJ2ywx0pLDEPfso5SYA3d64n5OhiO 47p4upLIJb13tky+cYSTnvD2hQjzmQ9jmdLIiyqioh9c7zFYSeX5zOXqckRErz+A8eb6KWIFRY 8HE6kOcgn9qZR0zkwmwnUSndusdQHVsygUBDe85fA6nZwFN57UX2UDbWkSwwWA9+j7s3FhgPic +cDap85ME1rk5znPF28UetRaZO9OO88rTkeCsP9r5DgA4qZXPzA8NgiS8boIo7SZgbkYeF2fd1 4qbWlrEQ0gm+uNYMVwJ03FB1 X-IPAS-Result: =?us-ascii?q?A0C1BgAYDZ9ifzWgVdFaDg4BAQE8AQEEBAEBAgEBBwEBF?= =?us-ascii?q?YFPAoF6KDMBTFUuBAtEhE6OaIIlgRabUxSBaAsBAwENEgEBGAsLBAEBikoCH?= =?us-ascii?q?QcBBDAJDgECBAEBAQEDAgMBAQEBAQEDAQEFAQEBAgEBAgQEARMBAQ0UBwgKB?= =?us-ascii?q?w4OZQFhAwFEgU+BTyULAzENgjUpAYNlAQUBEAsGHQEnEgMSEA8CJgICIhIBB?= =?us-ascii?q?QEhAQESCQsOggNYAYJjAQMxD55ngQRBizKBMYEBggkGhEsKQQ1ngVwCBxJ/L?= =?us-ascii?q?AGHPoMJhEIQgVVEgRU2gj0HboEFToI8ARIBg3eCZQSOZoUJgzEKAwQHBTsBA?= =?us-ascii?q?gFGNBKBIXEBCAYGBwoFMgYCDBgUBAITEk0GHQISDAoGFg5CEhkMDwMSAxEBB?= =?us-ascii?q?wILEggVLAgDAgMIAwIDLgIDFwkHCgMdCAocEhAUAgQTHgsIAxkMEywJAgQOA?= =?us-ascii?q?0UICwoDEQQDExgLEQUIEAQGAwkvDSgLAwUPDwEGAwYCBQUBAyADFAMFJwcDI?= =?us-ascii?q?QcLJg0NBCMdAwMFJgMCAhsHAgIDAgYXBgICGVgKJg0IBAgEGAQdJRAFAgcxB?= =?us-ascii?q?QQvAh4EBQYRCQIWAgYEBQIEBBYCAhIIAggnGwcWNhkBBV0GCwkhFgYpEQUGF?= =?us-ascii?q?gMjSicFSA8pNTY6FwwomkgKHQMBE4E+gSaSAhaQJ54ENAcpgyiBQwyJTpRzM?= =?us-ascii?q?YN1jD+YJ5ZpII0NlE0VhRQQI4E+gSVwNBkjgQGCNwlFAQIBAQENAQIBAQMBA?= =?us-ascii?q?gECCQEBAlQBjV+DW4UUhQUIAUk3MQI5AgYLAQEDCY90AQE?= IronPort-PHdr: A9a23:fwj4Kh9aX/hNZf9uWdixngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqGvagm1ASBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcq62/qv95HPYwhEiyaxbL1vJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84 Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWVOUMZfWSJCH42yc ZcAAvEdPepEtYTxu0cCoQe8CASqGejhyiVIhnjz3aAi0OosDwHI0hY9FNwUrXTbt9H1NKYOX uC00KnJzSjIYvRX2Tjh5ojIagotoemRXb1rdcrRyFUgFwLZjlSQsoHlMDSV1uMCs2if8eVgU Pigi28jqw1rvjevwcIsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNQuSybNIZ6Xt8vTmVnt Sg61rAKp5C1cSgXxJopxxDRa+CKfoaM7xzjSuqfISp1iG57db+hgxu+7FasxO3yW8e61ltBs yRLkt7Jtn8X1hzT7NCKSuB8/keuwTaP0xrc6udeLUAzj6rbJIYtwr8smZodqUTMAij2mEP4j KCIbEUr5O6o5Pj5bbn8oZ+cLYB0hwfjOaotgsyyGfo0PhQKUmSB+umx1Kfv8VD4TblWlPE7k qfUvZbHLsoBvKG5GRVa0oM75ha/ETim1NMYkGECLF1feRKHi5HlO1bUL/zlFPu/jVShnTlxy /DJOb3hBZrNLnzdn7v7Ybl97EtcxBIyzdBZ+Z1UFqkMLOzvVkL1rtDVDR80Pxapz+vmFNlxz IMTVGyXDq+cKqzSsFuI5uw1I+mLYY8YoDf9JOQr5/72l3M5gUIdcrKt3ZsWdH+4H+hmIkWCb HrjhdcBFmgKvg4gQ+zvklKCUDpTa2yuUKI74zE3EISmApzbSYC3nLOBxDu7HoFRZm1eFFyAC W3oeJmcW/cQdCKSJddsnSAeWrikT48tzBWutA7hy7p7NefU4S0ZtZf71Ndv/eHTlBcy9SZ1D 8uHyW2NQXt0knsSRzAqxKB/vVB9ylCb3KdkhPxYDMVf6O9NUgcnLpHR1Pd6CtD3WgLZZNiFU lemQtO8ATEwVN092dEOY1wuU+ml2xnM0yPiV7Yam7WjAJ0v7rma1Hj4I8Nw0W2Az6R3yxEvT cZJKXbu0qdw+g7PHKbCiAOEkqyhM6kQwXiJvG6b1XGDuQkMWRZoSqjAdXQefVfN68jy/QXDQ b7oDbE6dAdMn4rKIKpFbtruxQFMRfjnP9P2eGWpm2a5QxeO3LKFKoTwLSFV1yzYDA0AkhsPt SKNPA06QyOguH72DTp0FFupbVm6taF1oW+2QUguzgyRJxlq3qa49RkPhPGHY/YP1/QPsXFl4 z50HV2+0tSTENGAqg9sNPFXYdI241pBkH/CuhZmFpqnKa9kmxgZaQsh+wvl0AwyAYFdm4B+p 3QziQF2NKiw0VVbdjre04qmfvXaIW715Fj7ZqXR3Umb0dCY/Y8C4/M/sxPkpg7/UgIv6XFu1 dYQymaR/YnLCwwJGcb8SEI+8Rc/vqzXeTU84IXP/XB2NaCyvXnFwd1/QKNv5F3oU9ZEO76fD w71FdZQT5ygM+wjgUDsaQoJOvtV6bQ/MuupcPyJ3KOkJuF9hCnghmNCtsQ13FrJ8S40HuDQm pAB6/qDmBaaETH42hPpvN3x0dRKeDc6FXH5zy/4GMhYbetvftBPQWinJse22pB6hoXxEypX/ VupBk9D3M6yZTKTdVu7wAhX01gNrHWj3yCxmXg8vAkCg++F0SjH3+nuPE4oAkVmAXNviV7wL ISchMtcRkmjYk4kmAbzoQ76zrNYqaB7Zz3TSFxLcizyB2FrSai9sr7EZNRAvtdgsSxMU+m4Z RWRQ7Dw608a2jjgEm9agTsyeTyCupzinBF+jCSaNnkl6DLYf893yRbF08fdSuZV1zxOECh+h z7bB0KLJNim5dGdkb/KueX4UHiuANkbcDLix46EsCb++HZnGwb3y/Gok9fqFQw3lDLg2sNxf S7M6h31Z8/i3OKnMrQjNkotGUTx8dEyToI7j5A9nrkbwj4Hh4ieu3cLjDG3edBfxaX4JC4IQ SIMxZvI+wX/8EhnMnWPgYXjWSPZis1/e9jyNmUIxiN468FRFI+f870Cmy8j5hKgtwXeJPx0m DhVneM073Ffh+gPtyIhzyaARLwRSw0QJyXnlBmUqs2lob9MLDKyarWqz2JklNuiAa3HpghaV zD+YJh0WWdq48F+O0mEhGf+7oTlc8KVafoWvRidiAvNla5eIcR13uEPgW9jOHnh9Sk+zup+i R11wbmxp86MLngr8a6kVFoQKj34YNkCvzXqgqdV1pKK342oBIQkHjIEXZDARunuGzcP8/nrK lDKWCE8p3CBCP/ZAUfL9EdrqGjeFYyDM3CMOGIU18skQh6RLU8ZjQwJCnFygo8hGxvvzcrnd 1p/7T1ZskLpshZXj+tuMR7iVGzSjAOpcSsvDoOSJQEQ8xlP4UGTPMCDuKY7DS9f5ICk5FifJ GuBegFgBmYMXkWOQVfzeLClo8TDpbu2HO27etrlT43GkfFUU/aDxI6+mt9n9DiUcN2SNH1jB Pwny2JMWnd2H8nckjQLDScQknSePIaguB6g93gv/YiE+/PxVVeqvNPXY1MzGdBm+hTsxLyGK /bVniFybzBRypILw3bMjrkZxl8bzS90JHG2CbpVkynLQerLn7NPSQYBYnZyP8VQqboh1A1MM s/Hm/v60bl3ivMwAlZBE1fmn5LhftQEdlm0L0iPH0OXLPKDLDzPzdvwZPa9QrNIyv1JvRmxs jeHAmfsOTOMkzTsXhGrd+pLiXLTJwRQ7ae6dBslEm3/VJTmZxm8ZcdwliEzyKYoi2niMGcdN X17ehoIoODLqyxfhfp7FipK6X8NwfCsvSGf4qGYL58XtaEuGSFoj6dA5398zbJJ7SZCTfgzm S3Ir9corUv02u+IgiFqVhZDsFMpzMqCoFliNKPF95JBRWeM/RQD6n+VAggLoN0tA8PmuqRZw NzC3KzpLzIK/9XR9MoaT8/aTaDPeHsqPwKvACPeCAoOTCK6HW7YgENZnfSb93nTpZ8/69Dtl JcIVr5HRQktDPpJbyYtVNcGIZpxQnYlievB1J9OtSf49UeJApgB7fWlHrqIDP7iKSiUl+xBb hoMm/bjKJgLc5f80ApkY0V7m4LDHwzRW8pMq2tvdFxRwg0F/X5gQ2k0w0+gZBmq5SpZFPW6h lgulwF6YO8s6CbE7FAwKV7HoSIxlA86ntCv0lXzOHbhaby9W41bEX++tkM/KtXjXgxxbAazg V1MOzDDSLZcirJhcSZgjwqW6v4tUbZMCKZDZhEX3/SeYf4lhE9dpiuQzkhC/eLZCJFmmWPGa LaUpmlbk0JmZd8xf+nLIbZRi0JXjeSItzOp0eY4xEkfIVwM+SWcYnxAtEsNP7ggby2mm44ko Q2JlSMFYHUGU/sho+573kw6POuEwifp0roFIUe0f+CSNKKWvWHcmNXAGAthkBNV0RAbpf4ri o8qaC/2Hwg3waGUFggVOMaKMgxTY8dItTDScSuIreTR0MdwNoS5GPrvSLzGv6IVj0S4WQcxS t5Uv4JRQ9/1jhmecJy0SdxNgQ8g7wnqOlifWfFAeRbR1SwCv9n61ph8m49UOjAaB2x5dySx/ Lfe4AEw05/hFJ87ZGkXWowcOzc4Qsq/zmRYtHpYSiGq2OYYwwme/hfzoSPfCDT5ZttnIvyTY Fk/bbP+sSV66KWwhVPNp9/fLG/ic8x/sNvO4uIGtr6IDPRbSbR4ukbY3YJfQjb5NgyHWc7wL J/2ZY42aNXyAXvvSV2zhQU+SMLpNcqsJKyF0kn4AJxZu46B0HU/JNewQ3sATgxoqbhJt8ceL UUTJoA2ahnyu0EiOryjdU2Gh862TT/lKCMKHaICi7zrP/oNk3VqNqjglDMhVs1okbXxqxVWA shU1leGgq/yAusWGSnrRi4DJUOW/XB/zy45cbxqiuYnnEGW7x9Gb2HNJLQvMCse55k9HQ/Af i8wUzZ+Hg7Gy9KEu17Jvfha/jMBzYkIl7Qf7T6m+MeYOWzkWbT3+8yN42x5Modg8+spdta6a sqe6MGHwWeZFciM9FXDCGnjSZ840pBROH4KGqEZ3zF4f5Vc6cwZrhNuHsYme+4VUfdq++DsM Gs+S3ZVlH5RVpvcjmZb3KHmgOqczU3WKNN7YXlm+N1Ui98ZGUaaews4o6muH8XTnm6AEC0QJ RsLqB5L70QGn5Nxeebs5MzJSoVNwnhYuaA8VCyDDZRu+1bhLwPeyVHlVPWslfCo1gNO3brt1 NccQht2FUlawa5fiEIpLLh9L6RYsJTNt3eEckbzvWSlz+XDRhEZ0crPa1jxF5bIr0L5WywYv HodHMpBlSqZGpMVnA50Lq0soRQEIYyrfFr/+y1xx4ltGOrdN4jjzFIkoHAaAiayRoAZWqc27 RSOBmUjPsv4zfetc49fSWJR5pCH/lJQkUE3djW81YIZMcZGpDgFQDlIpzyZ+tq0UsxKn8FsX Ppuap9yvWnwHKRcNd2fuXoz7/buwXHBvSghulO7zzSvCoe3SOVW+2AbEwQtYW+ZrwN8aolku neX6V3Lvl1uqq1DAaOTiExqvDtnNpVHBzIM0nn8alouFz9JtOJVLKmTeMtZCapXB1fnK1k1E vgo2FaM9Ed/kCLiYiB8gQBd/jjUQwg+USR9aljFljoZpcWqPDYbT9RDajBzNk8tziqUnidYu BtaYkBuHZseB4Qdk1n69Y5d/86HTk/1bC9YB1ptMQU31fcZnklG4h3wRA== IronPort-Data: A9a23:O3xm/66IO1v8QiOwAdaDngxRtN/BchMFZxGqfqrLsTDasY5as4F+v mIYX2GCaaneYGXwcoh3Yd7joUgDsceGmIBqGVQ5pXg3Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UoYoAwgpLeNeYH5JZSlLxqho2+aEvfDjW1nX4 Y2q/JWGULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 Op3jt+CTj0uBbXvktYvcCZCHCtSEJQTrdcrIVDn2SCS50jPcn+pxPw3SU9rZssX/eF4BWwI/ vsdQNwPRkrb1qTmnfTiFLEq259LwMrDZOvzvllhxj/BS+47S5TCSKTW9PdX2zA/gs1LFPfaI cEebFKDaTybMkIRYgxLVfrSms+CxWjYaB1C827FqKltyWr/wxR+7rvyZY+9ltuiHJ0JxC50v Fnu9G38BlQeNceD4SGU92qlwO7JhyLyHowIfJWz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c8/yMvqe01/RXuQISmGRK/p3GAs1gXXN84//AGBB+l9ZDvoDSePG8/Vh1LWu4Fi9U5TxAH7 wrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdUHWPpBPGz8OkOYgLzosVLS/Hq04Wkcd3k6 3Xb83hk3uR7Ydsjjv3jpTj6bySQSo8lpzPZCy3SV2OhqwRwPcurOtfu5l/c4vJNao2eSzFtX UToeeDOtIji7rnXzkRhpdnh+pn3vZ5p1xWC2jZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYib2MPMvOdjgUpxzpUQFKTgDfqCEBjapSsghHDJrAAkzDaJt9zuxzBJzyf9X1 WmzKJb1UShy5VtbIMqeHr9Bi9fHNwgxwmTcQZ2T8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4CZpPi40gOC4XWP3iHmaZNdwxiBSZgXvje9ZcHHtNv1yI8RwnN/deKke1/E2Gk9owJ/tr1E oaVARAImAOj2yyecm1nqBlLMdvSYHq2llpjVQREALpi8yNLjV+H4PhNep0pU6Mg8eA/n/d4Q +NcJ5ePBfNATjnC8jUZK5L6qdU6JhisgAuPOQujYSQ+Ls89G1GSpoG5c1u97jQKAwq2qdA6/ O+t2wbddpwJGFZvAcPQX/Swwg7jpnMagu9zAxDFL4ALKkXh+YRnMQLrifozL51eIBnP3GLGh QmRBhgcqOzEootz+97M3PjWo4CsGup4P0xbA2iKvOvqaHKGoDeumNYSXvyJcDbRUHLP1J+jP egFnevhNPAnnUpRt9UuHrtuy5U47YS9qrJfyDNiAyyXPVmmD7VXIk6G09NKgatDy+ILogCxQ E+OpoBXNLjVasPoFFkdeFgsYuiZj6pGnzDT6bEyKRy/6nIsurWAVkpWMl+HjykEdOl5N4Ysw OEAvs8K6lzg1kB7bI7e1i0EpX6RKnEgUrk8ss1ICoHcjAd2mEpJZobRC3Or7ZzTOc9ANFImf m2diKbY3e8Ow0PDdz80HCGI07cGw5sJvx9OwRkJIFHQwojJgfo+3Rtw9zUrT1QKkk8WjborY mU7ZVdoIaiu/itzgJQRVW6bHQwcVgaS/Vb8ygdUmWDUJ6Vyurch8IHg1SexEEElH6Z0ezFa+ PSfwT+gX2uxOs722SQ2VAhurPmLoRmdMOHdsJjPIihHN8BSjfnZbmuGam0PpB/qBMowgAvMo uwCECNYd/jgLSBJy0EkI9Dy6FnTISxo4ERNRvZu+K4MFGDYPjq13FBi7qx3ltxlf5T3zKNzN yCiyg+jmfhzOOZiYw333ZIxHoI= IronPort-HdrOrdr: A9a23:vn6sjKCz3nScZiflHemh55DYdb4zR+YMi2TDtnoBLiC9F/bzqy nApoV56faZslYssRIb+OxoWpPwI080nKQdieIs1NyZLWzbUQWTXeVfBEjZrwEI2ReSygeQ78 hdmmFFZuHNMQ== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,283,1647298800"; d="scan'208";a="39760345" X-MGA-submission: =?us-ascii?q?MDHhkXvLr1APsRiXxiFbK8GAYtgNT/Ejooa7im?= =?us-ascii?q?QhICSm78gTDw7VtpMnFDaUvKlb3W+ykJGSFhVuStsyWJfrWrH4Uq0BIH?= =?us-ascii?q?SMa1WJaanQPOkdzlGb1y4iGn3Bo3u/J+a3Lf92qDPDLkWrf74o+OoyJX?= =?us-ascii?q?yEVVQcopMz1LHyAkLBSUQqUA=3D=3D?= Received: from mail-oa1-f53.google.com ([209.85.160.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 Jun 2022 10:34:32 +0200 Received: by mail-oa1-f53.google.com with SMTP id 586e51a60fabf-fb6b4da1dfso4295590fac.4; Tue, 07 Jun 2022 01:34:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=kK3zZL+wBezoYNlTiQhu1rKXGB2Aw8I3qhZIlKI+oRY=; b=H3EWYZaKfD65Vm95GOaSdKmZx9Nj99l3gC8WEj4Op5NpXzanckDGY6y3fL9pKByn2B IGO9YZK0TnYMEp8bF2n350ZFZRLWpLZyCRHKTUBwsIqk8bLfFoHHjuKoe7ONzZ6n/HUZ /95eqWFliCqLL4/chU8H30TBey5F2NcqATkESfJZi+URi6XqGURsmzpOZq7l3H25UG2Y hap8KLjpkuaUauddFUWjZEkMP/LVX3zux2gAh9DLoJT81aud5VeyqEbNEk20eesOVQM/ TbDB4jsZcW+MGdpPfAG0vIyiPhqvPUsjKHWpmaYf9KePFki8ZVdgAVeR4JOLZDpKGqvS hdnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=kK3zZL+wBezoYNlTiQhu1rKXGB2Aw8I3qhZIlKI+oRY=; b=o/fc7V1wrVhvnkmPSJwQQ7Rcflb7XL1R0GRpKdOCNaNl38XLOOrLESjX+Wy/p3KF6R 68/RzOaQRu3o1JlKry5zAsHhl3tDKVCBJwTXMvfJ4YY8+C6gdm1yrh003eKT9aN9Obmm 67nr1+YMB9JWP7p3ChuEU9EudXAn8W2sarqp9ZiS7dFlvQaXougihiaOqBE0C5AaLO/T De2pwQf3GCEITOKWFPDlv1qou2a+fgcfVpL36q3srPt+ta/eKWVIMQ3PzOJWDe9ia9e+ oiH7j8GiqgDHyq4EGk+B/G7nj5YOS7C6fYqXXKYyrrhDa8GMHntsqCiHknszAeQPbckX WvSw== X-Gm-Message-State: AOAM533shESCyHHj8VIcp2mpo6zK81GfT/x6cx3C4+YRaa9iAjnbXTFA 4oKCyLUSfSz3HFS9FaYMRaUSSBR+gQ7E/xFA1gc= X-Google-Smtp-Source: ABdhPJwBl54p4FnxXhqzxjijzVrgFJTUuyvynFnhrenfb1B3q2dik/EGLfLdCqZSxJ5DQw9Kxr1QVkrZ8yAXBXKTya8= X-Received: by 2002:a05:6870:a910:b0:e6:dca:5fd3 with SMTP id eq16-20020a056870a91000b000e60dca5fd3mr15682783oab.202.1654590871927; Tue, 07 Jun 2022 01:34:31 -0700 (PDT) MIME-Version: 1.0 From: ICFP Publicity Date: Tue, 7 Jun 2022 16:34:21 +0800 Message-ID: To: agda , agents , appsem , bigloo , caml-list , categories , chicken-scheme , coq-club , ecoop , erlang-questions , "F# Discussions" , fp-nl , fun , gambit-list , GPCE-related , haskell , haskell-cafe , infodir_sigplan , isabelle-users , k-users , mlton , nvti , prog-lang , racket-users , relics , sml-list , theory-logic , theory-nt , types-announce , zforum Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] ICFP 2022: Call for Tutorials, Panels, and Discussions Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 18781 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia https://icfp22.sigplan.org/ The 27th ACM SIGPLAN International Conference on Functional Programming will be held on September 11-16, 2022 in Ljubljana, Slovenia. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. The tutorials may target an audience who is interested in commercial uses of functional programming, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on September 11 or September 15-16. ---------------------------------------------------------------------- Submission details Deadline for submission: June 24st, 2022 Notification of acceptance: July 15th, 2022 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2022 workshop co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2022@googlegroups.com by June 24st, 2022. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 8th, 2022. The proposal form is available at: http://www.icfpconference.org/icfp2022-files/icfp22-panel-form.txt http://www.icfpconference.org/icfp2022-files/icfp22-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2022 organizing committee. Tutorials Co-Chair: Arthur Azevedo de Amorim (Boston University) Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern University) General Chair: Andrej Bauer (University of Ljubljana) Program Chair: Zena M. Ariola (University of Oregon) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2022@googlegroups.com.