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=jE1oLKAd; 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=jVDIFbsL; 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 8C917B80123 for ; Wed, 20 Nov 2024 22:01:01 +0000 (GMT) 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=XwwToVYJdohhhAxUqCKKN32z+vygg6HB9ARznhPDXg4=; b=jE1oLKAdZP5GsRvaNeyEGqjsjYZrf2LPU+WN12C7P9qi1++ZTnLUhuOe UALnfbPF0sjf//AVt4hi/XyAN/k+uxjCn5RUOyJznrtQpdvdG6XkR6uXn 2voE4VO2TfJ3Zg6LFxstrt12oxdwwHRDjZVMHTVe+fBNRXNB9jJ8Jm/8g 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:128.93.162.3 ip4:128.93.162.88 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.12,170,1728943200"; d="scan'208,217";a="194995876" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Nov 2024 23:01:01 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D9EAEE0D1D; Wed, 20 Nov 2024 23:01:00 +0100 (CET) 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 9171BE00B7; Wed, 20 Nov 2024 23:00:52 +0100 (CET) IronPort-SDR: 673e5c13_mtl2lnjFJCnrcGRWYITAo1kP/tAQX1YeOHandFpynURLpZh O5x+qyJ+GvDK78xwczIvnQaMyJUrzYTsa3ciPPg== X-IPAS-Result: =?us-ascii?q?A0EdBQDPWj5nfDTQVdFaDg8BATwBBQUBAgEJAYFoAoJCf?= =?us-ascii?q?Vk0BAtIhFaBI4Isi36ZZoR/gVaBQD4PAQMBDRQBAQECIAsEAQEDAQOFAIpWA?= =?us-ascii?q?h4HAQQyBw4BAgQBAQEBAwIDAQEBAQEBEAEBBQEBAQIBAQIEBgECEAEBIhkHD?= =?us-ascii?q?hIphXsNgls7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCDR8/OAsGHQEbDBIDEgkBBjcCIwERAQUBIzSCXwGCLwEDMQMRp?= =?us-ascii?q?gOBBUKLPoEVBQIWgQGCDQaBCdlTChkoDW+BYQIBBhSBNAGEcilcglQBgVwCD?= =?us-ascii?q?oN9O4NCgSEbgg2BFTWDM4EFg2sggw6CaQSGWnYliH+bBAgHFwMHBwkFBBwGB?= =?us-ascii?q?QUCQgkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGDhEBPxIEEwoNCwcFHwoHD?= =?us-ascii?q?BEKKAQiEwIsEAECASEQAwQFAwUDAwQHAQIFBAkIAQQDAgQDAwICAwEBCAUHB?= =?us-ascii?q?AMKBgEBAwQDAQEFBwcDAgEBAwEBCgYFCA0FAwgDBgkDBAEBAg8CAw4CAgIDA?= =?us-ascii?q?gEKBggFAQMGIQEMAwEDAwUMBBQDBAUCAg8MAQIDAwcDBQICAgICAgIFBAECB?= =?us-ascii?q?AIEAQUECQECAgIDAgEBBgQCAgIDAgcMBwMEAgYCBgIDAgcLCgIDBgUFAwUCH?= =?us-ascii?q?gIDAgIEAwMVAQQBAgECAwICAwIDBAEDAwIBAQEDBwICAgcDAwUCAgMMAgMDA?= =?us-ascii?q?QEGAQIBAg8FBQYEAQoDAhQDBRUGBwIPBQgBJgEeAgIDBA0IBQICBwIEDAIED?= =?us-ascii?q?wUDAw4GARUGAQQIBAYEBgYFBQMEDgcXEQEBBAQCBwoHAggCAgYEAgIHGgYDB?= =?us-ascii?q?QgDAgUFEAICCwIEAw4HBAQbAwECCAICGAIBBwECEgEHBAEUAgoDAgUEAgQDA?= =?us-ascii?q?hAECAICAwMEBAMBBQMEEAMLAQUGBQEBBA4BAgECAQECAwMOAQICBgICAQkCA?= =?us-ascii?q?gEBAg0IAQQDCAIBBAMFAwoBAQECAQQJBA8GAwUDAwcDBAIDAgYCBAQEAgIDA?= =?us-ascii?q?wIDAQMDAgECAwkCAQ8PCg8CAgMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECA?= =?us-ascii?q?gIEAgQCAgYDCQgBAgIHAQICAgMVAgUBBAkDAwUSDCIDAgICAgMHCgMFAgEBA?= =?us-ascii?q?gQDAwMDCQ0HAgMBAgEDBQMBAgECCQMGAgIDAwUSGQUDAg8DAgEFBAIIEgsHA?= =?us-ascii?q?QEPFgUECQUVAwYCAwMWCwQFAwMDAQwFDA4CAgsDBBMFAQEHAQMOCAMEBAIDA?= =?us-ascii?q?wkCARABAwQCCQIEAQIKAgICAgIEAQEFBAIEAwIFAgIBCAQDAwMNBAMICAMFA?= =?us-ascii?q?wwSAgICCQIDAQIDAwMEDQgWDQMCDRoKFRMHBwMDBAsCCQMEDQIEAgIBBgMGC?= =?us-ascii?q?gYWAQIYAgIGDAQDAwgDAgMCAgECAgIBEQICCQgNBQkFBgIWAwIDCAEJAw8DA?= =?us-ascii?q?hQBBgIIAwcBAQQCAgoRCgEBAgIBBigDAQECFBMHAwgCAgICBhYMAQUHAwcPB?= =?us-ascii?q?QUEAgIWAwMVBAQMBwICAwMCAQEUBhUBBQIDBgsBBgECBQQCAwQCFAIDDwMEA?= =?us-ascii?q?woCDwMGAwQGAwECDBACBAIJCgEFBAMHBQIfAwMCAgULAggCAgUCBQcDCQsGA?= =?us-ascii?q?QIIAwQJAhQCEAICAgIIFAcCAgEBAgUGGAECJgIEAQIBAgECAQIBCgECAg4JB?= =?us-ascii?q?jsGEwQCAwMCDgECAgsBAgIEAgMBBAcJAwMJCgcBCg0HAgIKCAkQAQICDwcDA?= =?us-ascii?q?gICAgYHEQMCEw8FBgYCCgcNCgMCAQICFQIDCQYDBQ0DBwQKDwIVAhYFAyACC?= =?us-ascii?q?AkLAgcQBQIFEgMKBwUDAgISAgIDBgUDAQcBHAcDBAUCCAICDQICAgIFAgUCB?= =?us-ascii?q?RoVAQ0EAwMDAggBBhkGAwkIFhYdAgkDIw8DCwkIEz0BCwcyBDYBBg4UByshX?= =?us-ascii?q?58QaUeCZoIOlUqSMqEAaIM8hG+HJ5VHM6pOiAKQdSKNXZsXESMSgTgBMzyBI?= =?us-ascii?q?DMaI4EBgjZPAxkPV41hg2OFFIohti8oMjsCBwsBAQMJky2BSwEB?= IronPort-PHdr: A9a23:zSmMhxV7FWkKaCE8aZAlCBoCMw3V8KzeXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtydsK4P0reM++C4ACpcus7H6ChDOLV3FDY7yuwu3DYcSPafDkP6KPO4JwcbJ +9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJ xmqsAndrMYbjIV/JqorxBbErXREd/lWyG92OFmfmwrw6tqq8JNs/Slcp+gt+9JcXan/Yq81U aFWADM6Pm8648HmqQPNQQyT6HUCT24YiABIAw/L7BH7Wpf+rC73vfdj1SeZIMP7U6k6VSyt4 Kl3RhDojjwHNyMi/2HMlsNwlqNbrwm/qBF53oXZfZuaNPt6fqPaYNMaWW9MVdtfWiBdHo+xa ZYEAuwcNuhasob9vUMDohS+CweiB+3h1yFGiWPt0KIgz+gsCxvL0BA8E98MtnnfsdX7NL0VU eCw1KTG1TTDb/VZ2Tf76YjIdB8hquyNUrJxb8Xa1E4iFgzDjlWWqIzlOTyV1+sMs2eF9OdgW uevhHQmqwF1uDSg2sAsiozQi48T11vL+jl3zpwvKt2kVE50f8SkEJ1Iui2GNoZ7XscvTm90t Ss+yrMKpIC3cicUxJk52xLRZfOKfYaV7h//W+icLjl1iXBldby/mxq8/lWtx+/8W8S0zltHq DdOnNfLtnAIzRPT686HR+Nm/keg1jaPzwTT5ftCIUwukqrbMZEhz7gtnZQQqUTOBjH6lFnyg aOMdUgp+vKk5/r7brjlvJORN5F4hwfjOakwnsy/HP84MhQQUGiB5Oq81bzi8lPhTblWiPA9j 7PXv4rAJcsBo660Gw9V3Zgn6xa4Fzqm1c4XnXgDLF5cZh2IkpXlN0jAIP34E/uzmVuskDBsx /DJOr3uHI/BIWTEkLfkZbp96khcxxQvzd1H+Z5YFrUMLOjwV0LxrtDUEAM1Pg+uz+vnFtlxz oYeVniOAq+dPqPSq1iI5uc3LuiDYo8Vvjf9K/4q5//hjH82h0QQfaas3ZQNaXC4Gu5qLFmeY XrpmtsBF3wFsRIkTOP2kF2CTSJTZ3GqUq4i/j07Ep6pDZ/fRoCxh7yMxDu0EYdTZmBCE1yMF Xbod56YW/oXcyKTIsphkiQeWrS7So8h0wuutA7gxLZ9IOrU4DUUtYj/29ht++3TiRYy+CRoA MSaymGBVn17nmcVRzAtx61/ukx8ylKb0adimfBYFNpT5+lIUgggL5LcwfZ6WJjOXVfKd9KND VKnWcmOADcrT9t3zcVKK016ApCpig3J9yusGb4c0bKRQNQ9/a7V93zwPNpmjX3G3a0kgkM9B NBCcSWmj7V8+gzXQoXAnUixl6+xdqkY2GjK7mjHhXafpExDFQd2V6LYW3sSTk/XtsjioFjPR qToFKwqNA0HxMKfeYVQbdi8q1RAS/HiPtuWU2O80zOgAxCJwLycbYfCdGAU3SGbA08BxVNAt U2aPBQzU3/y61nVCyZjQAqHiyLE9OB/rCj+VUoo10SRaFUn0bOp+xkTjPjaSvUJ37tCtj1y4 y5sEgOb2NTbQ8GFuxInZL9VNMM75lZB2nLYuiRyO5WhK+ZpgVtNOx9vsRbW3g5sQp5FjdBsq XoryARoLqfNwFVHdjWXzZH9ErLSI2j2uhuobv2ewUnQhfCR/KpH8/EksxPjsQWuQ1Il6Gli2 sJJ3mG045zLCE8fXcu0XBttsRd9oL7eb2824Ia8OWREF66yv3eC3tsoALBg0RO8Z5JEN7vCE gbuEsocDszoKeowmlHvYAhWdOZVvLU5Oc+rbZ7kkOaiIfpgkTS6jG9G/JE100SC8DB5Q/LJ2 JBNyu+R3w+OXTPxxFm7tcW/lYdBbDAUVm2xrEqsTJ5XYKx0cpYKBE+hJsS2wpN1gJusE39U+ Vi/Bk8XjdezcEnaZFj80AtMkEUP9Cb/yG3oknouy2Fv8/DMuU6Gi/7vfxcGJGNREWxrjFO3Z JOxk8hfR0+wKQ4giBqi40/+galdvqV2aWfJEiIqN2D7KX9vVqyou/+MeclKvdk4tyNWVuusY F2yRbv0oh9c2CTmVTg7pnhzZ3Sxt5P1kgYvwnKbKnd1o2rYdOl/wB7e4JrXQvsbjXIWASJ/j zfQHF21OdKkqM6Vm5n0uee7T2u9V5dXfEEH1Ku4vTCgrS1vCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7Avck5tDV76o810f+M22ps2gpAW1mgbi72a+HMGlSH4NtAT1a/lbXULT CIG2JaPuFmjiBAldCrZgd+jHnyGitNsfdy7fn8b1kdfp4hRBaGY4aYF1Sp5r1ykrB7ANP10n zMT0/wruzYRh+AEvhZozz3IWOhDWxkFe3a0x1LVtYPbzu0ffmukfLmu2VArmNmgCOrHuQRAQ DPifY9kGyZs78J5OVaK0Xvp64iidsODCLBb/hCSjRrEiPBYbZwrkf9fzzphP2P7sm0kxsY0i BVv2dexu43NeAAPtOqpRwVVMDH4fZZZ6jfrjKBRjseb94+qF5RlXD4MWdG7KJDgWCJXvvPhO QGUFTQ6oXrOArvTEziU70J+pm7OGZSmZDmHYWMUxtJ4SFyBNVRS1UoKCS4ikMdzRWXIjITxN V107TcL6hvkpwtQn6h2YgLnXD6XpR/0OGxpDsHOdFwMsl4EvwCPbYSf9r4hQX0epMb66lXTc irDIF0ZaANBEk2cWwK9YP/3vYOGq67AQbDmZ/rWPefQ96oEC6bOlcrpisw8p36NLpndYSMkV qF9gxsZGyg+QpS8+X1HSjRLxX2RKZfB+VHkvHUw95738ey3Clu3tc3WVOQUYZM3vErvyaaba 7zJ230/cGcEkMtKnTiRlt19lBYTk308LWH8V+Rd83eXHOSI3fYIRx8DN3EpbZUOsvJ6h1gXf 5ac04K916Yk3KRsVREfDg2nwZvvPYtTcgTffBvRDUKPftxqPBXtxMf6KeO5QLxU16BPsgGo/ C2cCwnlNyiCkD/gU1auN/tNhWeVJk4Wvob1aRtrBWX5KbCuIhSmLN96iyE3yrwolzvLM2AbK z11b0JKqPWZ8ypZhvx1H2EJ4GBiKKGInCOQ7u+QLZhz07MjGiNvi+dT+2g30ZNQ5SBAAfF5w W7c84QorFahne2CjDFgVVsGqzpGgp6KoVQ3Oajd8colOz6M9xYM4GOMThUS8oE9W5u/5uYKk oiJyfigTVUKu8jZ9sYdGcXOfceOMX56dAHsBCaRFwwdCziiKWDYgUVZ1vCU7Hyc6JYg+f2O0 NIDTKFWUFstG7YUEENgSZYSJpF2WDw0kLOzg8sB5H74px7UDpY/3NiPRreJDPPjJSzMx6FDf AcNyKjkIJ47M4T63wlvZgA/ktmQXUXXWt9Jr2tqaQp+8yAvuDBuC2Y03UzicAak5nQeQOW1k hABgQx7ee0x9T3o7j/fx3LPrSo01UQ9wJDr3GrXfzn2I6O9G4pRDnis36DeGpz+SgdxKwa1m B49XN8hb71UhrpkM2tsjV2E0aY= IronPort-Data: A9a23:i3B53qIIpJusffcXFE+RapElxSXFcZb7ZxGr2PjKsXjdYENS3zQGz GscX2iGbv6PMTTxeItzadm080IE68TTnNBjTlMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb/s9JIGjhMsf7a8Uk35K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LucEHB6d50FQYNN4QI98BdDEcQ+ +QVN2VYBvyDr7reLLOTT+BtgoEuIJCuMt5F/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoWTbCDP aL1ahI3BPjESw1JPFYRB4I/kc+ng3D+d3tTr1f9Sa8fujCJllUtjeC9WDbTUo22WuFUuXiEn EnP8kjeOE8Ra+fF6CXQpxpAgceUwHqjB9NMfFGizdZhiViXg2gSEwE+Tkq+ufD/i0ikWtsZJ VZ80iEptO058FGhZsLsWgWx5n+CpB8VHdRKe9DW8ymIw6vQpguVXy0KE2QHZ9shu8s7Azct0 zdlgu8FGxRsipC/YmiEsYyepCO/HwIYCzEMfSIbGF5tD8bYnKk/iRfGT9BGGaGzj8HoFTyY/ 9xshHhv71n0pZ5bv5hX7Wz6bySQSo8lpzPZCy3SV2Ohqw51PcurOtbu5l/c4vJNao2eSzFtX UToeeDPsoji7rnUy0Rhpdnh+pn3u55p1xWC3TZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYyDwNfMuO9LuUplypUQFKTgDfqCFBjapSsggHDJrAAk3NCZ8Iki0zxh8z/5lY f93j+7wUilBVvUPIMWKqxc1iuJynn9vmws/tLj0yBOo1bfWZXieD9843KimP4gEAFe/iFyNq b53bpPUoz0GCbGWSneNreY7cwtRRVBlXsCeliCiXrTfSuaQMDt8U6eJqV7gEqQ595loehDgr i3kBxEClgCj7ZAFQC3TAk1ehHrUdc4XhRoG0eYEZD5EAlB6Od3zvpQMPYA6Z6cm/+FFxPt5B atNMcaZD/gFDnyN9z0BZNOv5MZvZTa6tzKoZiCFWTkYe4I/Zgrr/tS/QBDj2hNTBQWKtOw/g Yaa6CXlfbQ5ST9PNv3mMMCU8wvpvFw2uv5DYE/TE9wCJGTu6NdLLgLyvN8WIuYNCxPJ+RWC3 S3LAx1C/ejpiK02+envmqqrgdqIEex/P0wCBEjdz++8Ghf791qZ471rcbi3bxGEc0jr6oCOW P5z88jsFNEmwHNbrJtaEZtw6KA1uuvUuL5Ryzp7EEXxb1iEDq1qJl+E15JtspJh66B4uwykf FCm4fhfZKu0Pf36HG4rJAYKavqJ0dcWkGLw6dU3OEDL2z9lzoGYUEl9Pwi+twIFFeFbaLga+ OYGvNIazyediRBwa9aPsX1yxlS2d3cFV/0qi4EeDIrVkTEU81BlY6HHKyrI8ZqKOsRtME4rH 2euv5D8pY9gn2jMT3liMkL2/7t5pY8PsxV03lM9Nwy3ut7atMQWgjxV0xoKFzpw8DsW/d53C GZRM29NGZ6v5BZt3chKYHCtEVpOBTqf4U3A9GEKn2z4EWitWnD8E2kmHeOr4koi0nl9ewJD9 +qy01fVUjfNfeDw0BAtWEVjlefRcNxp+iDGm+GlB86gHaRmRRbAnYmVejMuhzb8JME+lmnrh LNPx/lhT7//OQo7gbwJO6PD2Zs+EBm7dXF/G9d/96Y3LETgUTCV2x3VDmuue8lIdsf4wWXhB +NAfstwBgmDjgCQpTUmBIkJEb9+vNgtwPEgIrrLB2o3g4GznwpTkqD713bB3TcwYtBUj8wCB JvbdGuCHkyulHJkoTLxg/ceCFWoQ+svRVPa5/+0wtUrBphYkeBLcGMO6JWWkUiREjNa+0Ozg FueSY7Ql/dv2KZ9rbvKS69jPTi5Gfn3deaP8T2wjehwUMPyAZ/OmT84+ljDFCZKDIQVQOVyx Oisssao/Ubrv4QWcmH+mrudJpZN/uGNYulyCZvyCkV7gBnYCdHeuQsH32WeN5Zysch84/O/T FCSc/qAdt8yWvZcykZKaiNYLQ0vNqTvYorkpgK/t/6pGDFH9SD2d/ac6m7PUWFXUgQqKq/OI Fb4lNj27+8JsbkWIgEPAs9XJqNRIXjhaPMATMLwvzzJNVuYqAqOlZW6nCVx9AyRLGePFfv7x pf3RhLeUhCWk4OQxfF7t71ChDEmPExfs8IRIH1Eo8VXjgqkBlEoNe4eaJUKKq9FmxzIia3XW mv/U3sAOw7cAxJ/bhTO0PbyVFy+B8sPGOvDCB4Hwke2UxqyVaS8WOZP1yE573lPL26piKntL NwF4XT/MySg2pwjF65Z+vW/hvwh3f/AgG4B/UfmicHpHhICGvMw2Wd8GBZWHznyey0XeJ4n+ UBuLYyFfK26daI1OcNpenoQFR1A+T2ylXMnaiCAxNuZsIKepAGFJDsTJMmruoDvruxTTFLNe Z8zb2SI6mGSnHcUvMPFfvo31LRsB6vj8teSdcfeqM57o010wmsiNsIG2yEISanOPeKZ/0z1z lGR3pT1OKhJxI29FlFbJcXlNq+dik4xMgw= IronPort-HdrOrdr: A9a23:qxNTba0Y7w/e9272zRq4iwqjBJckLtp133Aq2lEZdPU1SL3gqy nKpp4mPHDP+VMssR0b6LK90cq7MBDhHPxOkO0s1N6ZNWGMhILCFvAE0WKN+UyHJwTOssFazr lpaKVzBZndClJgnd/m7ATQKbod6ejC3qTtq+m29RlQpMJRBJ2ILT0VNu9WKCxLrcB9ZaYEKA == X-Talos-CUID: =?us-ascii?q?9a23=3ADJZKHGgzLkgTRfeiHK+FsopZQzJucUfw5lzKOgi?= =?us-ascii?q?DA295RZu/RHnO9rtpjJ87?= X-Talos-MUID: =?us-ascii?q?9a23=3AYCkU2w8yVV+FWNA9UsoTNI2Qf5ZU/ICvL34Rq74?= =?us-ascii?q?PtuWjD3J7ZAzHrSviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,170,1728943200"; d="scan'208,217";a="102214508" X-MGA-submission: =?us-ascii?q?MDFwoy7Z9yQxAyG0klkuyUkznznFSUeI3GF5Hg?= =?us-ascii?q?oPrNMeWo9l5Cuu1/WnDVr4dTRdGwVIM104eDD4zzK9C1c1QWRYZI1e/Q?= =?us-ascii?q?k58WscfiAs9876BI6gVUhd5A6nZ6Ytw1hmdjR7B1ZFVQoMjfwZk1pSHZ?= =?us-ascii?q?voB9yoKYv0ue6j4bf6W8b/yA=3D=3D?= Received: from mail-ed1-f52.google.com ([209.85.208.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 Nov 2024 23:00:52 +0100 Received: by mail-ed1-f52.google.com with SMTP id 4fb4d7f45d1cf-5cecbddb574so259768a12.1; Wed, 20 Nov 2024 14:00:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732140051; x=1732744851; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=XwwToVYJdohhhAxUqCKKN32z+vygg6HB9ARznhPDXg4=; b=jVDIFbsLJC76EY1u/YnSsP7g5Lg39CTsLUTxIS9p06Y1X73W6Gks4DDBPrwVTjNdMW 8VB2E1fS1bzLnX0YBsKwk1dOWwRjrAE3PF+HpfnezHGN/EuLej9eLNd9fuPA9sPhFwWI FqvrYzU3UIKwN2HGw3aqgJJO5KOcyHsBUWKWNKGxmOmYYmhN17o9tF8At8ylcWVhABGt cOCpDF5/DHhPcAIppPlP2e9EUpIpsYwzdtqpS0KxEEMHq8Sg6D3nNXSvg82bwW9xAhvw 3UeSYbD7wGdxvwfvyL6p2ZkYqA4zSJoRRpwV1G+gjXjrM/LLCN4m+V8fNXzgpKnUNCWD KopQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732140051; x=1732744851; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=XwwToVYJdohhhAxUqCKKN32z+vygg6HB9ARznhPDXg4=; b=G6UJpR6XRFx0xZAa3zEJMP9EeI319LLG7A71Ykq+YDOXSMepKT5nKyb+CqvrCSuIKj lWZMqz10VJZx3edqzS9TvhnaOya/CHuiCfhdeqitYJJXB9ailwdXZ9e71qkvH4DHWH6u EtMMHL1W681bm4/IzAi7mJ3RqCVyH+sckp+mo19FlxgDajEa1Ti+vWN/5MMklc/0k370 srbmOfZypdD38pRNJ7CioQqAKswaH9pmr2hgVEIHZpXbkDbtGx0MIAUKycD7jW/qjLJY ftVPn/yzsyJOz8OZt6IddnYvbOHckWwuX5YbZrAoxlbOwOlSqCJqfN7B9tzTofKJZbKG Dptw== X-Forwarded-Encrypted: i=1; AJvYcCWuyuN80X4GgqDKE5OpoIEFDM7DPPHqxrBgC0G0NBs/tUQJu/iKMmhza6XDH3OAvPPojJ2fXEnmzg==@inria.fr X-Gm-Message-State: AOJu0YwwVwBU5tA7N7EmfK8mNcqhSZnqzaqWITSg3VfAPNBl8HtpvQHC c4ZXNisBXS7HzwV6RPaIDkOHTH12A5dhkioHs0yFpWsY0WLnP8hNgdEdbKP9+BLqm/Q/da9IZVZ mU6RU9TVwD3Z/+HKJdlURTqVjHuF5bqJD X-Gm-Gg: ASbGncsU6UPa+8+i5XhiSypojteLrd/ejAxI8Gz4J7sjuVatvbeHIiG4IhdxSh8fX2/ N+5Xr+EW9DDbgazM8pA2IA4ClcRquhoo= X-Google-Smtp-Source: AGHT+IEMDjWadxqaKO+DFhjwXviqJ+9RshUP8+OUiuasyZi/OLnEgqaUhC3p13LhC3mq/LUkFpESbWqnwSCL/Lrecds= X-Received: by 2002:a05:6402:5212:b0:5cf:ca30:fd3c with SMTP id 4fb4d7f45d1cf-5cff4cdbefcmr3181026a12.28.1732140050242; Wed, 20 Nov 2024 14:00:50 -0800 (PST) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 20 Nov 2024 17:00:38 -0500 Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="00000000000065667f06275f481d" Subject: [Caml-list] POPL 2025 Call for Participation - Early registration: 20 December Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19212 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: --00000000000065667f06275f481d Content-Type: text/plain; charset="UTF-8" POPL 2025 -- Call for Participation ** Early registration deadline: 20 December 2024 ** Come and join us for POPL 2025, in January, in Denver, Colorado, the United States. Register here: https://popl25.sigplan.org/attending/registration Location: Curtis Hotel Denver, 1405 Curtis Street, 80202, Denver, Colorado, United States Dates: - Main conference: Wed 22 - Fri 24 January - Workshops, tutorials, co-located events: Sun 19, Mon 20, Tue 21 and Sat 25 January Accepted papers: https://popl25.sigplan.org/track/POPL-2025-popl-research-papers Full details of the conference and co-located events: https://popl25.sigplan.org/ Sponsors: POPL is supported by generous sponsorship from: - Amazon - Jane Street - Google DeepMind - JetBrains - Microsoft - Epic - Google - Ahrefs The 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) will take place in January in Denver, Colorado, the United States. It's going to be an amazing conference - don't miss it - sign up now! https://popl25.sigplan.org/attending/registration --00000000000065667f06275f481d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
POPL 2025 -- Call for Participation

** Early regist= ration deadline: 20 December 2024 **

Come and join us for POPL 2025,= in January, in Denver, Colorado, the United States.

Register here: = https://popl2= 5.sigplan.org/attending/registration

Location: Curtis Hotel Denv= er, 1405 Curtis Street, 80202, Denver, Colorado, United States

Dates= :
- Main conference: Wed 22 - Fri 24 January
- Workshops, tutorials, = co-located events: Sun 19, Mon 20, Tue 21 and Sat 25 January

Accepte= d papers: https://popl25.sigplan.org/track/POPL-2025-popl-research-papers<= /a>

Full details of the conference and co-located events: https://popl25.sigplan.org/

Sponso= rs: POPL is supported by generous sponsorship from:
- Amazon
- Jane S= treet
- Google DeepMind
- JetBrains
- Microsoft
- Epic
- Goo= gle
- Ahrefs

The 52nd ACM SIGPLAN Symposium on Principles of Prog= ramming Languages (POPL
2025) will take place in January in Denver, Colo= rado, the United States.

It's going to be an amazing conference = - don't miss it - sign up now!
https://popl25.sigplan.org/attending/registration<= /a>
--00000000000065667f06275f481d--