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=OZawuldd; 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=Bxf1dfz6; 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 1FFCEB80123 for ; Fri, 19 Jul 2024 21:08:04 +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=H0CGVbZ+w+cQHw+N7skOsxqsS5tERjO1Prs0/X4WbHI=; b=OZawuldd6LPzkp1h09zfKt9/yUPuEG/j1cYevY5WPi6vCVGxodIbWAr3 qvyu47/gcFLKuCFT+Z332IlaSkUHlxnLjHUVPo2+/iCmQGVAIOi3c2K5U JnCPQPOhWAMXLiA7nQEMH9NaU6Zu1ENGkqX/j0weaCfVEKrC44rAk3VfA o=; 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,221,1716242400"; d="scan'208,217";a="176261179" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2024 22:08:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 71BE7E0D22; Fri, 19 Jul 2024 22:08:02 +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 36390E0131; Fri, 19 Jul 2024 22:07:58 +0200 (CEST) IronPort-SDR: 669ac79d_eh9K4v9R+p2+ZeNjH5bWTH9zVaO3Guhsjohreu5TcINaC2k qvsyW3JLhERgRg0Lg74recAKSLQ3pSNl4a+bEMw== X-IPAS-Result: =?us-ascii?q?A0GvAwCFxppmfy3aVdFaDoJKghwofFk0BAtIhFaBI4Idj?= =?us-ascii?q?AqCIoEWilaHL4QihH6BVhSBLD4PAQMBDTkLBAEBAwSEOUaJMgIeBwEEMAkOA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQgBAQUBAQECAQECBAYBAhABASIZBw4SKYV1DYJgg?= =?us-ascii?q?SpeAwIFAzsBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFA?= =?us-ascii?q?g0fPzgLBh0BGwwSAxIDDTcCIwERAQUBIxIIARmCBlgBgi8BAzEDEZMFjzSBB?= =?us-ascii?q?UKLO4EVBQIWgQE7gVIG2loKGSgNb4FgAgcUgTSEZiWDJwGBPBkCAoQjg0Z6J?= =?us-ascii?q?xuCDYEVNYI9B2+BBQGBUIE4ARIBToMugmkEgWOMOxuEXoNvggs8gSZ4CBZTA?= =?us-ascii?q?wUJCgQmgQwkZhiFBX0kAguNfQgHFwMHBwcEBQQcBgUFAkIJBQEPEgMEAwQEA?= =?us-ascii?q?QILCQoJAwMCDgIIAwIIBg4CEQE/EgQTCg0LAwQCBQoDCAICBwIOAQUCAgICA?= =?us-ascii?q?gICAwYCEgQCAQIDAgIIAgcBAQIKBwMBAQIGBAMGAgIFBA0DCwEBAgIEAQoCC?= =?us-ascii?q?Q8FAgIDAgMBAQIKAwkBBQICAQMCAgQEBwEGAwUDAwQEAwIDAwIMAQUBBQEFA?= =?us-ascii?q?QUEAgYBEwISAgILBQYDBg4DCwYBAgIHBgwJBAICAgYBAhEDAQIBBwEDAwIKA?= =?us-ascii?q?QQBCwgBBQgIAQQCAwYQAggFBgUCBAEBAgICCAYPAwYHAgMCBgMFBQMDAgICB?= =?us-ascii?q?wQEAgECAgIBEwYEBAIDAgMEAQUEBAMCFwgOAgUHAQkKCQwBAgYCBAIEBwMGB?= =?us-ascii?q?AUEAgMCBBEHCwMCAwQCAgQDEQIDBAIKAgQEBwIDAQEMBgQECgILAwUBAQIFA?= =?us-ascii?q?wMJBwYCAwMFBAYCBQMDAwIDAgkCAgIBCQEBAQISAgMOAgQCAQIFBQwEEwICA?= =?us-ascii?q?wIGCAICAgcDAwQCAwYLAQIRAgICBQMEAgIUAwcEAgQFAgQBBgMDAgQGBQgEA?= =?us-ascii?q?gIFAgEBAgEHAgEPCgQCAQQDBQMHCQIFBQMCBAICBQkBAQICAgMDAwMDAgIDA?= =?us-ascii?q?wIHAwMDBwMFAwQCAwYFBwMFAwMCAgIUAQYCBQ0IBgsFBQcCBgIECAUCAgMDA?= =?us-ascii?q?wIGEAMDAwIFAgIDAwECBg8GAgIDBQYDAwMDBgYDAwIGAwMCAwIDAgMBAwIDA?= =?us-ascii?q?QIDAgICCAICAwIFBAUCAgIECBoCAgICAwMIAwMKBAICBAEEAgQCBAIGAwQCA?= =?us-ascii?q?gEHAgMDAgMCBwICBAICAgIDAgQHAgMDAwICAgEJAgUBAQYCAwMCAwUDCQMEB?= =?us-ascii?q?QIDCAEBAgIHBwMDBAMBAgEFBAICBgUCAwICBAIEBQMCAwYGAgEDAgoGAwUDA?= =?us-ascii?q?wMDAgMCAwMCBQIIAgIEBAUEAgUEAgQDAwMBCgIGAwICBQEBAgIFAwIEBAcCA?= =?us-ascii?q?gIHDwMCBwUCBQUFAggBBgUCAgMCBgECAgYBBgIEAQICDQEBAgIDBAMDBwIEA?= =?us-ascii?q?wIIAgMDDwEDAwkGBQQFBAMJBA8CBAEIAwEBBAgCBAMCDAICIAIFCwQEARoIA?= =?us-ascii?q?wEBAwEBAgICAg4DAgMCAgMKAgMCCgYEAgIGAQEBBAECAwEBAwIBAgcEDgQFB?= =?us-ascii?q?QgIAQMCAQoBAhAFAhAJAwcEAhAGCgUDAgMFAQIFFQMIAwIJAgQMAw0CAwIGA?= =?us-ascii?q?wYCBgEGAwcLAQEHCAUDAwMCFgECAg8IBAYPBwIDAwMEBQcDEgIGDgMDAgMCA?= =?us-ascii?q?QICAgMFBAUCBwMDCgUCCAMCCAUDBwkECgIKAgYDAgICAgUMAQEBAQIDAgUDB?= =?us-ascii?q?wcICAQFBAMBAQYGDCACAgMEDwMJAwYLAQUFAQMCAgIOAwYCAwYGAQkEAQUEC?= =?us-ascii?q?QIFBwYFAgEUFgcGAgoCBwICAgMBAgMFCwgCAwIKBAEOBBkCAgIBAQICAwMHA?= =?us-ascii?q?gMCEwMDBQQGAwICAgIDAgEKCwMCAgMDAwMFBQMCGQMDAgEKBQIMBQQDBAICA?= =?us-ascii?q?QIdAwEFAgMKAQUJAQYCAgMCBQIDBgQCBAEOAQEBAwYLCRQCAgIJCAMIAwUNA?= =?us-ascii?q?g0CAwUCAgtBCwUBAQQDAQEKARctAgQCBgwBAQECAwMGAgICFQUHAwUDCAEDA?= =?us-ascii?q?QITCAYCAQMKCgICBAIGAwMCCgMBCAICAg8DCQIHAg0CAgMDDA8EAwMDAwgCA?= =?us-ascii?q?gIRCQoCAgIMCAoCCQICAwYBAgMDBQMCAQEBBC8CBAcBAwYKAwICAgkICgkDA?= =?us-ascii?q?wUDCgIBBgYBAgMMAQECEwQJAwIBAgEBBggBAQIEAQQCCAYCAgICCgMFAwIDB?= =?us-ascii?q?RUFBAICGQMCBAUDBQMDBAcBAgYEDAkCBQMCBAMDAgQEAQEJBQkEAwsGAQEBA?= =?us-ascii?q?wQDAQEIBwcDAgEBAwEBCgYFCA0IAwgDBgkDAQYBAQUaAwMOAgICAwIBCgYIB?= =?us-ascii?q?QIDBg0CBAIaAQwDAQMDBQ4EFAMEBQICDwwBAgMDBAUDBQICAgMCAgIFBAECB?= =?us-ascii?q?AIEAQgECQECAgIDAgEBAgIEBgUCAgIDAgcMBwMEAwYCBgIDAgcLDAIDBgUFA?= =?us-ascii?q?wUCHgIDAgIEAwMZAQQBAgECAwICAwIDBAEDAwIBAQEBAQEDBwICAgQBAQEEA?= =?us-ascii?q?wMFAgICAwwCAwMBAQYBAwECDwYFBgQBCgMCFAMFFQYHAg8FCAEoAQQCAgECP?= =?us-ascii?q?QICAwQNCAUCAgcCBA0CBA8HAw4HARUGAQQIBAUEBAYGBQUDCA4HAhYRAQEEB?= =?us-ascii?q?AIHAQQCAg0HAgIMAgIGBAIBAwcjBgMFCQMCBQUXAgIPAgQDBQwIBAQbAwECC?= =?us-ascii?q?gICGwIBBwECFAIBAQcEARQCBAcEAgcEAgQDAhEECQICAQILBAYBDAECAgsEG?= =?us-ascii?q?gUGAgMBAwsDBAIDAwEDAgECARICAgICAgEEAQchHQIJAyMPAwsJCBM9AQsHM?= =?us-ascii?q?gQ0AQYOFAcrIV+pXIQmLUIgAYFNBAkFNJMsGiuPM6MSZ4M3hG+HI5U9M4QFg?= =?us-ascii?q?VaLKpF9hzqYbCCNWIdOjXYCE4UrESMSgTI6Lz1wMxojgQGCAgEzCRYwAxkPV?= =?us-ascii?q?41hg2OFFIogvCEdKjI7AgcBCgEBAwmJIoFKAQE?= IronPort-PHdr: A9a23:whJLlxKQuYkeZcjt5tmcuJNvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvbMw1RSQAdmTq6odzbaM4ua4AS1IyK3CmU5BWaQPbSNNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7oxndutMWjId/Jao91xTEr3RVcOhS2W9kOEifkhni6sq05pJv7zhct/c8/MNcTKv2eLg1Q rNfADk6KW4549HluwfeRgWV/HscVWsWkhtMAwfb6RzxQ4n8vCjnuOdjwSeWJcL5Q6w6VjSk9 KdrVQTniDwbOD4j8WHYkdJ/gaRGqx+8vRN/worUYIaINPpie67WYN0XSXZdUstXSidMBJ63Y YkSAOobJetXoInzqVUNoxWjGwejGPjixSVUinLsx6A2z/gtHAPA0Qc9H9wOqnPUrNDtOakKU OC1yqbIzTPCb/NQ1jf29YnHchE/rvqRWr9xfszRyU8uFwPDgVWRpo3lMC2O2+QCtmiU9etgV ea1h2E7rAFxpyGiy8ExgYbGmowb0ErL9TllwIkrP924TlZ2bMC6HZZQtSyWK4t4T8ciTmxpp Co317MItYO4cSQU1ZkqxxHSZvKFfoaI4B/uUPqdLDRkiXxlfL+zmhm8/0e9xuD6S8K63lFKr i9fndnNsHAAzwfT6smISvtl+keuwzCP2xrU6uFeLkA4jbDUJIIkwrIqkZoTq0vDEynrk0v1l K+bblso9vSs5uj9YbjrpoWQO5Fphgz9KKgjlcyyDOIlOQUQW2ib5P+81KH98k3jXbtKj/w3n bfBvZzGI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FfQiIj4ntO13XPv/4D+qzj02ikDpkx /3KJLLhApLKLnjMlLfuY6xx5FJbyAo21dxf5pRUBa8dIP/rREP9qNjVAgU6PgG02errFshx2 4AEVW+AAqKVKKbSvkWJ5uIrLemMfogVuDPlJvkq4f7ui345mVkSfaim3JsYdmu1HvtjI0qDY Hrshs0NHnsNvgo7VODqjkaNXiZJZ3muR6I8+i07CIW+AIvdXoytmqCO3D+nHp1KYWBLEkyDH m3td4WAQvsMbCOSItR9kjEfTrigS4oh1Qm0uwPgyrpnKPDU+iwCup752th1/fXflQsu+jxsE 8Sdz2aNQnlokWMPXj86xbxwoUhgyliYyqV4mPxZFdlL5/xTSAs6NJjcz/Z7C9/oQA7BcM2JG x6aRYCtCDQ1C9Yw2MMmYkBnGtzkgAqHlyGtGvoek6GBLJ0y6KPVmXbrY450xHrP/K0glEU9B MBPPGmji7RksRPeQ8bClwCYjK+geKAY0WvQ72qZ1kKKvVpES0h7WKCDVHtZe0iS5d/+4EjfV aWjD782Gg9A0tKZJ7FUZ8evkUhLAvHnfJzeanmylmO0QB2ByL6kbIPxeGgZ2GPaEkdA2xwC5 XudcAE4ACC8pWnTJDhvDk70JVjh+PI4tWu2SElywg2XPGN70L/g3B8TivqdTfxb7rMJ8HMxr TN1Glmt3t/+BN+Jpg4nd6JZN4BuqGxb3H7U4lQudqerKLpv0wZ2m2Vfukrv008yEYBciY0wq 3hsygNuKKWe2VcHdjWC3Jm2NKeEYnLq8kWJbKjbkkrbzM7Q4r0GveQ+rVTlsxGoG2It9nxm1 59e1H7Pro7SAl8qWInqGl0y6wA8orjbZicn4IaBxXtqMK+7oj7P890sDeohjB2neoQXK7uKQ Sn1FcBSHM2yMKoqllyuOwoDJ/xX/bUoMtmOcvKH3OumPr8lkm77y2tA54953wSH8C8Upvfg+ ZEDzrnY2wKGU225l1K9qoXtnosCYzgOH225wCyiBYhLZ6Q0c5xZQWGpa9a6wNlznfuPEzZR6 UKjClUa2cSoZQvablrz2hdV3FgWpnrvkDWxzjh9mTUk5qSF2ymGz+PnfRsBcmlFIQsqxUfqJ 4mygMAbUWCnagEokF2u4kO7j6lXqaJjLnXCFF9Sdnu+JGVjX62s87uaNpQXudV47GMNCbT6P Q3JL9y16wEX2C7iAWZEkTUydjXw/478gwQ/kmWWanB6sHvef8h0gxbZ/t3VA/BLjV9kDGF1j yfaAl+kMpyn59KRwt3TtOa/UW2xV5B7fizizIfGvyy+rz4PY1X3j7Wol9vrHBJvmz/90dhsW jXJoT7zZ4Dq0+KxNuctLQF4QVT77cR9AIR3lIA90YoR1XYtjZKQ5XMbkG33PL23wIrGZWEWD X4Oyt/Ruk3+3VF7a2iOzMT/X2mcxc1oY5+7ZHkX02Qz9ZICBKCR5b1C1Sx7xzjw5RLXZ/l7k SccxNMh7Xcbh6cCvw9lwiiGA78UFFVVJmS2z0XOv4349vwHIjryObGrnFJzh9WgEK2PrmQ+E D7id5EuEDUxpsRzPVTQ0WHiv4Tted3ed9UW5VWflxbNifQQKYpkzKJbw3o6fzik7Tt5lr1e7 1Qmx5yxsYmZJn84+au4BkQdLTjpf4YJ/Tqri69Cn8GQ1oTpH5N7GzxNUoG7KJDgWD8Uq/njM B6DVTMmrXLOU6rZGw6Z51dnolrAFpmqMzecI3xTnrAADFGNYVdShgwZRmBwjpg/Fwal1M3sW Eh87zEVoFX/r1Efr4Agfwm6WWDZqgCybz4yQ5XKNxta4DZJ4ELNONCf5OZ+TGlIu4espwuXJ imHdhxFWCsXD1ecCQmpbdzMrZHQtvKVDe2kI77SbKWS/KZAAuyQy8vn05M6rW3RcJzeZj84U 6J9gg0ZATh4A5iLxWlJEXdM0XuTN4jD407tn08/5sGnrKa1BkS2vdHJU/0Kdo83sxGu3fXda ajK2Hc/eW4ejtRWnTfJ0ORNgwRU0n0oLmj3V+xH7H6oLuqYm7cLXUFHLXopaY0Qqfp7h1cFO NaH2Iqthvgh0aFzWxEdEga40sCxOZ5TfDr7bQKbQh7NbPPfe1ipi4n2ef/uE+UByrUJ8UTq6 XDDVBa8djWby2uzDk7pbLEK1XDBekQZ4dD1cw4xWzK6EpS8MUz9a4Ux1XpvkNhWzjvcPGoYe 1CQamtrqbudpWNdi/R7QSla62Z9aPODkGCf5vXZLZAftb1qBD51nqRU+iZyzbwd9yxCSPFv/ Uma5tdzv1GrlPWOwTt7QVJPrDhMnoeCoURlP+3Q6JBBXX/O+B9F43+XDlwGoN5sC9unvK41q JCHjKXoNDJL6M7Z5+MZDsnQbc+FaT8vbUevFznTAw8ICzWsMCCXhkBQlu2T6mzArpU+rcuJ+ tJGQbtaWVopU/ICXx49TZpSfdEtB2NizePI6axArWCzpxTQWshA65XOV/bIRO7qNC7cl75PI R0B3bL/K40XcIz9wU1rLFdgz+GoUwLdW85Apip5Y0o6ukJIpTJuSGsy3U31aw6F73oaFPryl RkzwFgbA6xl5HL37lE7K0Cf7jM3i1U0kM75jCq5dTfwKOK9X9gTBXap8Uc2NZz/TkB+agj4z ikGfH/UArlWibVnb2VijgTR7IBOFfBrRqpBeBYMxPuTap3ANHxTryymwQlM4u6XUfOKdSMve J+o6n9CgkdtMINzKqvXK65EiFNXg/DW1sdH/u80yQ4aYU0K9THLEBM= IronPort-Data: A9a23:BdNki6mCTLX46gZj7pX3lR/o5gwyIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJLDWmDMqnfNGKgc4txPI629UMB7ZGGndY1TFQ5+y5kF1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajN8B56r8ks14Kyt4WJA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1XBWAOItQZ891HHDBz6 bs0EyotNQGc0rfeLLKTEoGAh+wmJcjveY4d4zRukWyfAvEhTpTOBa7N4Le03h9q3pEITauYP ZNJL2YyBPjDS0Un1lM/GJQ4neGnlnjyWzJdoVOR46Ew5gA/ySQoj+a3boOMIY3iqcN9oWaxh WSbxW7CDQwZLNO/6TqJzWiTv7qa9c/8cNlPTeXnp6ACbEeo7mcaDRlTUVqgvdGim0umUpReL VYV82wgt8Aa/0uyC9L5QheQu2+BphdaWtxKEuR85hvl90bPywOQB2xBQzwYLdJ66Yk5Qjsl0 lLPlNTsbdByjFGLYUuU14+L9DK7AhgIfFIeIgM/Vyte8sa29enfkSnzZtpkFae0iPj8Fjfx3 y2GoUACa1M73Z9jO0KTrQ+vvt68mqUlWDLZ8ek+Y45IxgZwZYrgao7xrFaHsLBPK4GWSlTHt 38B8yR/0AzsJcDU/MBuaLxSdF1M2xpjGGOA6bKIN8d6nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYoOdvqU59xkPewRImNuhXogjxmMskZmOivrHEGWKJs9zm8+KTRufhjZ 8fLLJ/2ZZrkIf06nGPrHY/xLoPHNghlmDqLGsGlp/hW+bWZY3GRRP8ENlDIBt3VH4vVyDg5B +13bpPQoz0GCLOWSnCOreY7cwpWRVBlXsueg5IMJoa+zv9OQj5J5wn5muN/JeSIXs19yo/1w 51KchMCkAqk3CeaeF3ih7IKQOqHYKuTZEkTZUQEVWtEEVB6CWp2xP5HLcVlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+V9GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq40 QypLw8SjrTPqdVt8f3ip6ONn6G2GcRQQ2tYGGj66+6tFC/4p2CM/65JYNyqTxv8Clzm2fyFT vpH6t3BK9s7pUZun6sgNqd03IQ8ysDKpbQH/j97HX7OUUunOolgLlaCw8NLkK9HnZ1dhiebR WON/ct8K5ySGca4DmMUGhUpXt6D2d4QhDPWy/Y/e2f+xS1v+Yu4QVdgBAaNhANdPYlKHtscm 8l5g/Ev6iu7lhYOGfSFhHoN922zc1oxY59+vZQeWILWmg4nz29ZWqPlCwj03YqubutdOUx7M x6Wg6v/345n/HTgSEZqN3bx3rt6v68s6TRq114JImqbluXV3sEX2AJjyhVpbwB34Cge7cdNF DlFC0lHK5+K3Q9Uv+lYfmX1Gwh+FByToUPw7F0SlVzmdUqjV02TDWgxJdey+Fs99kRCdAN65 5Cd8n7uChzxTfHy3wwzeE9rkOPiRtpP7T//mNirMsCGPpsiax/nv/OKSU8XjSD4WOUdqVbip +Z42MpRM4jAKj82sak3L6K4xIYgYkmIC0IaSM4w4Z5TO3/XfQ+D/ASnKmezX5hoDOPL+0rpM P5eDJtDeDrm3Rnfsw1BI7AHJoJ1u/sb5NAiXLfPDkxeupu9qgtZir7hxhLctkQKHeo3yd0cL 7nPfQ2sCmaT3HtYu1Hcpfl+Z1aXX4M2Wx3e7suUrsMyCJMxgMN9exoT05y1nUmvHilJwha2h D7HNojql7FM6II0hIb9MLRxNyPtI/PJaem42gSSsdNPUNDxDfnzpz4l8lnJAykGPJ86echGq rCWgdumgGLHpOkXVk7aqbmgFo5Ix9mDY+5MFv3JNVxhxC6kdPLx0UFS5VLiOZhtlfVD7PKGX Cq9UtO7LvQOaudexVpUSilQKAkcAKLJdZXdpTuxgvCPKxoF2ynVBYmD2V6wSk8DbQ4OGZn1K jGsisaU/toC8bh9Xk4VNc9pE7pTAQHFW5J/U/bTqDPBLG2jom3ai4vYjRB6tA36UCiVIv3bv 6DAaAP1Limpmafyy9pcjYx+kzsXAFt5gsgyZkgtwMF3uR/rEF85KfkhDrteBqF2iiDS0LTKV APJZkYmCgT/Wm1gWjf469LBQAyeJ7IvPvHUGz8XxH6XOhyGXN64PLhc9yleuiY8PnOpyey8M tgR90HhJhX7kNkjWe8X4ef9mut9gO/TwnUT403mjsjuGFAkDK4X0GB6Vh94PcAd/xohSG2QT YT0eYxFfK1/YUv4EMIldnwMXR9F4XXgyDInaSrJy9Ha02leICus19WnU9wfEJVaBCjJGFLKb XzyTmqJpWuR3xT/fIM37skxj/Yc5e2jR6CHwWyKeeHWt66142UjecgFmELjiS3kFBF3Szvgq 9Vn35Ty6Ilp5qycNH16BDjlI65Mb08= IronPort-HdrOrdr: A9a23:tG+wGq6ypo2z7BAoFQPXwGvXdLJyesId70hD6qm+c31om6uj5q aTdZUgpHjJYVMqMk3I9ursBEDtex/hHNtOkOos1VnLZnibhILqFvAe0WPaqweQZBEWj9Qtq5 uIKpIOeeEYb2IbsS+K2njdLz96+qj/zEnAv463pEuFDzsaCZ2IiT0XNu/xKDwSeOApP/QE/b Onl7p6jgvlV3QLT9ixQkIIV/LEoLTw5ejbSC9DKR47yRWEyQil4r7iExSew34lIkhy6IZn32 jZshDzop6uufGjyhPayiv64plMlMH6o+EzdvCku4w6KijMlg3tXohnVrGY1QpF2N2H5Voxjd nKqwohOcNogkmhDV2InQ== X-Talos-CUID: 9a23:fcrw127dS9opBU7xAtsszUc1It98c3Tm/GqBHlP/JV1zaOaEVgrF X-Talos-MUID: 9a23:GrLWzASw5S1zeQIaRXTTpBhBMppS6Z+hFUMVnrUmu8W7LxNJbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.09,221,1716242400"; d="scan'208,217";a="176261139" X-MGA-submission: =?us-ascii?q?MDGNnMBb7FvxNw30MvvEuFWWzinqD1KW/YkgNn?= =?us-ascii?q?M/K6bnNk/6UuySPpvxi+fiYQXnQThixc6Xl02sX9Gx/AUH+zA+BWT5lg?= =?us-ascii?q?S8B6cyXwUlshUKRmIghYZCWPT/xfKlnFBAeQgh3/cRBaUVqZikh+mL0g?= =?us-ascii?q?dsLx5deU0za7jE2YPN7bQUHQ=3D=3D?= Received: from mail-ej1-f45.google.com ([209.85.218.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Jul 2024 22:07:56 +0200 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-a77cbb5e987so227982266b.3; Fri, 19 Jul 2024 13:07:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1721419676; x=1722024476; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=H0CGVbZ+w+cQHw+N7skOsxqsS5tERjO1Prs0/X4WbHI=; b=Bxf1dfz6OJA3y7CUqzzWBgWr589ZTHUJOINll84R5wLcYU6BcEjaXEZ4FYjMT1oN7c WAhJaHn3U1hJ31vE4a9MFup/tEKcBI+qn8CFNtpi/JHytIWDJigWlWcRgyazDI9sdeGc YESPw2Jbd1cBBfm8spU+EX6aEhSP8HmNQxdOideTJhG9Fzr4RrHJDjqwwnD0NX72vs/F VEsrT/NswYPpXMdA3Cv9jyNHR67ujAmyhUegbCH9VNMCskr8mOzX6TIfS8qbQLHP+gC2 s5y9VzTBGsC05sDQMCSi8gn1Mkg155g7BcteLijGBEIfdTDlnwp3C9jCdSxM6rhK40Na 2zxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1721419676; x=1722024476; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=H0CGVbZ+w+cQHw+N7skOsxqsS5tERjO1Prs0/X4WbHI=; b=aNPK6nE/Kuzg6QzOluyq13vSWhglCidm6S0lLuAuhNYS9yWnFhJYm38PWb41uyu7Z4 Ico11oqrWYL4T2s+FUQ4yc1jSQemVwGIva3XGcQAiM1QpJsgh+A/Ia33KbSG874W+1NN BV3o1MC5mufy6TP3+/tYfNqjJRMlhD4hMGJMBqnb67KJDyyvGl33xfQ1GtNqREnsgw3l gu/6gcZVZ5I93yo3/jKYxcCB4WUBJZKCfmP9NVDbW38OY99b9XdA93LdkhsJu3efAkDK zOI+HcPl/AH1Cvm/W7Hxujj4gSjLHF7w8KBq3NxLyCW+YGW2H3ZZdDQQ/kl1+/15WM2U 33JA== X-Forwarded-Encrypted: i=1; AJvYcCVZpuufzRT0mhqTMu41WObF6WhGVEEP72tuHaHAurne7W8N9PECt44rejjMmZEXrPry4NZK0cjFEwIbU3Zx6/RFHQ== X-Gm-Message-State: AOJu0Yy/RlLPR6jT92ydOgR6IuC+bAVFijbmcBq5tlS1QmGbY5aCdKCv Efp3zi5afKnZkdWOY13kNGs72zRK31klEQJLSA6dRF4RhK8/z7Bm6chomQ1L4tt0Q+EtlHVLEHH k4WCNlpv9CUCLgFWszRieO4qjcASI9zMI X-Google-Smtp-Source: AGHT+IF00j4CoMSJf1tW9Tlr0C26xfQ3zBD07c7AyxUIaz6KpYOraQOrh8a8DLGGnCZpK8viNAnkhBXBNT4UFsBEeQ8= X-Received: by 2002:a17:906:1781:b0:a77:c4a7:c421 with SMTP id a640c23a62f3a-a7a01192e8dmr522788366b.30.1721419675757; Fri, 19 Jul 2024 13:07:55 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Fri, 19 Jul 2024 16:07:44 -0400 Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, cl-isabelle-users@lists.cam.ac.uk, concurrency@listserver.tue.nl, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000487791061d9f40e9" Subject: [Caml-list] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE) Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19159 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: --000000000000487791061d9f40e9 Content-Type: text/plain; charset="UTF-8" FINAL CALL FOR WORKSHOPS AND CO-LOCATED EVENTS POPL 2025 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Sun 19 - Sat 25, January 2025 Denver, Colorado, United States https://popl25.sigplan.org The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, Colorado, United States. POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Events focusing on experimental and theoretical topics are welcome. Proposals are invited for workshops and other events to be co-located with POPL 2025. All co-located events are sponsored by SIGPLAN ( http://acm.org/sigplan/). Workshops should be more informal and focused than POPL itself, and include sessions that enable interaction among the workshop attendees. The preference is for one-day workshops, but other schedules can also be considered. --------------------------------------------------------------------- Submission details Deadline for submission: 26 July 2024 Notification of acceptance: 2 August 2024 A workshop proposal should provide the following information: * Name of the workshop. * Duration of the workshop. * Whether the workshop will be Conference-approved or SIGPLAN-approved (see below). * Organizers: names, affiliation, contact information, brief (100 words) biography. * A short description (150-200 words) of the topic. * Event format: workshop; type of submissions if any; review process; results dissemination. * Expected attendance and target audience. * Potential PC members - please do not contact them before the workshop is approved. * History of the workshop. * Plans for remote participation Proposals must be submitted in PDF form by email with the subject POPL 2025 Workshop Proposal: [workshop name], to the workshop co-chairs: Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu). --------------------------------------------------------------------- SIGPLAN Sponsorship POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/). There are two kinds of co-located events: Conference-approved (no proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information, including a full listing of prescriptions for Conference-approved and SIGPLAN-approved workshops. SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-approved workshops must additionally include the gender, country of affiliation, and professional status of potential PC members. See https://www.sigplan.org/Resources/Policies/Diversity/ for more details. --------------------------------------------------------------------- Selection committee All submissions will be evaluated by a committee comprising the workshops co-chairs, the general chair, and the program chair. --------------------------------------------------------------------- Further information Any questions regarding POPL 2025 co-located event proposals should be addressed to the workshops chairs Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu). --000000000000487791061d9f40e9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FINAL CALL FOR WORKSHOPS AND CO-LOCATED EVENTS

=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 POPL 202= 5

=C2=A0 =C2=A0 =C2=A0 52nd ACM SIGPLAN-SIGACT =C2=A0Symposium on=C2=A0 =C2=A0 =C2=A0 Principles of Programming Languages

=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0Sun 19 - Sat 25, January 2025
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0Denver, Colorado, United States

=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0=C2=A0https://popl25.sigplan.org

The 52nd ACM SIGPLAN-SIG= ACT Symposium on Principles of Programming Languages (POPL 2025) will be he= ld in Denver, Colorado, United States.

POPL provides a forum for the= discussion of fundamental principles and important innovations in the desi= gn, definition, analysis, transformation, implementation and verification o= f programming languages, programming systems, and programming abstractions.=

Events focusing on experimental and theoretical topics are welcome.=

Proposals are invited for workshops and other events to be co-locat= ed with POPL 2025. All co-located events are sponsored by SIGPLAN (http://acm.org/sigplan/)= .

Workshops should be more informal and focused than POPL itself, an= d include sessions that enable interaction among the workshop attendees. Th= e preference is for one-day workshops, but other schedules can also be cons= idered.

------------------------------------------------------------= ---------

Submission details

Deadline for submission: 26 July= 2024

Notification of acceptance: 2 August 2024

A workshop pr= oposal should provide the following information:

* Name of the works= hop.
* Duration of the workshop.
* Whether the workshop will be Confe= rence-approved or SIGPLAN-approved (see below).
* Organizers: names, aff= iliation, contact information, brief (100 words) biography.
* A short de= scription (150-200 words) of the topic.
* Event format: workshop; type o= f submissions if any; review process; results dissemination.
* Expected = attendance and target audience.
* Potential PC members - please do not c= ontact them before the workshop is approved.
* History of the workshop.<= br>* Plans for remote participation

Proposals must be submitted in P= DF form by email with the subject POPL 2025 Workshop Proposal: [workshop na= me], to the workshop co-chairs: Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu).

---= ------------------------------------------------------------------

S= IGPLAN Sponsorship

POPL co-located events are sponsored by SIGPLAN (= http://sigplan.org/).= There are two kinds of co-located events: Conference-approved (no proceedi= ngs) and SIGPLAN-approved (proceedings in the ACM Digital Library). See=C2= =A0http://www.sigplan.org/Resources/Guidelines/Workshops/=C2= =A0for more information, including a full listing of prescriptions for Conf= erence-approved and SIGPLAN-approved workshops.

SIGPLAN-approved wor= kshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-app= roved workshops must additionally include the gender, country of affiliatio= n, and professional status of potential PC members. See=C2=A0https= ://www.sigplan.org/Resources/Policies/Diversity/=C2=A0for more details.=

-------------------------------------------------------------------= --

Selection committee

All submissions will be evaluated by a= committee comprising the workshops co-chairs, the general chair, and the p= rogram chair.

------------------------------------------------------= ---------------

Further information

Any questions regarding P= OPL 2025 co-located event proposals should be addressed to the workshops ch= airs Christoph Matheja (c= hmat@dtu.dk) and Robert Rand (rand@uchicago.edu).

--000000000000487791061d9f40e9--