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=none dis=none) header.from=gmail.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=V1JfW7bW; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=N57sJn0p; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 827C4B80123 for ; Mon, 5 Aug 2024 18:17:12 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:sender:from:date:message-id:to: content-transfer-encoding:subject:reply-to:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=mAK56UHzEJQiLhpl+/Ck4pQinNfpTeuOZHt/EHLcLVA=; b=V1JfW7bWymbnFvOSf8q61Z21qU+5Jbnxjnq25h9XGTBqziZBXLJ1yuwA h8shMyYNPI+K/fxIkH9xPQTxpItuCkDrbaCIcZ21+2DTAyJyd+stTwZSK lnevoQtQEzE5p7pPK2TstY0mlP26yTmfmc2aavQJnPCvua9njleGNqyc8 k=; 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=@gmail.com X-IronPort-AV: E=Sophos;i="6.09,265,1716242400"; d="scan'208";a="178176104" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Aug 2024 19:17:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DA80BE0145; Mon, 5 Aug 2024 19:17:10 +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 4DBF8E0035 for ; Mon, 5 Aug 2024 19:17:07 +0200 (CEST) IronPort-SDR: 66b10913_sw2jfr2x/BItwmEPRW6IboXj5JL7WmPByQUUoJWER1sKiqy 7zD6mryoSqAleGCnq+VqebisY30c2NVTh64P6Wg== X-IPAS-Result: =?us-ascii?q?A0EMBwC/CLFmfyunVdFagQmEE31ZNAQLSIRWg0CMDIIAB?= =?us-ascii?q?R2LdYVTjgwWKA8BAwENOQsEAQEDBIILgnACAolNAh4HAQQ0EwECBAEBAQEDA?= =?us-ascii?q?gMBAQEBAQEIAQEFAQEBAgEBAgQGAQIQAQEiGQcOEimFdQ2CYIEqXgMCBQM7A?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINBxg/OAsGH?= =?us-ascii?q?QEbCwEMBgMNBRAPAiYCIwERAQUBIhMIARmCX4IvAQMxAxGeNoIhgQVCizuBF?= =?us-ascii?q?QUCFoEBgg0G2loKGSgNb4FgAgcUgQYuhHIpW4I3HQGBaoN5g3x6J4EYgRCBF?= =?us-ascii?q?TWCRIF0AYFbBBiBHT6DRoJpBIZcIxKFQ26BWlIRgXgrGRJ8bQkIFoEYZoEuB?= =?us-ascii?q?4EpgRQDglFmFiQCDEqFKYFwiComCAEGFwMHBwkFBBwGBQUCQgkGBQoSAwQDB?= =?us-ascii?q?AQBAgsTCQMDAg4CCAMCCAYOAxABPxIEEwoNCwMGBR8IAgQHDBEKFwIDAwICA?= =?us-ascii?q?wIFAwMFBQUCAwUDBAMFAwMCEQEGAgUNCAYLBQUHAgYCBAgFAgIDAwMCBBADA?= =?us-ascii?q?wMCBQICAwMBAgYPBgICAwUGAwMDAwYGAwMCBgMDAgMCAwIDAQMCAwECAwICA?= =?us-ascii?q?ggCAgMFBAUCAgIECBMCAgICAwMIAwMKBAICBAEEAgQCBAIGAgQCAgEGAgMDA?= =?us-ascii?q?gMCBwICBAICAgIDAgQHAgMDAwICAgEJAgUBAQYCAwMCAwUDCQMEBQIDCAEBA?= =?us-ascii?q?gIHBwMDBAMBAgEFBAICBgUCAwICBAIEBQMCAwYGAgEDAgoGAwUDAwMDAgMCA?= =?us-ascii?q?wMCBQIIAgIEBAUEAgUEAgQDAwMBCgIGAwICBQEBAgIFAwIEBAcCAgIHDwMCB?= =?us-ascii?q?wUCBQUFAgcBBgUCAgMCBgECAgYBBgIEAQINAQECAgMEAwMHAgQDAggCAwMPA?= =?us-ascii?q?QMDCQYFBAUEAwkEDwIEAQgDAQEECAIEAwIMAgIgAgULBAQaCAMBAQMBAQICA?= =?us-ascii?q?gINAwIDAgIDCgIDAgoGBAICBgEBAQQEAQQCAQIHBA4JBQgIAQMCAQoBAhAFA?= =?us-ascii?q?hAJAwcEAhAGCgUDAgMFAQIFFQMIAwIJAgQMAw0CAwIGAwYCBgEGAwcLAQEHC?= =?us-ascii?q?AUDAwMCFgECAg8IBAYPBwIDAwMECgMSAgYOAwMCAwIBAgICAwUEBQIHAwMKB?= =?us-ascii?q?QIIAwIIBQMHCQQKAgoCBgMCAgICBQwBAQEBAgMCBQMHBwgIBAUEAwEBBgYMI?= =?us-ascii?q?AICAwQPAwkDBgsBBQUBAwICAg4DBgIDBgYBCQQBBQQJAgUHBgUCARQWBwUCC?= =?us-ascii?q?gIHAgICAwECAwULCAIDAgoEAQ4EGQIFAQICAwcCAwITAwMFBAYDAgICAgMCA?= =?us-ascii?q?QoLAwICAwMDAwUFAwIZAwIDAgEKBQIMBQQDBAICAR0DAQUCAwoBBQkBBgICA?= =?us-ascii?q?wIFAgMGBAIEAQ4BAQEDBgsJFAICAgkIAwgDBQ0CDQIDBQICC0ELBQEBBAMBA?= =?us-ascii?q?QoBFy0CBAIGDAEBAQIDAwYCAgIVBQcDBQMIAQMBAhMIBgIBAwoKAgIEAgYDA?= =?us-ascii?q?wIKAwEIAgICDwMJAgcCDQICAwMMDwQDAwMDCAICAhEJCgICAgwECgIJAgIDB?= =?us-ascii?q?gECAwMFAwIBAQEELwIEBwEDBgoDAgICCQgKCQMDBQMMAQYEAQIDDAEBAhMEC?= =?us-ascii?q?QMCAQIBAQYIAQECBAEEAggGAgICAgoDBQMCAwUVBQQCAhkDAgQFAwUDAwQHA?= =?us-ascii?q?QIFBAsJAgUDAgQDAwIEBAIIBQkEAwsGAQEBAwQDAQEIBwcDAgEBAwEBCgsID?= =?us-ascii?q?QgDCAMGCQMBBgEBBRoCAw4CAgIDAgEKBggFAgMGDQIEAhoBDAMBAwMFDgQUA?= =?us-ascii?q?wQFAgIPDAECAwMEBQMFAgICAwICAgUEAQIEAgQBCAQJAQICAgMCAQECAgQGB?= =?us-ascii?q?QICAgMCBwwHAwQDBgIGAgMCBwsLAgMGBQUDBQIeAgMCAgQDAxgBBAECAQIDA?= =?us-ascii?q?gIDAgMEAQMDAgEBAQEBAQMHAgICBAEBAQQGBQICAgMMAgMDAQEGAQMBAg8GB?= =?us-ascii?q?QYEAQoDAhQDAyICDwUIASgBBAICAQI3AgIDBA0IBQICBwIEDQIEDwcDDgcWB?= =?us-ascii?q?gEECAQFBAQMCgMGDgcXEQEBBAQCCAQCAg0HAgIMAgIGBAIBAwcjBgMFCQMCB?= =?us-ascii?q?QUXAgIPAgQDBRQEBBsDAQIKAgIYAgEHAQIUAgEBBwQBFAIKBAIHBgcCHQICA?= =?us-ascii?q?QMHBAQBCR8DCAIHAgEFBgUBAQQSAQIBAgEBAgMDEQECAgQCAgEJAgIBAQINC?= =?us-ascii?q?AEEAwYCAgEEAwUDCgEBAQIBBAkEDwYDBQMDBwMEAgUCBgIEBAICAwMCAwEGA?= =?us-ascii?q?wIBAgMJAgEREQoPAgIDBAIGAgIBBTEEARUFBAMEAgIHAgIDAQIBAgICAgQCB?= =?us-ascii?q?QICBgMKCAECAgoDAQICAgUWAgUBIx0CCQMjDwMLCQgTPQELBzIENAEUFAcrI?= =?us-ascii?q?V+jY4RgAQ8vIwETPEIMFxkEDgUgDwIXBUYDjwmDPyWycAcBhBeKFoF+lT8zh?= =?us-ascii?q?AWNAJhVZJhwjXuVHC4CE4UrESMSgUkjgVwzGiOBAYI2CUYDGQ8xJo1hg2OEc?= =?us-ascii?q?CTCeCoyOwIHAQoBAQMJi3ACJgcFgUsBAQ?= IronPort-PHdr: A9a23:+/t43RCX5jSpGlrr4HTVUyQUDkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua41yg+XFtyCsbptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmDaxe7B/I RS5oQnMq8Uan5ZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoHbe4GbNPRwcKDAc90EWWVPUd1cVzBYAo6mc 4cDE/YNMOReooLgp1UOtxy+BQy0Ce3o0DBInGP21rA83eQ8Cg7JxxIvH8gVsH/Jq9j1NakSU eSrwKXV1znDd+5W1iz56IjJbh8hoO2MXLJrfMrezEkgDQLFjlGKpYP5ODOV0/0Avm6G5OVvS eyhkXQoqx1tojex3McsjJHEipwbx13E9ih03Zs5K925RUB0fNKoDJldui+aOYZqTM4uXXxlt Ds5x7AGuZO3YTYGxIk7yhDfafGJfIuF7xHiWeuXPDx2inVleLeliBaz90it0vf8VtSu3FZMq ipJisPDuWwI1xDJ7ciHUPR98l+/1jmVzADS6v1LIUAumqraMZ4t2LkwloAcsUnFAyT4m132g beIekk4/uWk8efqb7X8qpOBNoJ5iBvyP6sgl8G5HO81LAwOX3WA+eSgyrLj51D3QLRLj/Ioi qTVrJbXLtkBqKGjGQ9ayIMj5g6/Dzi41NQYmmEKLFdfdxKGi4jlIlXOIP7lAfumjVShnzlmy +rJPr3mBZXNIXzDn6n7cblh7E5czRI/zdFZ551KFrEMOOz/VlP1udDCDRI0Mxa4z/vmBdh/z I8TVmyCDrecMKzIsF+I4uwvI/OLZI8QoDv9KvYl5/rwgXMkg1MdZbSp0oATaHC5AvtmIlmZY Hr3j9cOFGcFpAs+TOjwhFKeVj5TYm6+X6Qn6T4jEoKpEZ/DRpyxgLyGxCq3A4VaZnpaBVCUD Xfoa4KEVu8QZy2IJ89hliUIVbygS486yRGjrxT6yrpiLurM4CIUr5Pj1N5v5+3Sjx4+7zJ0D 97Om12KGkp9m2dNYz4twOgrqkV4zhKH0LNkq/1eD91aof1TBFQUL5nZmslzEcy6fh/LdNqTU x7yQ9uiW2h3Vs87x94FYlpsM9qnhxHHmSGtBulGxPSwGJUo//eEjDDKLMFnxiOevEFAp1wvQ 88VcHajmrY67Q/YQYjAj0Seka+uM6Uaxi/EsmmZniKVpE8Ndgl2XO3eWGwHIFPMpIH46EeYF vm2FL4jMwBA1d+qJa5Da9mvhlJDF7/4INqLW2uqgC+rAAqQgLaFbY7kYWIYiSTTDBJd1RgO9 3KHPgkiFw+upmvfCHplEle8K1j0/7xYr3W2BlQx0xnMb0Bl0O+t/QUJgPWHV/4J9rcNuSNkr zstWVjhhJTZDN2Powcnd6JZCT8kyHFA02+R9wl0P5j6artnmkZbaQN8+UXnyxRwDIxE18kst nIjigRoe+qe1xtaejWU0IqVWPWfI3Tu/B2pd6/d203PmNeQ9KAV7f0kqlLl9Ai3H0sm+n9j3 pFbyXyZrpnNCQMTV9r2XCNVv1B7qbWAO28l+onQ1HZtLbicvTrL2tZvD+wgi16hc9pZLKKYB VrqCcRJYqrmYOcumlWvclcFJLUIrP9yb57gLqXZnvLwb4MC1Hq8gG9K4Z5wyBeJ/it4EKvT2 oodhuuf1U2BXiv9i1Gotob2n5pFbHccBDnaq2CsCYhPa6l1ZYtOB32pJpj9x9t63cerQ2NS8 F+oBk8X8MCscBuWKVf62EcDsCZf6Wzigia+wzFuxnsooK7FhWrW3u7mdREGJn9jS2xrjFOqK o+xxYN/PgDgf00ikx2r4lz/zq5QqfFkLmXddkxPejD/M2BoVqbYWqOqW8dU89totCxWVL75e lWGUvvnpBBc1Sr/HmxYzTR9djewu5y/kQYowG6aKX9yqjLed6QSjV/e6tiGHLhJwzACRSJ5l Sj/CV21Pt3v9tKR35vOqeGxUWu9W4YbK3G6i9Pd8nLluis2WlW2hJXR0pX/HBI/0DPn2tUiT ijOoBvmI8Hq26m8LeN7bxxtDV745dB9H9I2mY8xiZcMnHkC08/NrDxXzCGqb4odhfmtCRhFD SQGyNPU/gX/jUhqL3bTgpn8Sm3Y2MxqId+zfmIR3Cs5qcFMEqadqrJezk4X6hK1qxzcZf9lk 3IT0/wrvTQbjeVT4Uw10y+ZA7sTAVhwMinllhDO5Ne75vYyBi7nYf2r2UxykMr0RrCMplsFH m7kcJMjFi5s/+1wNVvN1Dv47YSuK7yyJZoD8xaTlRnHle1cLpk8w+ELiSRQMmX4pXQ5yuQ/g E8mzdSgsYOAMWko4LOhD0sSKGjuf81KsGKI7+4WjoOM0ouoBJkkBjgbQM6iU6ezCDxL/fX/a 1TVTXtl+y/dQ+aAW1fYshsurmqTQc73cSvMfz9Ak40kHF7EdSk9yEgVRGlowMB/T1jwgpSnK AAjvngQ/gKq9EUKkL45cUmnFD+Y/l/gay9oGsfFakMKqFgTvQGNdpXOi4A7VyBAos/+8ErUc DHdP0IQSjhXEk2cWwK6ZunovIaftbjeXq3kdrPPeenc8LMFEa7ZmdT3lNMhpmjpVI3HP2E+X adjiwwTADYgQZSfw3JWFGQWj36fNZfF4krsvHQm9Ibnt626EAP3udnVUuUUa44+vUvsx//Eb r/15m4xPz9c0tlkKWbg7r8Z0RZSjihvc2PoCrEcrWvXS6mWnKZLDhkdYic1Nc1S7qt60BMfc cjcwsj40LJ1lJtXQx9MSEDhl8e1ZMcLP3D1NVXJA1yOPaiHIjuDyt/+YKe1Q7ldxOtOsBj4t TGeGk7ldjON8luhHwioKv1JhTqHMQZ2vYi8dlNpBzGmQo69LBK8N9BzgHs9xrh1znLGOGgAM CRtJkNAqrrDiEEQyv57GmFH8j9kNbzew3ffv7Sec8hJ96cwUUEW36pA7X83yqVY9nRBTf1xw m7Jq8J25kuhma+JwyZmVxxHrnBKgpiKtANsI/a8lNEIVHDa8RYK9WjVBQ4Noo4vC9Pr4fkW0 sXFkKP4KStT293R9MoYQcPTLYjUVRhpeQqsAzPSAAYfGHSzMnrDgkVGjPyI3nicr5x/rpa13 ZRSEflUU1s6Ev5cAUNgVo9nQt8/TnYvlriVi9QN7Hy1oUzKRclUiZvAU+qbHfTlLDvxZVhsY hIJxfb8I91WONGgnUNlbVZ+kcLBHE+CBbilTQVuawY1pANG930sFwXbPmrqbwqs5DkYEvvmx nYL IronPort-Data: A9a23:UiPOeqnl3T7O2Br4DMvLA73o5gwnIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJOWmvSafqMNGT0c912aI/l9ksFvZTdydRkTgRt/nhkFFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajN8B56r8ks14Kyi4G5A5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1CEkwfYNZEoNwvLl1z1 ac4BRIWTh+M0rfeLLKTEoGAh+wmJcjveYcR4zRukWqfAvEhTpTOBa7N4Le03h9q3pEITauYP pRGL2Y0BPjDS0Un1lM/CZw6xr7unmT1dzxTqU6EjaUy6mnXigd21dABNfKMJYzTGpsNzh/wS mTu8W/iKCERMc6kxRW+13GSibPBjxLgYddHfFG/3qU32QXMlzJ75ActfVCypP38jk+lR/pEO kkM82wvq7Iz/QqlVLHAswaQpXeFulsYVYMVHbFhrg6KzaXQ7kCSAW1soiN9hMIOmNE7bGFxi gWzx/zVOBw0kJC3UlKS+eLBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4zQMZZafWlSVnNL yC2kcQou1kEYSc2O0iT+FnGh3eoqMGMQFJuoArQWW2h40VyY4vNi22UBbrzvKsowGWxFwbpU J04dy62srxm4XalynDlfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5leI2O3O BCN5lsPvfe/2UdGi4cnMupd7Ox6ncDd+SjND6G8gidmO8QvJF/apXsGibC4hj2ywRR0+U3AB XtrWZ3xVC5FWPoPIMueSOAa3rsmjiE4ziW7eHwI50XP7FZqX1bMEe1tGALWMIgRtfrYyC2Lq Yo3H5XRkH13DrauChQ7BKZJcjjm21BgVc6owyGWH8bfSjdb9JYJUKKImel5K9I6w8y4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHBM4l8yAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrNe9laR1rw+qdbOwjOv6cSMpwKI0+SwDG16 hunW0YEhOjSor0a9MvCqrCEoryITcp/PBt+NEvK4YmmMRL1+jKY/rZBd+KTbxXxbXjR+pj+V d5Kzvr5DuILrGxKv6V4Dbxv66A0vPnrmJN30SVmGy/tQ2mwK7Y9PESD49ZDhpdNypBdpwGyf ECFofteGLeRPfLaAEwjHxUkYsuDxMMrtGHrt9ptG3rD5Qhz4LajemdRNUPViCVicZ1EALl8y uIl4MMr+wizjyQxCem/jwdWyn+tK0IRWKB2p7AYB47W0jAQ8G9gWqCFKCHK48CoUe5uY20KO T6fgZTQi4tMnnTid2UBLlmT/O5/q6lXhjV04g4sG1C7lODBpMcL5zxK0DFuTg1q3hRNiO1yH W5wNnxKH6aF/hY2pc1PQ1GTHxplATuH8HfQ0HoMrnXSFGOzZ1zOLUo8GOeDx18Y+GRiZQpm/ KmU5WLmcDTyduTz43cWdWt6jcf8FPpd2xbnms+1O+ikRbwBfivDkKuiQUEquinXK5o9q2Ofr NY74dsqT7PwMBAhhpESCq6Y8O81Yw+FLmkTesNR1voFMk+EcQ7jxAXUDV66f/5MAPn48UWYL chKDeAXXjSc0Be+lBwqNZQuEZRVwsFwvMEjf4n1L1Eoq7Gc9zplkKzB/xjE2VMEfY9crtYfG KjwKRS5DW2itVlFkTTsre5FGFaCT/sqWQne5N2xocI1T88tkec0akwj8KqGj1PMOitdwh+kl gfiZajX8u9c9bpRj7bcSqVuOgHlBu7wBcKp8R+yuetgddngE9nDnCJLp0jFPzZ5B6owWdN2p +7UsNfIw1705ucqcmHGmquuE7tCytWyUdF2bOP2Dih+tgmTVPD85yAs/ziDFqVIt9dG9++bS BCdeuLpUfIoA/Jm22xyRw1FNhQsG4DbT/zHm3umjvKuDhM971T2HOm//yW0UVABJz46BZLuL yTV5dO87c98h6ZRDkYmA/pGPcdJEGX7U/F7S+yr5CiqNUj2sFasobC4qAEB7wvMAXy6EMrXx 5LJaxz9VRaqspHz09BrnN1ujyITEUpCr7E8TmAF9/5yrgKKPmoMAOAeEJcBU7V/sCj50rPmb zDsMkomLwjAXgp/TBat2+S7Az+jBdEPNOmgd3ZttwmRZjytDYyNPKp5+20yqz1qcz/k16e8J ctY5nT0OQOrz4p0QfoIoMa2mvpj2uiQ00dgFZoRSCAuK0127XQ2OH1d8M5lUCXGF4TJmhyOK zRuA29DR06/RAj6FsMIl7u53v0GlGuH8tnqRX7nLBXjV0Gzw+hJyfm5MOb2ulHGRNpfP6YAH BsbWEPUi117GRUvVW8BtNcggKsyAvWOdiR/wGkPWiVK95yNBq8b0w/uUMbBoAzOOOKSLr8Fq gSR3g== IronPort-HdrOrdr: A9a23:imGwDKDaKmtw0qDlHemL55DYdb4zR+YMi2TDsHoBMyC9E/bo7P xG+c5w6faaskd0ZJhNo6HkBEDiewK+yXcW2/h2AV7KZmCP0wrJEGhM1/qB/9SKIVyGygcy79 YZT0G8MrHN5JpB4PrS0U2XFdAvxdXCyqyuiOvEi19wUAACUdAG0+60MGmm+4RNKjV7OQ== X-Talos-CUID: 9a23:46Uv/2Mu2PpX/O5DdDdq3RNPRpofKlLh8VeLA2KaEkZmR+jA X-Talos-MUID: 9a23:YUJduAg34VrNGyyrv1n+U8MpOsxzyZSlDVI2nbo9nsq6OnB+KQaGtWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.09,265,1716242400"; d="scan'208";a="178176081" X-MGA-submission: =?us-ascii?q?MDEgaOG68uB3QzEgOnZmN++Ymn0HyRsDENp7Wp?= =?us-ascii?q?CODqfL+Z29Z/GjI5ScRFIXr7PQW5gkbEqoFp6Rj1Y8p4njFIcYWkRdpc?= =?us-ascii?q?j0BBWJGr99VnH8YOdslDfwcRjdTp3TZoM/IDtm9iGv3w3OYNxNjcztRt?= =?us-ascii?q?kgXpbulUlxpO+nFz5RRs20sA=3D=3D?= Received: from mail-lf1-f43.google.com ([209.85.167.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Aug 2024 19:17:07 +0200 Received: by mail-lf1-f43.google.com with SMTP id 2adb3069b0e04-52efc60a6e6so16543493e87.1 for ; Mon, 05 Aug 2024 10:17:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1722878225; x=1723483025; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from:sender :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=mAK56UHzEJQiLhpl+/Ck4pQinNfpTeuOZHt/EHLcLVA=; b=N57sJn0pklxeBvGw/xhMm+hGa3I9I6zphyjo7XAbJbIOVyi4hV8jSM1I7YqwKH3Lf9 PQj1cxGx+cVePMDzCAKXGssXqxHKJHbNE/piCHYYU5j2VIJtBD1+YyPVjXY5zCBFwWvO C2WDhtEe0zZH0VRp8Q/PQzjEy+6CcdkR8wsG+DK5zGMU4kkFDEbf0G1PflF9b+6cvuXI loC6elfILqHRiaR/lWD4qeVyvl8pc/SZmoS5O3/UfthYQvLM/6ENfPB4aW0Bwfn1u9n5 fJwPkgVyUuC/RiGVLtuHSCkumswlmTRdRfnblz337/Fk3rym/PkvQe1QBxdZMd8Mxvi+ yjsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722878225; x=1723483025; h=content-transfer-encoding:to:subject:message-id:date:from:sender :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=mAK56UHzEJQiLhpl+/Ck4pQinNfpTeuOZHt/EHLcLVA=; b=LmySJyChnyCUIPz0E0ffl8VYYnl/oxX2xv0RvckmsgHzJ0uUHn/GdNc045q67q4lWJ W/Yt67btQuCRYgGXQt5NCPMMUgqtzSne1BsjZd6b/c5G3iz1TYgnM/4OSxiL+izwWio3 606JH7/5Fmg7eJPvaxFcfWNaUU30n3xzQVXDCwjI0hQGARblA2ihDf8pnc4Yv7QRDFy+ d02M+4IxKM8J0jtNEfLZJsuFEJV1EbJ2qQNqPbEtcRiePQMzFhDYWK1rPug1S6HJXaM1 Yh3NzlFUEXn/SSZGitAVn0EC7pBdp5Sx0ppevzbE/Zu/3McA/6Sy7DYWG0RzFlhlyg40 PsCA== X-Gm-Message-State: AOJu0Ywr/aipFBMg1StAuDA7JEwZHvGzeDm7nxFq1VaofNRTXipsqq0L NxZmIx45KlLGmJqdjmCFrvAPGkymxSt0XrPjC7K1EoWR/tpAnJbzIiy5UGi7ak9f0pl7PpAf6zj GWzenm8ihpSxiYe0b2CSQM9+hOfesRZn4 X-Google-Smtp-Source: AGHT+IEBbz1ooTgeKaN0Xf26iEAbQATA/eH+hU6eN5BtdyK1Lufn+oFz/uCRluL/2dl3ZF/M5CbdRsKdZB2DK2qT9A4= X-Received: by 2002:a05:6512:3dab:b0:52c:df9d:7cbe with SMTP id 2adb3069b0e04-530bb39d2dbmr8190989e87.39.1722878225024; Mon, 05 Aug 2024 10:17:05 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 5 Aug 2024 13:17:04 -0400 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 5 Aug 2024 13:17:04 -0400 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Mon, 5 Aug 2024 13:17:04 -0400 X-Google-Sender-Auth: ugoeSRvXPY1NzGHAEvdd6h7TORU Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] IFL 2024 Final call for papers, extended submission deadline. Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19168 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: =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=3D=3D IFL 2024 36rd Symposium on Implementation and Application of Functional Languages venue: Radboud University Nijmegen, The Netherlands August 26 - 28 2024 https://ifl24.cs.ru.nl =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=3D=3D ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2024 will be 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 languages and function-based programming. ### Industrial track and topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2024 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chairs 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. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. ### Important dates Submission deadline of draft papers August 6th, 2024 EXTENDED Notification of acceptance for presentation August 6th, 2024 Registration deadline August 19th, 2024 IFL symposium August 26-28, 2024 Submission of papers for proceedings December 1st, 2024 Notification of acceptance February 2nd, 2025 Camera-ready version March 2nd, 2025 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=3Difl20240 Register here: https://ifl24.cs.ru.nl/Registration Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that ar= e not yet part of the ACM Open program and do not qualify for a waiver will b= e required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will= be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info@acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured 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. ### Organisation PC Chairs: Mart Lubbers Radboud University, The Netherlands Local Chairs: Peter Achten Radboud University, The Netherlands Sven-Bodo Scholz, Radboud University, The Netherlands ### Program committee: Beno=C3=AEt Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA Jo=C3=A3o Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Moraz=C3=A1n, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.