From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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=Z9YYRYH+; 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=kE159DId; dkim-atps=neutral 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=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 3A10C417D0 for ; Tue, 7 Jan 2025 16:22:10 +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=sHxBAgf0iccwDma0/8YdYqWMStVrJ8gxB0How5kfG64=; b=Z9YYRYH+/8xz0OB0VJ4SvMcfYXm0rSGXBLvtYtnYJW3YNNC++tGOITQ9 VZ37RRgqE1G3asxPrztMy7nSC7QynqYMmPGOMSiZTyMGYH5SU35vzI2qJ D07RJje8XlaSVl8udixOA3oFrNf1zPUuD9W0JHjYL6nOnHDh/9rXat0W/ 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: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,296,1728943200"; d="scan'208,217";a="201891916" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jan 2025 17:22:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E66D3E0D25; Tue, 7 Jan 2025 17:22:08 +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 794E2E0077; Tue, 7 Jan 2025 17:22:02 +0100 (CET) IronPort-SDR: 677d54a9_M/S3Er8ULyg/FisoJRYbMYkRTFRR+AFY4BSe6iyI9Q5yKhb U9TtVrJ7/7BxueidmMa6Nvm8bX6jO7G9UEgAYog== X-IPAS-Result: =?us-ascii?q?A0G4IgAvU31nfDPQVdFaDoUSfVk0BAtIhFaBI4Isi36DK?= =?us-ascii?q?JY+hQCBV4E/Pg8BAwENOQsEAQEDAQOFAIp3Ah4HAQRHAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJbO3FhAgUDOgEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAg0fPzgLBh0BGwwSA?= =?us-ascii?q?xIJAQY3AiMBEQEFASM0gl8Bgi8BAzEDEaUtgQVCiz6BFQUCFoEBgg0GgQnZU?= =?us-ascii?q?woZKA1vgWECAQYUhigpXIJVAYFcAg6DfzuDQoEhG4INgRU1hDiDayCDDoJpB?= =?us-ascii?q?IQqgz+LJpImJggHFwMHBwkFBBwGBQUCQgkFAQ8SAwQDBAQBAgsJCgkDAwIOA?= =?us-ascii?q?ggDAggGGQE/EgQTCg0LBwUfCAMHDBEKKAMiEgIrDwECASELLgUDFAQZAQEHB?= =?us-ascii?q?wICAwEFAgUMAgoDAgcCBAMCDAQGAwIEBAIBBRIDCwEFBgUBAQQMDgICBgICA?= =?us-ascii?q?QgCAgEBAhQBBAMIAgEEAwUDCgEBAQIBBBQGAwUDAwcDBAIDAgYCBAQFAgIDA?= =?us-ascii?q?wIDAQMDAgECAwkQDxYCAgMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECAgIEA?= =?us-ascii?q?gQCAgYDCQgBAgIHAQICAgMVAgUBBAkDAwUSDCADAwECAgIDBwoDBQIBAQIEA?= =?us-ascii?q?wMDAwkNBwIDAQIBAwUDAQIBAgkDBgICAwMEEhkFAwIPAwIBBQQCCBALBwEBD?= =?us-ascii?q?xQFBAkFFQMGAgMDFgsEBQMDAwEMDw4CAgsDBBMFAQEHAQMNCAMEBAIDAwkCA?= =?us-ascii?q?RABAwQCCQIEAQIKAgICAgIEAQEFBAIEAwIFAgIBCAQDAwMNBAMICAMFAwwSA?= =?us-ascii?q?gICCQIDAQIDAwMEDQgdBQkRCwIJAwQNAgQCAgEGAwYKBhUBAhgCAgYMBAMDC?= =?us-ascii?q?AMCAwICAQICAgERAgIJCA0FCQUGAhcDAgMIAQkDDwMCFAEGAggDBwEBBAICC?= =?us-ascii?q?hEKAQECAgEGJgMBAQIUEwcDCAICAgIGFgwBBQcDBw8FBQQCAhYDAxIEBBACA?= =?us-ascii?q?gMDAgEBFAYVAQUCAwYLAQYBAgUEAgMEAhICAw4VAwMEBgMBAgwQAgQCCQoBB?= =?us-ascii?q?QQDBwUCHwMDAgIFCwIIAgIFAgUHAwkOAQIFAwQJAhQCEAICAgIIFwICAgUGG?= =?us-ascii?q?AECJgIEAQIBAgECAQIBCgECAg4JAwQ+BhMEAgMDAg4BAgILAQICBAIDAQQHC?= =?us-ascii?q?QMDCQoHAQoNBwICCggJEAECAg8HAwICAgIGBw4DAhMPBQYGAgoHDQoDAgECA?= =?us-ascii?q?hUCAwkGAwUNAwcECg8CFQIWBQMgAggJCwIHDgUCBRIDBwcFAwICEgQCAwYFA?= =?us-ascii?q?wEHARAHAwcIAgIMAgICAgUCBQIFGBEBDQQDAwMCCAEEFQYDCQgqHhIBAQEFA?= =?us-ascii?q?QkCAwIDBAgDAwMDAgMEDAsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFCyECBgMCB?= =?us-ascii?q?AUEAQUCFQ0CAxkCBgMGFAsMAgYNAQgJAwcBAQECAgIIAQUFDAkCAwQCBQQEA?= =?us-ascii?q?QESBgIBAwICAwQCCgMCCgIICgEJEwQDCAMDAwMDBQEBAgIKBBMFBQIBBQwTD?= =?us-ascii?q?AkKBgMGAwQCAgIKAQcCAwMDAgcBCyodAgkDIw8DCwkIEz0BCwcyBDYBBg4UB?= =?us-ascii?q?yshX5o2Nj2DG4IOlUuSOaEDaIM9hG+HKZVIM6pTmHwijWKbGBEjEoFMBxk8g?= =?us-ascii?q?SAzGiOBAYI2TwMZD444g2OFFIohpWgoMjwCBwEKAQEDCZAMgUsBAQ?= IronPort-PHdr: A9a23:YvrkBhaiRainkHa3g0JZ5ZD/LTFR2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1waPBNmBoKIYw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSgbb9oM Rm7ohvdusYVjIZtN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZb46VOvRwfa3TYM0USnZaU8lLSyBMGJmxY 5cTA+cDO+tTsonzp0EJrRu7HQSiHOLvyjlHhn/w3K061eshGhzH0wwhAd0FrXPZrdrzNKcUU OC1yqbIzDrCb/xIwjr9543IfQogofGIR75/bc3RyUw2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmI7qgx8vjyiy8kwh4TNhowZ107I+ypnzIsrOdG2RkF2b9C5HJZMuC+XOIV7T8EiTm9op Co0xaALtJy7cSUK1pkqwQPUZfKAc4iN+B3jVeCRLC9jhHJkd7K/nxKy/lKmyuHmUcm0yllKo yxYmdfPrnAAzwLf5tSDR/dn/Uqs2SyD2x7P5uxHO0w5lbfXJpg8ybMukpoTrF/DHjPol0Xsk aGWd0Ql9faw5uj7ZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgXrpFk+A6n rDXsJ3aOMgXvKG5AwhS0oYs7xawES2q38gfnXkCNF5FeRSHgJb1O1zWPvz0EfOyj06vnTpr3 fzKIKHtD5bXInXDjbvtZbN95FRdyAo3w9Bf/ZVUCrQZLfP8XE/xst3YDhk2Mw27wuboFs5w1 owbWW2VA6+ZNLnevkOP5uIqO+WMYpQaty7nK/c5//7ukWM5mVgFcKW3xZcXcmy3Hux6I0WFZ nrhmssOHn0Pvgo6VeDqjFyCUSVPZ3upRKI95jQ7CJq8AovZR4CthqaB3CahEZFMaGBGEEiAE W30eIWcR/cMdCWSL9d9nTwDTLitUpMu1RWztADh0LdnNerV+igAtZ35ztR15uvTlQsz9TNuF cid3XuNHClImTYDTjoymaR+ulBVy1GZ0KE+jeYcXddU/rZCVhowHZ/a1e1zTd7oHkrIcduAY FKnWcm9RzoxR9Y0zsUVJV1wX52ihwvA0i6uRrQcmbGjBJUv8a/Y2z72Pck5g2rXzKQ6ylAgR MxSM2arrqp+7BTIQZXEml7fir6nc6Ja0SLQp0mZym/bmkBeXwhxV6qNbXESLh/Gq9L44EzST rKGBrEuMw8HwsmHfPgZIub1hElLEa+wcO/VZHi8zj/Y7Xegw7qNaNGvYGABxGDGD1BClQkP/ HGAPAx4ByG7omuYAiY9XUn3bRbK9u9z4Gi+Uldy1xuDOl1n0buz9Q4UiNSTTvoS2vQPvyJy4 y5sEgOF1snNQ8GFuxIneaxdZd0n51ISxWTftgpyLp2tB69nj18aNQ9wuhCmzA15X6NHl8Vit 3Y21ExyJKafhUtGbC+d1IvsN6f/L2Dz+FWiZ/eT1AyHltmR/agL5bIzrFCLUBiBME0k/j0n1 tBU1yDZ/ZDWFE8JVoq3VE8r9h98rrWcYy8n5oqS22c+ea+z+iTP3d4kHo5Hgl6pYstfPaWYF QTzD9xSBs6gL/YvkkSoaRRMNf5b9ao9NcerP/Wc36vjMOFllTOgxWNJheI1mlKK8St6Rf7J0 r4KxviZ2k2MUDK9xFatv8brmJxVMCkIFzn3wizlCYhNI6xqKNxTWCH+fovtnoU42se+PhwQv ESuDF4HxsKzLB+bblimmBZVyVxSunu/3y2x0z1zlTgt6KuZxi3Hher4J39lciZGQndviVD0L M26ldcfCQK4aQ4okhS15EvSyK1SpaA5JG7WCxQtHWC+PyR5X628u6DXKd5J7pIuvjVWXcyzZ FmbTvj2pB5QgGvzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 nzMA0SkesKu5ZOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70s3hFwk83j/62vFlU CzJqFD3ZYyj26mhMO1hd1VlHxems5s8Stw4yNNgwsxJkXEBzo2Y538GjXv+PbA5kerlYXwBS CRKi9/Z7Q752VFye3eAxob3THKYkYNqY9i3ZH9T2zpotZgbTvfJquYczW0o+wndz0qZe/V2k zYDxOF77Xcbh7pMow8x1mCGBahUG0BEPCvqnhDO7takrawRanz8FNr4nEd4g92lC6mP5w9GX 3OsMIckGy524dV+PXrD1XTy7sfvf9yaPrdx/lWE1gzNieRYMsd7hvwMhCxoKWPwlXIgwu8/y xdp2Nvp2erPY3Uo96W/DBlCMzTzbM5G4TDhg5FVmcOO1pyuFJFsSX0bGYHlRvWyHHcOpOzqY kyQRSYkpC7RSt+9VUePrV1rpHXVH9W3OmGLcTMHmM56SkDVJVQD0ltJGmxrxthjSl/snIu7L A94/mxDuAK+8EAXjLs2b1+nFT6OwWXgIjYsFMrBclwPtlsEvwGNdpbGpuNrQ3MGoNv78F3Le jTdP0MSVSkIQhDWWAqlZ+XovIiatbDfX7rbTbOGYK3S+7MCEa7SmNT3lNMhpmjEN93TbCA6X 7tihRUFDTYhXJ6A0zQXF35OyHmLNp/H4k/6omou8KXduLzqQF69v9PeTesPd4w1q1buxv7cf ++I2HQjcGgei8NKnC6SjuBYhQ9aijkyJWP0T/Ja7n+LF/iWwugOXnt5I2tlPc9MpcrQxyFrP sjWwpPw37981bsuDktdEEfmgoevbNALJGe0MBXGAlyKPfKIP2+Dxca/eq66RbBK6Ycc/xStp TaWFVPiNTWfhnHoUR6oK+RFkCCcOlRXpoi8dh9nDWWrQsjhb1W3N9p+jDt+xrNR5DuCLWkHL T11aF9AtJWV5CJcx/hzQilPsyMjIu6DlCKUqeLfL9desPdmBDh1i/MP4Hk+zOgwjmkMT/h0l S3O69929gv+w6/fl3w9CEoI928Y4eDD9V9vMqjY6JRaDHPN/RZWqH6VFwxPvNx9TNvmp6FXz NHL0qP1MjZLtdzOrq5+T4DZLtyKNH05PF/nAjnRWUEVSziqM27PhkF1n/Sb93nTpZ8/4MuJ+ tJGWvpAWVo5G+lPQFxiB8AHKYxrUykMlLeaiIsF6SP7okSIAspduZ/DW7SZBvCle1P7xfFUI hAPx73/N4EaMIb2jldjZldNl4PPA0PMXNpJr0WJgSc7pUxM9D51SWhhgioNjyui5XYSEbi/m Rtk0mOWgMwo/Tboplo7fx/E+XJ2n042ltHoxzuWdWypRJo= IronPort-Data: A9a23:coDesa3tGakO5TudavbD5Wl1kn2cJEfYwER7XKvMYLTBsI5bp2cHx jcYWWqDPPzcY2LxKd9zPYi0oB5T7Z7Qnd9hGlFp3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8gVaYDkpOs/je8Eo346yo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3irzdU0Ek51AcoB8+RlEDFHr 8VBMAlYO3hvh8ruqF66Yuxlh8BmIcWyeY1C4zdvyjbWCftgSpfGK0nIzYUAjXFg24YURaaYO pNxhTlHNHwsZzVfPFEWDp0uneqAiXz2cjkeo1WQzUYyyzGLkVMpgOW0abI5fPTXH9V+jB7Gi VnG7m6pWi1CDvCxijOspyfEaujnxn6iAN1DStVU7MVCi1SWwikXCQYKfUCqpOGwzE+4QdNWb UIOkgIlqrF3/0i2RPHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OUCjFBQGMYLtMhs8AySHoh0 Vrhc87V6SJHs/qbaSiD+fSo6iq7OzoEfWZYXHYcdF5QizX8m70bghXKR9dlNae6iNzpBD39q wxmSgBu193/auZbh82GEUD7vt66mnTeoucICuj/W2uk6kZ0aNfgadHxr1fc6vlEIcCSSVzpU Jk4dyq2vb5m4XKlzXPlrAAx8FeBuavt3Nr03wIHInXZ327xk0NPhKgJiN2EGG9nM9wfZRjia 1LJtAVa6fd7ZSTxM/YnM9npU5lylMAM8OgJsNiEPrKihbAhJGe6EN1GPxb4M53FyRd8wf9gY 8/znTiEUS5HV/85pNZJewvt+eR2n3hhlD27qWHTwBOg3r6TLH+TQvFtDbd9RrFR0U9wmy2Mq 4w3H5LSlX13CbSiCgGJq9J7BQ5RdhATW8umw/G7g8bZfmKK7kl7VqeJmdvMuuVNw8xoqws/1 irgBRMGkwKi1C2vxMfjQikLVY4DlK1X9RoTVRHA937ys5T6Sd/3t/tNRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+voTc6+7kiQuCEdkd1iXkGTLdh0fl7twbdQKCfwr6EWJpgMICrc2gml7 hayPiZBgNKQpYVvod/Dqp2Znt34D8p/AUtoMG3J5pmmNSTh3zSCwK0RdM2qbDziRGfP16H6X tpsztb4K+8isGdRlYh3A5JH7PsZyYP0hrl4yg9EIi36X26zAOk9HkjcjNh9iKJd45R45y20Y xur0ftHM+yrPMjFLgYgFDA9ZL7e6cBOyyjg1tVrEkDU/yQtwaGmV39VNByyiCBwCrt5HYcm4 OU5sv4t9A2NpUs2A+mCkxxr2TyAHl4YX4Ujk6MqMovhpw4o61NFOLj3KCv95rORYNRtbGguB BKph5T5urcN/XqaLkIPFkXM09FN2rUImhRBl2EZK3qzx9Hqu/4Q3T9qywoRcDh79Bt8/thIC jBZDHEtfaSq1BV0tfdHRFGpSl1gBgXG20nfyGkptWz+TmuuXFPjNGcWZOSHphgY10l+fTFr2 q6S50i4cDTtfeD3hjATX2w8odPdbNVBzC/ws+H5INakRr4RfijArpK1Q1Yxuz/LIJ8UlVLWg +tH58NyYvDLDjERqKgFFIWq77QcZxSaLmhkQ/s63qc2MUzDWTO1yx6cAluQf55TGvn07kOIM cxiCcZRXRCY1izVjDQ6B7YJEoBkjswS+9sOVbP6F1Eo64LFgGJSj6vR0SziiEsAYdZky589I 7yMUQOyKDWbgH8MllLdqMVBBHGDXuAFQw/Bx8GwzvQCEsMSkeNrcHxq6ICOgVeuDFJF8S6X7 ST5XI2H68x5yI9poZngLbUbOSWwNuHIdbqp9CKdjo1wSO3hYOnyszEbkF3FBzhtHKAwXo13n IudsdSs00Liuq03Yl/jmJKANvdo4MmubdVTKebyCmdQpgqZecrW+xBY0XuJGZ9It9J858ecW AqzbvWrR+MVQ9twwH50aTBUNhQgV4DbS7jGnjzkidihET0f3h7jAPL90ET2fEdJciMsEL/vO D/e4vqByIhRk9VROUUiGfpjPa5dHHbifqkDLPjaqjiSCziTsGOo47fNu0Ip1mDWNyOiDs3/3 JPiQyr+fjSUvIXj7olQk652jy0tIEdNu8sCVWNDxIcukBG/NnAMEsoFO5ZfCp10rD375KulW B7zNlkdGQfPdhUaVy7j4ebTfBaVXc0PHdbbGgYH3W2pbwWOOYfRJ4c5qwlB5S56dAK2mavjY Zsb92brNxe8/oBxSKxBrraniONg3bXBymhO5Un5lNfoDg0DBakRkkZsBxdJSTeNBvSleJ8n/ oTpbTssrICHpU/N/QJIfndUHFQUsGqqwWhxKyiIx9nbtsOQy+goJDgT/Q3s+uVrUSjIDOdmq bDLq6+l7GWf23hVsqws0z7sqbEhEuqFR6BWM4e6LTD/XMiMBqAPMMYLnC5JR8YnkOKa/5Uxi RH0i0UD6I+5xIy9FVFYJcjlO368b57UMwz0sQ== IronPort-HdrOrdr: A9a23:sTTwMKGeSMVXWpYdpLqEIMeALOsnbusQ8zAXPiFKOGRom6mj/f xG885rsCMc5AxhOk3I+urwW5VoI0mskqKdiLN5VdyftWLdyQ2Vxe9ZnPLf6gylNCvk6OZH2K tsN4R4AsbhFEV3gK/BjDWQIpIPxJ2p/Ki0mfzT1R5WPGVXQpAlwQM8JAjzKCNLrcp9aqbR1q Dw2iOKnVudkL0sDviGOg== X-Talos-CUID: 9a23:U8vS8WGUbMzjPQTbqmJks0A0QN4qMUGa1X7SMV7oADxQEaWsHAo= X-Talos-MUID: =?us-ascii?q?9a23=3A9A8MUQ05wnufEriuzoZxLv5+QjUjvv6+I1JVz7o?= =?us-ascii?q?9u9iOZXRMYw2xone+a9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,296,1728943200"; d="scan'208,217";a="105708511" X-MGA-submission: =?us-ascii?q?MDEqwWFHVkZHsdvT5stqZGVVUjvHcy3hqGsC4P?= =?us-ascii?q?V+e9qQIfrUPjQlWxi9ZOvH83AwDW1sdLBYMl+Lc1/aMU+AQy0+cn1kft?= =?us-ascii?q?U6/y32KWUV/u40Wa3KmZym8sB54JeI3s6i0R4c4ANekFkQ/v6kK0x0Wz?= =?us-ascii?q?e+ry6ZtobPUDLtXDTHNegjtQ=3D=3D?= Received: from mail-ed1-f51.google.com ([209.85.208.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 Jan 2025 17:22:02 +0100 Received: by mail-ed1-f51.google.com with SMTP id 4fb4d7f45d1cf-5d3e9a88793so3239057a12.1; Tue, 07 Jan 2025 08:22:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1736266920; x=1736871720; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=sHxBAgf0iccwDma0/8YdYqWMStVrJ8gxB0How5kfG64=; b=kE159DIdNAFft7Zj6jJxhwQlxYCLCv/OexJxqHrEL3jh0SzeB+DgIHB3c5vCVvyKdM CxZ7nPSeI1FFhxwr1ZRuaUOhIyTHhR30uOrDvFniH6xOGks7AX1TfYiPN3mrOWLhBHan 1O8sweq0t2ZW3UvNwcRx31pi6jyLkrytWkUsH+6eYvf1hzmCehevUkm5uESJqkFjtgl+ 6VzX4UhF1xV2dVm+Xy3EpH07Z79606/oVgPZYNI3F9gN+U8RtFRL5R3ONl3T7AK+6U99 vq96sRMLGX49Xbq9nDDaOyLq1ixngJVE+amgA58PdTiJAf8c9S2zKvBFWcXj0a6Igpct fS6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736266920; x=1736871720; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=sHxBAgf0iccwDma0/8YdYqWMStVrJ8gxB0How5kfG64=; b=D2ISGsQXDA8Gva/sE/5Y4Rr0S5i/FaYxkikpLg1YECVAtxxkrmHRK26iBzr2gDhq+j oXEptpCyAg85PgYMnvNtdhrl+E0AfLzpIJSVvqwGzQMVIZK+wzLsXJw1Ned4gaIyXFvx YW7QDdXijX5EENm6D3rgFknQnHQBbdvR2WRcssfXXIH+Nr2IiXB41E43sgyYnKd2Ufab j7aMslvarliWRH+QPFObZfKaqilyVnX8PXSC6bUrfOzlcwdgUkwwzMsFC37a7lmRWMag XczDcc5zgyV761boBNnfHY7uT69RDfMmXfxMy71ky+pPFBtub8n2XNxgj3g1r2giaMbh 9wLQ== X-Forwarded-Encrypted: i=1; AJvYcCVyHdnTSViT+4jPmRsfH5L+k8bCF2DYxlQGD+r+f6DbCsdFSrLb8eRag5ctyP9/iyMXUBYQ6tOr5A==@inria.fr X-Gm-Message-State: AOJu0Yyv7fE8XyyIV+69swOMsOkwUgpvinPrjFGK8AjdJCCGhRCyF/S+ hPEVnxpdazPH3rRDPa74twJUtIHb/tajdHzjcLhWHthn44aa2mEFVVaZLo9ssdVjmcj8YN8wwot sL/oHbx+Au4iUozlDxxVZOUNL25P9D9bg X-Gm-Gg: ASbGnctb0osMbnyylquTz3zPjAFZ5srhLEaaF6juhfcDqCnSAW5TcJmsBdog/8jq60r GtYPFOdtYhRpyMlyWsCI+ZrOxNtMJHjjSDPplFQ== X-Google-Smtp-Source: AGHT+IELJx9BslAjSU+T+6+HWNy0YqvDzGN5Fr233gAbXNXlebibPXzh7sccpq+BFe7yEurzLmH+D47DblVgWOhDXP4= X-Received: by 2002:a05:6402:274c:b0:5d3:f325:2c3 with SMTP id 4fb4d7f45d1cf-5d81de1c3a7mr63113750a12.33.1736266919642; Tue, 07 Jan 2025 08:21:59 -0800 (PST) MIME-Version: 1.0 From: Ningning Xie Date: Tue, 7 Jan 2025 11:21:48 -0500 X-Gm-Features: AbW1kvYhEjsa93-Y3BVfegQu6btMOS5_xPM_5k_rW6JMAjBSZkkUEUBrUVvkQpk 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="000000000000fb0ebf062b202419" Subject: [Caml-list] POPL 2025 Call for Participation (January 19-25, Denver, Colorado) Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19246 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: --000000000000fb0ebf062b202419 Content-Type: text/plain; charset="UTF-8" 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 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 --000000000000fb0ebf062b202419 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The 52nd ACM SIGPLAN Symposium on Principles of Programmin= g Languages (POPL
2025) will take place in January in Denver, Colorado, = the United States.

It's going to be an amazing conference - don&= #39;t miss it - sign up now!
https://popl25.sigplan.org/attending/r= egistration

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 1= 9, Mon 20, Tue 21 and Sat 25 January

Accepted papers:=C2=A0https://popl25.sigplan.org/track/POPL-2025-popl-research-papers=

Full details of the conference and co-located event= s:=C2=A0https://p= opl25.sigplan.org/

Sponsors: POPL is supported by generous spons= orship from:
- Amazon
- Jane Street
- Google DeepMind
- JetBrai= ns
- Microsoft
- Epic
- Google
- Ahrefs


--000000000000fb0ebf062b202419--