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=Db1+cSOT; 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=KLWq6DGj; 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 838B7400A0 for ; Wed, 8 Oct 2025 18:32:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:content-transfer-encoding:subject:reply-to:sender: list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=iTdtXwjkFTT5ybGEJCSp8xfdJeHrw/7jvrnY1F8VvKU=; b=Db1+cSOT4fTGiL40Dp1xevW1oY6uJR6xS2gB2rK/U4ftDKvPHUtAxS2V B2GehrJu0sjqEEoqlunEltwrAguxCFUJpyQAYdrDOIBNgWasuC9xWvFfM 9Ns7lTFObb9YZzqxzDkVxFYuzQtpB+/0IQxjHlR01KBu+UVxiaWHgwB8M w=; X-CSE-ConnectionGUID: XvQFhsSxSImcj4Epj18cEw== X-CSE-MsgGUID: WLOchfyMRZ+4G1cDH8bWOA== 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.19,214,1754949600"; d="scan'208";a="243184543" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Oct 2025 20:32:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0748FE0CDA; Wed, 8 Oct 2025 20:32:38 +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 543B7E0171 for ; Wed, 8 Oct 2025 20:32:36 +0200 (CEST) X-CSE-ConnectionGUID: 6Cq+EGjaTG6m5KNgf0hgiQ== X-CSE-MsgGUID: VNtnePTrSG2nnjx/x3mvTg== IronPort-SDR: 68e6ae43_LCJQvM+dR2zS+tO94DTyZkOi/Upj50cTsVAoF2M6uhtpP0E g5qCxw1Ky6ZvaH9JOABA9x5qdI+Vy1LzfpvmZow== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F2AwAqreZofCrQVdFaDnuEEIECXTQEC0mEVYNPjAOCI?= =?us-ascii?q?QOCJpofgVYTgSwWJwIPAQMBDRQBAQECJBQEAQEDAQOFAAKMSgIeBwEERwECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEiGQcOEimGTw2CR?= =?us-ascii?q?VFxYQICAwMDNwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAhQYDAkqAR8BAQEDEgYLHQEbEQ0DDAYFCwkEAgIfBwICIAEBEQEFARwHE?= =?us-ascii?q?hQOgUmBFwGCIgEGEAEDNgMRpAeBBUKLPoEVBQIWgQGCDQaBCdlXChkoDW4Dg?= =?us-ascii?q?WECAQYUgQiFJClODoI4AR0BgW6DfjuDQnongQOBJYEVNYJ1PoEFgRpCAYEjB?= =?us-ascii?q?BU6g0aCaQSCCRmBFWhHZIUrAYMsBYN4hxgmCAEGFwMHBwkFBAkTBgUFAj8JB?= =?us-ascii?q?gUKEgMEAwQEAQILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooIgQOA?= =?us-ascii?q?ikKAQIBHwoxAxQEGQEBBwYCAgMBBAIEAgoCBAUCAgUEAwIKBAMDBAEBCAICA?= =?us-ascii?q?yoDAQMZCAkIAgsFFBgMCwUCCigDDwEJBAIjCBYTBQwDAwICAgEHAgIBAgEBA?= =?us-ascii?q?wMHBhABAgEPAgMDBAMEBgMFCQEHAQEBAQECEwMCAgEEEQgCAQEgARUCBwEEA?= =?us-ascii?q?ycZAgIGAgICAgMCAgMDAwECAQEDBQEDAgMCAQIBBgIDAwMFAwEOAgIDAQMBB?= =?us-ascii?q?gQEAgUBAgICDgEDAgIJAgcJCAIBExMCAgICAQICAQIHAQECAwIFBQgCAQEBA?= =?us-ascii?q?gIDAgsCAgECAQICAwIDAgYBCQQEBAECAQEFBAMDBgEDJAMDBAUDAgICBwIEA?= =?us-ascii?q?xgCDQYBBAMFBQMIAwYCAgMPAwYGBwIHBAIEAgICDgIDAwcEAgIDAQwEBwEBA?= =?us-ascii?q?wICEgMBAQIPAgICDAEBBAEBAQEBAQEEAQEBHQoECgIHBAYCAQMBAQoCBAQDC?= =?us-ascii?q?gYCBgEEAgIBBAMIAgECAQIIAwIHAwIDAgEPGQMCAwoCBgUEBwICAwMEAgICC?= =?us-ascii?q?QEDBgEBAQECAgIDAgIFBg4EBAQBEgoBBhkDAQIBBQIEBgEBAQEBAQEBAQEBA?= =?us-ascii?q?QQBAQMDAgECAQIDAQICBAIDAwMDAwQDAgMBAQMCAwUCAgMCAgICBAEBBQsBA?= =?us-ascii?q?gQDAQUBBwUBAgEDBgECBAQDAgQFAwsCAgQCAwMGAwMGAwIFAgcCAgEFBQIBA?= =?us-ascii?q?QEBDAkCAgIHAw4DAgICAwQBAgMEAwUCAwQBAQEBBAUCBAMCAgEDBQICAQEBA?= =?us-ascii?q?QEBAQMBAwIDAwYCBAIPAgEBBRwRAQIGBgMCAQEDBQMDAwMDAgQCAgICBgcLA?= =?us-ascii?q?goEBAIBBQYHAwMFBgMBAQQEAwIJAwULAgQLBQ0GAwMFAgICAQIMAQIUAwMGB?= =?us-ascii?q?gIEBAMECAIGCQMCAwMBAwEDMA0PEhYEBQMCBQMDAwFAAw4EAxUGAgIYAgEBA?= =?us-ascii?q?gYCAQMDCAIDAQMCBwMXCgEGCAIEBAwCAwMDBwUEBQMHAgIJFRQYAgQCAgIBA?= =?us-ascii?q?gIJAwMDAwIDBgMDAwYDCgICAgEFAgUHBgEDAQIKAwMCAwwCAgIRAgMFAwMDC?= =?us-ascii?q?QYDIw8DCwkIEz0BCwcyBDYBBg4UByshX5ESGYIHPDROC0oYUAE/dBspHpJrJ?= =?us-ascii?q?S2yGnEHhB+BZIQwhgqCdoxHhhYzqmuZBiKFA4hjhAmRKzSFQBEkEoFcAg6BX?= =?us-ascii?q?DMaIy9SgjYfMAMZD444J4NCaoFshSOHO6UzAkUyAjoCBwEKAQEDCZIegUsBA?= =?us-ascii?q?Q?= IronPort-PHdr: A9a23:w6K6IxwIN/Rw8xzXCzKgwlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xeZvakm1QeVBdyTq6odzbaN6Oa4Ai1IyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/AdjUKgcXJ 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYj4ZuMLo9xxTGrndVZ+hbyn9kKU+OlBr4+su84YRv/itetv8v7cJMTav3c6ElR rFEEToqNHw468LsuRTfVwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb47QTqt4 L5nRQHnhikaLzI2/33ZhcJ2jKJAvRKuvAd/zJLOYIGUL/VxYKXQds4HSGVbX8ZRUytBAp6gb 4YKEuEMM/pUo5X7qlATqhSwGBSsBPj3yjBWmnD2waM00+MkEQ7c3QwgGc8FvHDbodjxMasfV /2+wqvVwjXZd/5Z1jn954rIfB4vov+CQKx+ftbex0Q0CwPFl0+dpZD5Mz+J1OkAtXWQ4ep6V eKojm4qsx18oj6yycc2lIbJh58exErD9SVh3ok1PsG3SFNmatOjCpRQsTyVN5FoTcMjWW1ou Dw2yqUBuZ6jYicK04goxwPEZvyIdoiH+BPjVOKLLThkg3JlfauyihCv+kev1uPyTNO70EpWr iVbiNnMsGgA2hPT58WHVvdw/EWs1DKO2g3Q6u9JLl44mbbbJpMhwbM9iocevEvdEyLol0j4g 6ybelg59+S19+nqf7TrqoOcOYJylwrwPKMumsmlDuQ5NAgDR3SU+eGh1LH540L2XahKguUyk qncq5DWP94UqbKjDw9I0YYv8xK/DzGl0NsFh3UHLVRFdRSahIbqI1HDOO70Aeu7jli2kzpmx +rKMqP9DpjONHTOn6ntcLBg4EBG0gUz18pQ55dMB7EBPv3zXkjxucTdDhAjMgy0x//rB8tg2 Y8DQG6PDKCUPL3IvV+H4eIvJOaMZIsLtzrnN/cl4PvugWc4mV8bY6apwYMaZG6kEvliOUmUY nrhjs0fHWsWvQcyVuPnhEOaXT5WfXmyXqY85j8hCIKhCIfOXpqigLqc0yehAJJWZ3pKClCWH XfwcIWEQ+kDaDmOLc98iTEEWr2hRJUg1RGqrgP1171nLu/M9i0CqZ3jzMR15/HUlRwq6TN7F cGd02WUQ2Fwn2MIXCM20btkoU19z1eDybJ3j+ZZFdxV/fNJUx01OYTSz+xgE9zyXBnOcc+TS Fm6WtWmHS0xTtUpztMTe0p9FMutjhfA0SSwG7IamaGFCIQu8q3CwXj/JNxzxm7D1KY7jlkmR tJDOnO7iaJi7gTTCYHEn1uDm6alcqQc2yHN9GOdwmaUoE5YVwtwXb3YUnAcZ0vWqMz06FvNQ bCgF7opLhdMx8iaJqRXb93ml09GS+v7NdrGemy/g2i+CQ6TxrOUYornY38T0TnABkYZiwwT5 m6GNQYmCSehvW3eCDtuGEr3bU316edwpyDzckhhxAiPawhl1qGp0h8Tn/2VDf0JmvoPsTssp DJuHVum99fKApyLrk4pfKxHYt455H9H3Hnaugh5eJu6IOQqhlcFcAlzuwbl3ht6IoVJissnq HdsyxB9beqY11cEdjWW2rj0O6bLMS/p+w21YKPY3UvR3ZCQ97tLoP0zrw/LoR2tF1E+6DN6z 9RF2mDa65nXXyQIVpeke0A77RV774ndeiQm7J6cgXRqPbO5s3nCncouHOY+wQuIcNJWMafCH wj3RZ5JT/OyIfAnzgD6JikPO/pfofJlVyvHX/6P2arxef1lgCrjl2NMpoZ0zkOL8SN4DO/Ox ZcMhf+CjUOcTzmpqlCnv4jsnJxcIykIFz+2zyT+CY8XZutqep4GEmyzC8Kyz9R6wZXqXi0Q7 0atUmsPw9ThYh+Odxr41AxU214QpCmunyeiwj0yk3cxqbKSxyfT6+vnfRsDfGVMQToqlk/id K6zid1SR020d04pmR+isF793LRerb9jInP7RE5Je237IzgnXPfq8LWFZMFL5dUjtiA/vP2UR 1ecR/a9phIb13mmBG5C3HUhcDrsvJzlnht8gWbbLXBprXOfd9sijRHYrMfRQ/JcxF9kDGFxl CXXC16gPtKo4cTclpHNtfq7Xn6gUZsbeDfizIeJvi+2rWNwBhj3k/e2k9zhWQ80tE2zn9BsW T/FrVD8JJHsz6mhOv9PcUxhBVu64M1/W8l/noY2mJAMyC0CnJzGmBhP2Wz3MNhdxef/dC9XH W9Nk4OTulC1nhE5fRfrj8rjW36Qw9VsfYy/a2ISgGcm6txSTb2T5/pClDd0pVyxqUTQZ+J8l 3ET06hLijZSjucXtQ4q1ijYDKoVGBwSNCrgjRmJqdD4tKJPaX2kbJC/0UN/mZaqC7TI8WQ+E D7pP4wvGyN99JA1OVTAynDyrIGiYN7IYMkYqzWblh7Bi65eL5d7xZ9ozWJ3fGn6u3Mi0esyi xdjiIq7sIawIGJo5KulAxRcO1UZfusr8yr2xeZbl8eShcW0G4l5Xy8MV93uRO6pFzQbsbLmM RyPGXsysCXTFb3aFA6ZoEBoyhCHW5mtO2uaJT8Zi81lXBSGL1F3jwUdXTF8lZk8Xgyn383ud k5l6ytZvAap7EsRjLgwZ1+jCC/Wv2LKIn8sRYKaLQZK4w0K/ErTPcGEr6pyEyxe4py9vVmII 22faR5PCDJBUUiFClb/e7i2sIOYoq7IW6zkd6uIPe/dzI4WH+2Fzp+uzIZ8qjOFN8HVe2JnE +V+wE1IG3ZwB8XenTwLDS0RjSPEKcCB93LesmV6qN6y9PPzVUfh/4yKXvFbN9l19hHwgeGbM Padny1kATld35IIg3TPzfJMuTxawzErbDSrHbka4GTESq7Kl64RD1gDbDt+L8BVx6051whJf 8Xcj5mms9wwxu5wAFBDW1v7n8ivbsFfOGCxOmTMA0OTPaiHLznGkInnJLmxQrpKgKBIpgW97 HyFRlT7MG3JxFyLH1i/dPtBhyaBMFlCtZGhJ1xzXHP7QouuawXnYoAry2RsnPtswCuNbDBUM CAgIRoS9fvJvH8e2rMnXDUfixgtZeicx3TDt7ieestQ6KE7RHwzzr0S4WxmmeEMsmcZFLosy XGU9pk38hmnirXdkGM5FkAV+3AQ3sTT+hwzXMeRvphYBSSdo0hLtzjLTUlU4YMiUISnurgMm IGQzuSpdWwEqouOu5NbXZCcPsuDNDBJ3QPBPjnSAUNFSDeqMTuanElBiLSI8XbTqJEmq5/qk Z5IS7lBVVVzGOlIQkJiVMcPJpt6RFZG2faSkdII6HyirRLQWNQSv5bJUeiXCOnuLzDRhKdNZ h8By7f1ZYoJMYiz10tnY1h81IPEfiiYFchKuTFkZxQorV9l9XF/Sig+1xugZF/3pnAUEvGwk 1g9jQ4/KeUh+THw4ksmc1rHoCxj9St50d7hgD2XbHvwNPLqBdAQW3ey7RBhdM+hEGMXJUWok EdpNSnJXedUhrpkLyVwjRPE/IFIErhaRLFFZxkZwbeWYe8p2BJSsHbCpwcP6O3bBJ9ljAZvf 4SrqicK0gRvdtM0Y6yWPK1Rw0Nbm4qBuyap0qY6xwpUdCNvuCuCPTUFvkAFLOxsPy2z4ull8 hCPgRNGcWkIEvcm+7dkqhl7NOOHwCbtlbVELwriUo7XZ7PcsG/Gm8mSR1o23U5djEhJ84991 sI7elaVXUQipFNwPxEANM6HJA0MKsQOrj7ceiGBteiLypVwbd3V/gXAQuqHtaJSiUWhTl5B9 2sk4cEIH53q20bdf56PEQ== IronPort-Data: A9a23:Ozr4w68ZfKAIrumaNJBLDrUDsHqTJUtcMsCJ2f8bNWPcYEJGY0x3z mEfXG3QPP+LNmrzKtFxadyz8EsEuJ+Bndc2SlNorHxEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjPzOG/ylTraZZ0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNuspvlDs15K6v4WtA7gRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9FIs+liLvybnoRSbfUOwWU4lIOM0R1qkUqSoQai87XBdJEAatlo23hc+NZl L2hgaeNpTIBZcUgrgiyvy5wSEmSNYUekFPOzOPWXca7lyUqeFO0qxli4d1f0ST1NY+bDEkXn cH0JgzhYTjdrPv17Z25Q9VD2MF+D+/kMtsftXBZmGSx4fYOGfgvQo3P7N5cmTo834VAQayYa M0eZj5iKh/HZnWjOH9NUMN4zLru3CGvNWECwL6WjfJfD2z7xQp9yrXsdtqTYtuSSN5eg26Xo 2vH+yLyBRRy2Nm3k2beqyLw27WR9c/9cLw0CLu1zsJwu3LJwGoRGFoGDl6lnfbs3yZSXPoEd hVMpXtwxUQoz2SgR9z5Ghm5u2KspQ8ZQ9MWEusg6QjLxLC83uqCLm0NTzoEZdB/8cFqH3ol0 ViGm96vDjtq2FGIdZ6D3um/tHCfFiocEUBcYHInawQLu9nsobhm23ojUe1f/LiJYsoZ8AwcL hiPpSk6wrgf1IsFi//98lfAjDah4JPOS2bZBzk7vEr0v2uVh6b8NuREDGQ3C94ece51qXHf5 xA5dzC2trxmMH10vHXlrB8x8E6VCwata2CF2QE+QfHNBhyi/HmseY0Y4Td1Yi9UDyrwQhewO BW7kVoJuvd7ZSL2BYcpOd7ZI5pxlsDIS4+1Ps04m/IUPvCdgifdoXk2PSZ9HgnFzCARrE3IE c7FLp/0UClEU/QPIfjfb7517ILHDxsWnQv7La0XBTz+uVZHTCfNEelXA0jEde0j8qKPrSPc9 tsVZYPAyAxSXKe6KmPb+JIaZwJCZ3UqJ4HEm+oOfM66Iy1iBD4ADd3VyugfYIBLpfleudrJ2 XCfYXVm7mTDq0fJEzjXVUA7WojTBc5+iVkZIR0TOU2Z3il/QIS3s4YaWZgFXZgm0+1By/RLY eEPUJiCCK4XSxDs2TcUXb/ipqNMKTWpggOvOXK+QT4dJpRPeS3AyuXGTCDOqhYcL3OQntRkh a+jzSbZcIonayF9KviOc9Op7Ve6nUZFqdJIR0GSf+ViIhT9wrZlOwnar6ESMcoTDT7h2zHD9 QKdISlAlNn3u4VvreX43/GVnbyITdl7MFFRRVTAzLCMMiLfwGqv7KlAXMuMfhHfTGnEw7qjV 8oE08DDNOA7o3gSv7peC7pLyYcM1+nrrZJezSVmGyzvRHavAbVCPHKH/Jdusotg+7xngja1C 3m/ooRiBba0Oc3eAAEwIighZb+9zv06oGTZwsk0B0TY3xVJ2oS7f39cBDS2sxwFHoBJaNsk5 cwDpP8p7xeOj0t2E9Se0QFR2We+Dl0BdKQFsJslLpfhoVcpwAsaYLj3KCz/0LeQYfpib2goJ T61gvLZprJ+n0DtTVs6JULv78F826scmUlt50BYAUaKgf/Ht+8T8DhO1wpvVSVT7BFM89wrC 1hRL0cveJm/pWZ5tvZMT0WHOl9kFhaG3mfT1lFQtmnSb3fwZ1z3NGdnZNq8phEIwVl9IApe0 qqTklv+cDDQe8r04Cs+dGhlp9HnTv1z7gfyo9+mLevUA6gFZSfZvYH2aVoqsxfHBeYDtH/Dr 8Ru/8dybvTfHgwUqKsZFYKb9OoxTDapGW98esxirZg5RTzkRDKP2Da1Ox+QfOFJLKf06kOWM ZFlCf9OcBWc7xywiA4nK5QCGJJKucI4xcEjf+rrLFEWsrHEoTtOtonRxxfEh2QqYotPlJ89I 7zOawC9K3y0ukoMvm6QqsMea2yyTuQZVVetwMG07+Q7OJYRu858cUwJ8+WVvlfEFCBF7h6rr Af4SKuO9NNbyKNohJnJPpRYIgeJdePIS+WD9T6sv+R0bd/gNdnEsyUXoALFOzt6EKQwWdMts 5iwq//ygV34uYgpX1Djm5WuE7dD4eOwVrF1NuP1NHxrojuQavTz4hcs+3GKFrIRqYlzvvKYf gqfbNe8UfU3WN0HnX1cVHV4IiYnUq/yav/tmDO5o/GyESMi6A3gLu681HrXfGpeJz4pOZr/N 1fOgMyQxOtk9aZCOBxVIMtdIc5IEAe2E+9uPdj8riKRAWSUk0uP8Omq3wYp7TbQTGKICoDm6 JbCXQLzbwm2pLqO9txCrohupVcCOR6RWwXrkp41oLaaSgxWDVLq6cwYOJQCT5xYy2n8iMu+a zbKY28vTy76WFyotPk6DMvLBm+i6i4mY78V5QDFO2ubbi63AMWLB74JGuJI/SJtYjW6pA24A Yh2x5AzVyRdBrlmQO8S4rqwhuIPKjY2AJ4X0RiVrvEeyCryzVnHOLKN0eaNueH6/xnxqXj2 IronPort-HdrOrdr: A9a23:4Q2BXKuMqHI8C3c8uR4NuBaa7skDqdV00zEX/kB9WHVpm6uj5r qTdZUgpGTJYVMqMk3I9urwXJVoLUmskKKdpLNhX4tKPzOHhILLFvAF0WKK+VSJcBEWtNQttp uIGJIOceEYY2IK9frS0U2XF5IOzNGb7Luln47lvhBQZDAvRaUlwQkRMGmm+45NKDWux6BVKH NR3KR6TvObGEgqUg== X-Talos-CUID: 9a23:+neIe2OCiqpEHu5DBgJ+t2M7GMkZXSPYkVT2LEHgCWlocejA X-Talos-MUID: 9a23:s0WaPwm99DBgGc5Ts6/pdnpcEttu7pySEnsiy5MAudnDJXd1JQuS2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,214,1754949600"; d="scan'208";a="243184526" X-MGA-submission: =?us-ascii?q?MDG3VK9hGkHojuymPmSr/y1xxf/pomaiWzvtKD?= =?us-ascii?q?w6ZkmmQU1CDEhOf+CcNb8C8URYDX7hGtBGidXwqOA1/avSBBK22bpXVB?= =?us-ascii?q?vX4vDhNl3CPKTNUf0pboMrqDIuN57nQzsWXkUdpZO7hzAnpxA+ETCiVt?= =?us-ascii?q?vmeQ6bxg7VROOOoZTibHoWrA=3D=3D?= Received: from mail-ed1-f42.google.com ([209.85.208.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Oct 2025 20:32:36 +0200 Received: by mail-ed1-f42.google.com with SMTP id 4fb4d7f45d1cf-6398ff5fbd3so209962a12.2 for ; Wed, 08 Oct 2025 11:32:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1759948355; x=1760553155; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=iTdtXwjkFTT5ybGEJCSp8xfdJeHrw/7jvrnY1F8VvKU=; b=KLWq6DGjc8hbwmKE6zpO0pJLI9OK+h4bDMy/5ff2R340kgfFjtnLXbcxKVX9/2b53N JSSvV6diENUm/hH75q3o+VAV+Nk5DCCtWSyeLtqL6NtJizu6UPCCMims3u/mo5CyMsZ9 7HzgJeLhde8tVNhITb+0pIk/MLb0d+oBhA+IOtNhUwUtvbr8PQQEydAu+KeqpPTeOhdv VXqEStl1J1X0EBkasFLWJDbyD33yofKtMVoalX2rwPQsHvDHZnkYiCUVkzebcaV3Jgak FH4AErRcPXBibfkSPeWPThZWt6daUxCrs3FwVWKgWNHut4Z2V26FiTGLPWMLULg/J1AC QH3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1759948355; x=1760553155; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=iTdtXwjkFTT5ybGEJCSp8xfdJeHrw/7jvrnY1F8VvKU=; b=OGyvdnwxaixziKivLPd7gaMmnmtdi2LaOsLYnuvRZXBE154pcXEJLjBNOpgdoqXm8U zMKW/yAKOWL0dLO71FIOfkNWf3xTBwpqhDiORT3F8uNcJ+fdaCDM5g3C8WFbrb8Yb2qS 72prjIzkXH0QqkHlbD3Klid1nQLvrW4umdEslLymB/RaipxvHc2iPNF8UM1ga5tqzhkx Q1+jU8kPOn+z8yoIWDzb/C4cAOQbT+AtmTC0Y0kD5ZdLgj9Rat232HoWQ4r3oxNH0p7N /VDWOydN/ZlnRgsd+j0dlz1aLIeBddydn8mzK56JksEE/gXhErvXHMzEy/YicOxqhieo 3ZnQ== X-Gm-Message-State: AOJu0Yzdm+4L9i/HRMLgUXNjt5oLovPWTn6PfFYCr7LTmwutwmYpM83c jQntXRxXDR870lQOl/ov/ExtLxIzH5T/340e0uZgVjdwdzvithcbS8ILuOfDXn1kjUo1IwSHVpM gmOhmBxXH1BkmtA6vSzMrj/+ucuiarNgV4qZkS8A= X-Gm-Gg: ASbGnctRlm31VcxA5OwirTsREYvXk9BqdrYAQuaSau6fNo/d6cLVtXGGhqlJqHXuA1Q Oj6jfsGx70xjlj0YIYPzz+mDheHgbXA6plIIXGleFHA7h0XdzANDF2NiTI/JbCeBzkj6iitUqTc s1Hl7JDM83DTBSCZsOmYdDEJv6LzAnrPBa0oFU/DcLUUB3WdiseYhAn/HsZYKHVv0zrM+XSpwnE Ms6eZ2tWjvuIWZ8+JICN6nX8ZkV5Uep X-Google-Smtp-Source: AGHT+IEmrXi0+tgX1NoTnCTwH+BGinG5mbkl+XZC4wFi9W2DZFqRUeSQ9oucpft6SXqgrwBMd9miOSOAjU0oqAVOebY= X-Received: by 2002:a17:907:5c8:b0:b04:1249:2b24 with SMTP id a640c23a62f3a-b50abaaf824mr468785166b.37.1759948354565; Wed, 08 Oct 2025 11:32:34 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Andrei Popescu Date: Wed, 8 Oct 2025 19:32:23 +0100 X-Gm-Features: AS18NWDVXHCOHxMXtztO1wBruvLm2Xs30hgmMBXaMMSbv0NF3fKwx063Gd8NDRE Message-ID: To: caml-list@inria.fr, categories@mta.ca, haskell@haskell.org, haskell-cafe@haskell.org, hol-info@lists.sourceforge.net, acl2@utlists.utexas.edu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19385 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: Dear Colleagues, Apologies for my earlier message, which included LinkedIn-redirected links by mistake. I=E2=80=99m resending the seminar info below with the correct direct links: Date: 6 November 2025 Time: 19:00 (UK time) Format: Online via Zoom Talk title: Mathematics in the Age of AI Jeremy=E2=80=99s website: https://www.andrew.cmu.edu/user/avigad/ Registration (for access to the Zoom link): https://www.lms.ac.uk/events/lms-bcs-facs-seminar-jeremy-avigad Best wishes, Andrei On Wed, Oct 8, 2025 at 3:22=E2=80=AFAM Andrei Popescu wrote: > > Dear Colleagues, > > I am delighted to announce that this year=E2=80=99s London Mathematical > Society (LMS) / British Computer Society -- Formal Aspects of > Computing Science (BCS-FACS) Evening Seminar will feature Jeremy > Avigad as the distinguished speaker. Registration is free but required > in advance. > > Date: 6 November 2025 > Time: 19:00 (UK time) > Format: Online via Zoom > Talk title: Mathematics in the Age of AI > Jeremy=E2=80=99s website: https://lnkd.in/ep3w-fiB > > Registration (for access to the Zoom link) is available here: > https://lnkd.in/eRE-Bb2A > > Further details about the talk are included below > > Best wishes, > Andrei > > > Speaker: Jeremy Avigad (Carnegie Mellon University) > Title: Mathematics in the Age of AI > > Abstract: > New technologies for reasoning and discovery are bound to have a > profound effect on mathematical practice. Proof assistants are already > changing the nature of collaboration, communication, and curation of > mathematical knowledge. Automated reasoning tools are used to find > mathematical objects with specified properties or rule out their > existence, and to decide or verify mathematical claims. Machine > learning and neural methods can discover patterns in mathematical > data, explore complex mathematical spaces, and generate mathematical > objects of interest. Neurosymbolic theorem provers, now capable of > solving the most challenging competition problems, combine aspects of > all of these technologies. > > It is helpful to keep in mind that the phrase "AI for mathematics" > encompasses several distinct technologies that overlap and interact in > interesting ways. In this talk, I will survey the landscape, describe > a few landmark applications to mathematics, and encourage you to join > me in thinking about how mathematicians and computer scientists can > collaborate to guide mathematics through this era of technological > change. > > Bio: > Jeremy Avigad is a professor in the Department of Philosophy and the > Department of Mathematical Sciences at Carnegie Mellon University. He > is the director of the Institute for Computer-Aided Reasoning in > Mathematics, a new NSF Mathematical Sciences Research Institute, and > the director of the Hoskinson Center for Formal Mathematics, a > research center at Carnegie Mellon. He has contributed to mathematical > logic and the history and philosophy of mathematics, and he is > currently working on applications of formal methods and AI to > mathematics. He serves on the Lean Community Admin Team and the board > of the Lean Focused Research Organization.