From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver= Authentication-Results: plum; dmarc=fail (p=quarantine dis=none) header.from=googlemail.com Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=Yljpg7n/; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=googlemail.com header.i=@googlemail.com header.a=rsa-sha256 header.s=20230601 header.b=XFymgbHN; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id A0B70B80123 for ; Mon, 22 Jul 2024 15:27:02 +0100 (BST) 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=9r7/5O3bI0j90z6nD6cklEAzTIUOE8JKG85qKljAaLA=; b=Yljpg7n/sGlPNDHXuiCCg/CnsUTb+L3fBP9h+OMDySdiSy29qnlUDDJI 0EUpZZNZ9bGBzSAim7GgRWJmut9684d5TFcrBajdcEr7JWXRNJp08cUO+ 94gP7MBcb8i1/U6vqh7ztlCmvjDfwCT0zqTA8NGN35XDvplydFpvpk6CB U=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 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=Pass 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="6.09,228,1716242400"; d="scan'208,217";a="176499274" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jul 2024 16:27:01 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BB912E0D4B; Mon, 22 Jul 2024 16:26:59 +0200 (CEST) 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 AAE39E0131 for ; Mon, 22 Jul 2024 16:26:54 +0200 (CEST) IronPort-SDR: 669e6c2c_BVgBqi8+KphjFCp7KBat4XabGrCUhyXyR/MrI3WqyYxYHTV eJRIfYIXef0c+oX9jay4C43eN4WhsfCFuWiELgA== X-IPAS-Result: =?us-ascii?q?A0ETBAAqa55mhjOmVdFaHgE8DAILgWSCHChaIlk0BAtIh?= =?us-ascii?q?FaBI4IsU4somV8BhlOBfg8BAwENOQsEAQEDBIR/iTICHgcBBDEIDgECBAEBA?= =?us-ascii?q?QEDAgMBAQEBAQEIAQEFAQEBAgEBAgQGAQIQAQEBIRkHDjuFdQsCgkoagSaBJ?= =?us-ascii?q?gEBAQEBAQEBAQEBAR0CDR8/FyELBh0BJxIDEgMNNwIjEgEFASgBLjiBTlgBg?= =?us-ascii?q?i8BAzEDEZF1jROCIYEFQos7gTKBAYINBoFHBdkOCkENbIFjAgEGFIE0hGaDV?= =?us-ascii?q?QGBWAICh3eBIQ+BVUSBFTWDM4EFgVwEgguDLhaCUwSHaI5egwOLfyYLjHQjA?= =?us-ascii?q?yYDBwcICCtJDgEhAyYzNAFVExcLGgMHAgIHAg0JAgICAgIDBwIUAgECAQMCA?= =?us-ascii?q?gIRAgIQBBkCAwMPDwICAgMDCA0TAgICCA8LBwMDIgMCCQkCEgIKBgYGAzYFB?= =?us-ascii?q?hUiBgoJBCECAwMFBAMPMwMXAwYRHQ8DBRUDBAYKDAUDBAIYBAgDBwMSF0sCA?= =?us-ascii?q?gkDAgUHMnMlAw0EAgoHCAMRAwUDBQM3Ay0EEwMDCw4HAwMGAhADEgICAwUDA?= =?us-ascii?q?wIDCD4DCAhCAwUDBwsFHwcDAwMDBAMCDQMDAwcIAhwDBQMmEgIGBgcEBSIEA?= =?us-ascii?q?gMkAwkCJgIDAwUGAwMDAwMCBwMFBgMFAgMFBAUbPgICAwMLAwMKNwIECgYED?= =?us-ascii?q?QUNAwMCBBsDAwIDAwUCBwMDBAQDAxwDAwMUAgUCBQcGBAUFJAMCBgMDAwILB?= =?us-ascii?q?SMCBgMDBAMDWAIDBQcHBQUMRhsDBAUHAwMhBxIDDDMgAxsHJzgMBQoHAgYiE?= =?us-ascii?q?RgJExQDGQMsBg0DGgM6BQYDCAQDLAQ1KwMCKAMGCgcEGQ4DAxkFCA8DCgcFN?= =?us-ascii?q?AUFJQUEBQUHLQMUDgkwBgMDHxAMPxMKCgcEEQUKBQsDLCQDBTYEAwsFMQcGO?= =?us-ascii?q?ggFIgUCAwIDAxAPBgUMLAgDJwlWFwEDCAFgBQMDIQUKBSRWAgIRAws7BQMDA?= =?us-ascii?q?wNYCAUCCgNRAzQDAgcDBQMcJgRQAwUFRQMJCAMEAkkJBT4ICwsLCBULAwYJB?= =?us-ascii?q?ANlBzsCAgQDBSYHBgMPUwQKAgIDAyICBRY5AwMGBToFGBADAgYFAwIpBQICA?= =?us-ascii?q?wMvBwUvCh8DgSYIBgwVSwIFBwoTCzVBAgMLRQMTBQUpBwMFgQU7USkdQAMLY?= =?us-ascii?q?gs9NS9MqWOFNBPIAjQHK4NsgWMMiiOVPTOBUKhspmSbBBEjgUYDNYFcNBkjg?= =?us-ascii?q?QFtCYFATwMZD1eNYQKDYYUUxxgqMjsCBwEKAQEDCYkigUoBAQ?= IronPort-PHdr: A9a23:JxnShBL1Nzy+tlFajNmcuGVvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvbMw0xSWAM2bs6sC17CH9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4sQndrMkbjIltJqszyhbCv39Ed/hLyW9yKl+fgRLx6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi4hP24p+sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/7 6hwUx/nlD0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtWWCxcBIOzc ooPD/EdMuZcqIn9vEUBogajDgWoC+7j1jpEi3nr1qM4zushCxnL0wMgEdwAs3rascn6OboJX O+v0KXF1y/OY+9K1Tr/7oXDbxAvoeuLXbJ1acffylciGQPfgF6Ns4LlIiia1uAMs2eH7upgS eKugHMgpgFwvjevyN8shpPRhoII0V/E8SR5z5o0Jd2kSE92etGkEJxXtyGVM4t5XMYiTHtpu CY+0LEJpZm7fC0TxZkh2hXQZOCJfZKS7RL/SOaePy14hHR9db+jmhu8/lWtx+PyW8S63ltHq ilIn93DuH4CyhHd6tSKR/Rh8kqh2zuB2A/d5O9KL000lqfXN5EszqAwm5cQsknOGDL9lkvxj K+TbEok++6o5vz8YrXnqZ+cL4t0hRv4Mqg0ncy/G+s4Pw4TVGaY4eSxzKPv8VH9TblQjfA7k rPVvI3bKMkavKK0AxJZ34A+4BuhCzemzc8YnWUZI1JfZRyHjonoNE/WLfzkC/q0nk6iny1xx //cO73sGpXNIWbHkLfmZbt97lRTyAs3zdxG5pJUDawNLOv9WkLxqdDUFBA5Mwuzw+boDNVyy JkSVn6IAq+cKK/SsFmI6fwzI+SUeoMZpDLwJ+Im6vPul3M1hF4QcKiz0ZYXdXy0BvFmLF+YY XrojNcBC2AKvg8mQezrlFKCXyZTa2yqX6Ih/T47DIOmApvCRoCxgL2Mxyi7HppRZmBJDlCDD 3LoeJ+FW/cIci6dPshhkjkcWbinUIAuzQuuuxPiy7p7MurU/TUVuY/72Nhv++LTjQ0y9SBzD 8mFz26CVWR0nmcRSz8y3aB/ulB9x0yY0al4hvxYDcZc6+lIUgc8L57czvZ1B8r8WgLbLZ+1T wO7RNmnGjo1Sck8z5oUbk18A9SviAzYjXn5LaUSkumqL7IMuprB1XzwLMdh2j6S1aIvlx8+X 8FLNGanmr9X+A/UCIrElkyYk+ChcqFKj32Fz3uK0Wfb5BIQawV3S6iQASh3jir+qN344hiHV LqyEfE8NRMHz8eeK6xMY9mvjFNcRf6lNs6NK3mplTKWAhCFjqiJcJKsY38UiSTWBlBCix0Z+ XeNNBQvLiimpG3aATlnFFapaETpoqFlsH3udkYv1EmRalF5kb+8+xobn/uZHvIY0KpCoDorr zR/HUqs993RDNWEqg9ofaEaatQ4sx9czWyMkQt7M9S7Krx6wF4TdwMip0T1yxB+EZlNi+Avp XIuiQt1cOeWjQoHeDSf0pT9fLbQLwEe5TiJbKjbkhHb2deSoeIU7egg7k7kpEevH1Yj9HNu1 59U1WGd79PEFlhaV5W5SUsx+xVgwtOSKiAg+4PZ02FtOqioo3fD3dwuHu4s1heneZ9WLqqFE Ab4F8BSCdKpLaQmnF2gbxRMO+43luZ8Psiob72exaSvPe1hgCOOgmNA74Rw10uN82x3TeuJl 5cJzveE3xeWAi/mhQTE0Ii/koRFaDcOW2unnHK8VcgBO+srI9hNVD79Rq//js9zjJPsRXNCo VuqBlddndSsZQLXdFvlmwtZyUUQp3Wj3yq+1T191T8z/c/9lGTDxfrvcB0fNytFXm5n2B3tK oasycgHVkypZAk1hTOq4kH1w6VeraV7aWLURA0bGkq+Z3EnSaa2ureYNoRO450w9z1KWuC9a lGGW5bypBwV1y7mFmpagjs8cnv53/ex1ww/g2WbInFpqXPfcswl3hbT6uvXQvtJ1yYHTi114 dXOLmC1JMLhvdCdlpOY9/u7S3rkTZpLNy/i0YKHsiK/o2xsGxy22f6pyJXrFg0z0Cmz0NcPN 22ArR3yes/zyq6+MOlmYlhAC1j75M53H4h/ls07g5RY1XUBh5qT9GYKii+paYQdif+4NSRTA 2NSi9fOhWqtkFVuNHeI2570Wj2Gz81tasP7KmIa1yQh7txbXaKd7bhKhyxw8RKzqQPcZ+Q4n y9Ik6N/ri5HxbhX5kxwl3b4YPhaB0RTMC3ymg7d6tm/qP4Sf2Ozaf2r01I4m9m9DbaEqwUaW XDje55kEzUji6c3eF/KznD37ZnpPdfKatdG/ByfnQ+Gl/VfLJM6l+YbrSVgPm35sHgsyup9h htrl8Lf3sDPOyB28aS1DwQNfDz+adtV4izniadVn9qH94+oGZplFzACXZ+uRvWtWmF317yvJ 0OFFzsyrW2eELzUEFqE6UtomHnIFoiiK3CdIHRKhcUnXhSWI1ZTxRwFRDhv1IBsDRiknYayF SUxriBU/FPzrQFAj/5lJwWqGHmKvx+mM381UMTNd0cQt1AaoR2JborGqbgvVyBAos//8ErXc TfdPloQSzlOAx3hZRirP6Hyt4eetbHAXKzmaaOJO+3GqPQCBanWg8jzg802p3DUcZ/Xdnh6U 69kgAwaATYgSp6fw3JWG0l132rMd5LJ+0v6o3cq6Jj5qLOyBkru/dfdUuMCd4wwpFbmx//Eb bfYhT4le28HjdVVlCOOkP5HmwdM7kMmPzi1TeZa7X+LHP+Ww/UHSUZcMnw7NdMUvfhlgE8Qa YiC24mzjvkh37Y0EwsXDwW/3JvyNIpReSflcwqWYSTDfKKPITmBqy3uSYW7T7AYzOBdthnr/ C2eD1emJTOb0T/gSxGoN+hIyiCdJh1X/o+nIF5rDiD4QdTqZwfeUpc/hCAqwbAymnLBNHINe Tl6fURXq7SM7CReyvxhEm1F53BhIKGKgSGcp+XfL58Xt7NsDEEW36pC528mzrJO8CxebPl8m S+Xr9k35l/7y6+AzT1oVBcIoTFOxcqKsUhkJaTF58xAVHLDr3dvpS2bDxUHoccgC8W64fgBj IiS0vutdnEfqoGxn4NUHcXfJcOZPWB0NBPoHGWRFw4ZVXuwMnmZgUVBkfaU/3nTr54gq5Gql oBdL90THFEzCP4eDVxoWdIYJ5IiFDIvn6bdlNMC4Xu1rQXAbMpduZ/DW/ebAPGpIzGcx+ohB VNA0fbjIIIfO5eukVRlcUV/lZ/WFlD4WNlMpmhgaVZxrhgUtnd5SWI31gTubQbnsxpxXbak2 xUxjAV5e+Ek8jzhtkw2KlT9ryw1iEAtmN/hjFh5nxb+K6C/WYxTAivw8UM2N8GiK+6QRQK1m kNgOTLNRrYXhLxlJzgDYO70vJJOHbtdSvQBbkJJg/6QYPos3BJXrSD1nSd6 IronPort-Data: A9a23:DNkVLqjpxQJ1Csa+RZp5D20IX1611hQKZh0ujC45NGQN5FlHY01je htvD2CCP/iMYzPyKd9zO4W+90JU6pSDzNE1TwprrX9kH3hjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpFg06/gEk35qiq52lC5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGMWhoJbAfxvxNAWhr1 /0jeRJcXjKHmLfjqF67YrEEasULKcDqOMYevSglw2yAS/khRp/HTuPB4towMDUY3JgfW6aDI ZNHN3wyNXwsYDUXUrsTIJM1kv/unmT1dzxTqU6EjaUw5GfXwQl40byrO93QEjCPbZQPwR7G+ zKZl4j/KhcfNcePmBqizlC1h7bwtAn8co48TqLto5aGh3XImzVLV0xIPbehmtGyg0u6HtZeM FA84TsrtaF09UqxT9C7UQfQnZKflhsVWt4VEupjrQ/Qk+zb5AGWAmVCRTlEADA7iCMobQEDi Ee0mO/zPzxmlZ+UciO/p4e2qSznbED5MlQ+TSMDSAIE5fzqr4cykg/DQ75f/Eid3oyd9dbYk 2/ikcQuu4j/m/LnwElSwLwqqzelp5yMTwlsowuKBySq6QR2YIPjbIutgbQ60RqiBNfAJrVil CFb8yR70AzoJczd/MBqaLhSdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2O haP410KusUNYivCgUpLj2SZW5VCIU/IRYSNaxwoRoMfCnSMXFbbonE+OBfKt4wTuBJ0zflvZ f93jvpA/V5BVP0/k2voLwvs+bAswS86yCvSQ5u9pylLIpLPDEN5vYwtaQPUBshgtP3siFyMr 753aZHWoz0BC7aWSneMruYuwaUidiRT6Wbe8JEPKoZu42NORAkcNhMm6ex6IdU7wfsNzY8lP BiVAydl9bY2vlWfQS3iV5ypQOiHsU9X9CpgZX4fLhyz1mI9YI2iyq4aetFlNfMk7eFvh7o8B fUMZ8zKULwFRyXl6gYtS8D3jLVjUxC32iOIHS6uOwYkc7BaGgfmx97DfynUzhcoMBaZj8UEn uCf5lvpeqZbHwVGJ+TKWc2r1GK07CQ8mvotfk7mIetzWUTL8apsIXagiPUYHd09FhHY4j68y QytIAw5oNPVqNQf6+j5hqGjrqaoHdBhH0FcIXLp0LauOQTe/Uuh2YVlUtvUWRzgDEbP57SFS cBO6vPNINkrvQ1tjdJnMrBJyake2YPel4VCxF45IESRPkWZNLxwB1Kng+xdvbJp7Z1Es1KUX kmvxIFrCY+RMpm4LG9LdRsXVcXd5/Q6gTKI0O8UJn/97ypJ/Laqd0VeEh2PqS5FJotOL4IX7 rY9ifES9jCApEImAvSeggBQ0la8HHgKfqEkl5MdWavAqA4gzHNcap39VA7yxryyaOt3D0p7G Q/M2ZL+hIldyHHSLFs1N3zGhtRGibo05Rtl8V4lJnayoOTjuMMZ5hNq3AoSchV01TRCiuJ6B XhqPRZ6JIKI5DZZu/JAVGGNRSBEXR2QxVPtwmRZhEnmfhCNbTHLJjdsP+yiwV0oqTNAXzlE/ YO3zHTufibqcfrQgAozex9BgN7yQeNh8jbtnJicIP2EOJ0hcx/Js7SLZ1dUmyD4AMg0ulLLl dNq8Ml0d6f/Eywa+I8/NKW3ypUST0qiCFFZYPQ84p4MI37QSAuy1ReKNUq1XMFHfN7O0E2gD v1RNtB9bAu/2AmOvwIkK/Y1eZEsp8EQ5f0GZr/PDkwFueHGrjNW7bThxhKnj2ovG9hTgcIxL 73KTA27E0uSuGB1nlHcp8wVK0u6Ztg5PDfH5t6Xy9lQNZw/s7BLS3oQg5+UpHSeNTV18y2E5 D3jY7Dk9M086IBOsba1LIB9KVSVE/3RWt6M0jiPiPVVTNaWMc7xpwIf8VbmGAJNPIouYdd8l JXTkdv7wkmfsK0EbDnZkqaeCpgTtNmTXfVWAO3zPnJ1jSuPY+6ywhohqkSTC41Fr8NZ3eajH zCHUcqXccUEfetS31tpUjh6PzdBLrXof4HiiDiYrf/ROiMC0AfCEsyrxUXpYU5faCUMHZ/0U S3whNqD+fFaq5ZqFjYfJvQ7HaJ9HkDvaZEme/L1qzOcKGui2XGGm7n6kCsf+SP5MWaFHOn68 KD6aEDHLjrqg57xzfZdr4BWlT8UBiwkgeAPI2Qsy+QvgDW+VGM7PeARNKsdMa5tkwvw6YrZY Q/cZ25zGAT/WjV5KS/H2urBZTvGJOIyOYbeHAcLrnOkM3L8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ GxwRGcdBU/mEAj+FsFvf3MTExYc1N8qI/PEcg/XqOszea3CpAGD9BE7E+701bIHYcEDJbpIT nTyL4dIy37DwWQd4MPFpPpw6ZKZypu38gySI6jkSgkfmqix7iIsOMZqce/jii090FY3Lm4xX QVAL5Tz6Ipp5ayRNHCrJd01xq9M IronPort-HdrOrdr: A9a23:GuIXYKsB54UKsc+CosiC2BEs7skDV9V00zEX/kB9WHVpW+eTna mV7Y0mPH7P+VAssRQb8+xoV5PwI080maQFgrX5Xo3DYOCFghrMEGgK1+KLqAEIcBeOktK1u5 0QFJRWOZneC0Nlhd327AT9P9Er28mf7ayk7N2z856vd25XgmNbgjuRxjz0LqS+fmh7OaY= X-Talos-CUID: =?us-ascii?q?9a23=3Ad9M6cWh32BJa+LcLy6D3GcTAFzJuT1SD1ErXH1W?= =?us-ascii?q?CCW9MaryuGH3ByIFgjJ87?= X-Talos-MUID: =?us-ascii?q?9a23=3Aftu2zg185LUzGbv02ots7958QDUj5aGvE1BcsbI?= =?us-ascii?q?6mdCFbBNZETC3gBrtXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208,217";a="92706587" X-MGA-submission: =?us-ascii?q?MDFedi84I2xNdvevdcPp5aXAWZ+oQ2nLLmDnto?= =?us-ascii?q?StQkIgcPYEIkWrlOIOfvu+z7KLHvMyBs4ElL3U7YTRIial6c6+iHDhaJ?= =?us-ascii?q?4LstHlC8Rjj/AkgW3FIvjEoEJiiRXTosVQxQ+HPNTJ/ZpUaggy52ueDE?= =?us-ascii?q?q80jrD5bMsahfBQecROlUDOg=3D=3D?= Received: from mail-io1-f51.google.com ([209.85.166.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 16:26:53 +0200 Received: by mail-io1-f51.google.com with SMTP id ca18e2360f4ac-8076ef91d8eso176795239f.1 for ; Mon, 22 Jul 2024 07:26:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1721658410; x=1722263210; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=9r7/5O3bI0j90z6nD6cklEAzTIUOE8JKG85qKljAaLA=; b=XFymgbHNqOu+OOO0E2g6QWC28IGU0rpEiyxfLOXxWIOLyovA+WJF5QjtJgo8CWDaMI bYDLj3S8T43gHo18lPfi4nnfPApFyF64U6SKgNkH2+IOVOzw12VfyT8uG5+cWJOd/wmO 8jiuX/fnF0i7NPjeFasN4DUkYy3iFiVthoW/ZgY2Stg/emt5dlKqtc0iRFNo1ZwHkZ1n +/Fb7Rf5UAiaxRtoHhCPhTxqfMylmHZfDMy2KvHoZdJCPbBocfmS21uiPQXI88qNRNTV MgCO8LG9UBKgbq6PX8hNpd7pWsulUrJTTJmbXMDkvadDsyocjjnNoECdLf+lT3ZWvhTs OCVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1721658410; x=1722263210; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=9r7/5O3bI0j90z6nD6cklEAzTIUOE8JKG85qKljAaLA=; b=MV2bvZDDwy43oVbbXaaw1MgoG6yItGRYHlB3pgF9YGQgWN0G8oH3s2l04xuE5veuEd z8SUKW/GaO3LZHcxQ10mNrep+3g/bVNET7Kpu/syadiBWHEAB50AYztPKQFH7u2X8eOY TSkGhjhrm9fCZKqEynb102sR76Znbmveo4Mebi3m1gN1l7sADzzX2M4ncWdKr/12npkN 70M+swx4YSjsSx8MKsCUTFsJhk+XXo4lFC65Rr0d3NBCGIsXos5+WsdYB0e+iywrqd7w CXWJ3NHuS4jZSMnttaPARRCAdEN4Vz34Wo/Z3cCzuUQIHQdn+cCaGXKzqXBNJdEAEP3q 4msg== X-Forwarded-Encrypted: i=1; AJvYcCUqA7gRaNDv978JFC+YjYBPrdthnmqTtsr4SVAXDwqLOhAfGKDTuK6fJc8iU9hBlvgZPswLwQehGP3/IULUTYyazWQ= X-Gm-Message-State: AOJu0YyYinXhd/I1eZEe8LVx051GUD+AS4/7Ao9mofsK2wioCG2SAtyg t9lULoC0BE7n8qwhI5CbaDNPXNQOXuUQ1juwo5UN6NC4i114ncHtXIJnNUAw/AcTxlmCc0km+rI +kVv1gZROdqzDtJ1ehVYYelULsVs= X-Google-Smtp-Source: AGHT+IEjCWiAlBF0neuOLCn4dNmvgWdCxAcG4AAS0r9ePmCLtutCcY3r2KPnDgJV3LVuqvrXYOrgdPRcM9VDx2CWqjM= X-Received: by 2002:a05:6602:134a:b0:81e:4ef0:3a81 with SMTP id ca18e2360f4ac-81e4ef03d30mr139936539f.16.1721658409618; Mon, 22 Jul 2024 07:26:49 -0700 (PDT) MIME-Version: 1.0 From: ICFP Publicity Date: Mon, 22 Jul 2024 10:26:37 -0400 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000ee2088061dd6d57b" Subject: [Caml-list] ICFP 2024: Call for Participation Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19160 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: --000000000000ee2088061dd6d57b Content-Type: text/plain; charset="UTF-8" ===================================================================== Call for Participation The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) and affiliated events https://icfp24.sigplan.org Milan, Italy; Sep 2-7, 2024 ===================================================================== ICFP is a celebration of the art and science of functional programming, providing a forum for researchers and developers to engage on a variety of topics, from foundations to features, and from abstraction to application. You are invited to participate in a full week dedicated to functional programming, featuring the ICFP main conference as well as several other related events. * Accepted Papers: https://icfp24.sigplan.org/track/icfp-2024-papers#event-overview * Registration: https://icfp24.sigplan.org/attending/registration The early-bird deadline is August 3, 2024 * Venue: Allianz MiCo (Milano Convention Centre) https://icfp24.sigplan.org/venue/icfp-2024-venue There are several events affiliated with ICFP: September 2 HOPE - https://icfp24.sigplan.org/home/hope-2024 PLMW - https://icfp24.sigplan.org/home/PLMW-ICFP-2024 HIW - https://icfp24.sigplan.org/home/hiw-2024 Erlang - https://icfp24.sigplan.org/home/erlang-2024 FARM - https://icfp24.sigplan.org/home/farm-2024 September 3-5 ICFP - Main conference September 6 Tutorials (Sep 6-7) - https://icfp24.sigplan.org/track/icfp-2024-tutorials FProPer - https://icfp24.sigplan.org/home/fproper-2024 ML - https://icfp24.sigplan.org/home/mlworkshop-2024 Haskell (Sep 6-7) - https://icfp24.sigplan.org/home/haskellsymp-2024 TyDe - https://icfp24.sigplan.org/home/tyde-2024 miniKanren - https://icfp24.sigplan.org/home/minikanren-2024 FUNARCH - https://icfp24.sigplan.org/home/funarch-2024 September 7 Tutorials (Sep 6-7) - https://icfp24.sigplan.org/track/icfp-2024-tutorials Scheme - https://icfp24.sigplan.org/home/scheme-2024 OCaml - https://icfp24.sigplan.org/home/ocaml-2024 Haskell (Sep 6-7) - https://icfp24.sigplan.org/home/haskellsymp-2024 Conference organizers: https://icfp24.sigplan.org/committee/icfp-2024-organizing-committee ===================================================================== --000000000000ee2088061dd6d57b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Call for Participation

=C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 The 29th ACM SIGPLAN International Conf= erence
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 on Functional Pr= ogramming (ICFP 2024) and
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 affiliated events

=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 <= a href=3D"https://icfp24.sigplan.org">https://icfp24.sigplan.org
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 M= ilan, Italy; Sep 2-7, 2024
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

ICFP is a celebration of the art and science of functio= nal
programming, providing a forum for researchers and developers to
= engage on a variety of topics, from foundations to features, and from
ab= straction to application.

You are invited to participate in a full w= eek dedicated to functional
programming, featuring the ICFP main confere= nce as well as several
other related events.

=C2=A0* Accepted Pap= ers:
=C2=A0 =C2=A0https://icfp24.sigplan.org/track/icfp-2024-papers#ev= ent-overview

=C2=A0* Registration:
=C2=A0 =C2=A0https://icfp24.sigplan.org= /attending/registration
=C2=A0 =C2=A0The early-bird deadline is Augu= st 3, 2024

=C2=A0* Venue: Allianz MiCo (Milano Convention Centre)=C2=A0 =C2=A0= https://icfp24.sigplan.org/venue/icfp-2024-venue

There are sever= al events affiliated with ICFP:

=C2=A0September 2
=C2=A0 =C2=A0HO= PE
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/hope-2024
=C2=A0 =C2=A0PLMW=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/PLMW-ICFP-2024
=C2=A0 =C2=A0= HIW
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/hiw-2024
=C2=A0 =C2=A0Erlang<= br>=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/erlang-2024
=C2=A0 =C2=A0FARM<= br>=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/farm-2024

=C2=A0September 3-= 5
=C2=A0 =C2=A0ICFP - Main conference

=C2=A0September 6
=C2=A0= =C2=A0Tutorials (Sep 6-7)
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/track/= icfp-2024-tutorials
=C2=A0 =C2=A0FProPer
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigpl= an.org/home/fproper-2024
=C2=A0 =C2=A0ML
=C2=A0 =C2=A0 =C2=A0- https://icfp24.si= gplan.org/home/mlworkshop-2024
=C2=A0 =C2=A0Haskell (Sep 6-7)
=C2= =A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/haskellsymp-2024
=C2=A0 =C2=A0T= yDe
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/tyde-2024
=C2=A0 =C2=A0miniK= anren
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/minikanren-2024
=C2= =A0 =C2=A0FUNARCH
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/funarch-2024=C2=A0 =C2=A0
=C2=A0September 7
=C2=A0 =C2=A0Tutorials (Sep 6-7)=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/track/icfp-2024-tutorials
= =C2=A0 =C2=A0Scheme
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/scheme-2024=C2=A0 =C2=A0OCaml
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/ocaml-2024=C2=A0 =C2=A0Haskell (Sep 6-7)
=C2=A0 =C2=A0 =C2=A0- https://icfp24.sigplan.org/home/= haskellsymp-2024

Conference organizers:

=C2=A0 https= ://icfp24.sigplan.org/committee/icfp-2024-organizing-committee

= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

--000000000000ee2088061dd6d57b--